Carleton University · LING 4505

形式意味論

公式名称 : Formal Semantics

単位数 : 0.5 単位参照年 : 2026-27

説明

合成意味論とそのインターフェースに関する応用トピック。トピックには次が含まれる場合がある: 論理、意味型、ラムダ計算、意図的文脈、可能世界セマンティクス、統語論および語用論とのインターフェース、量化、照応、仮定、含意、スコープと束縛、モデル理論。

前提条件

  • 前提条件: LING 3505 または PHIL 3506、3年次在籍、または哲学学科もしくは言語学・言語学研究学部の許可。

条件および詳細

  • PHIL 4505 とも併記される。
  • 前提条件: LING 3505 または PHIL 3506、3年次在籍、または哲学学科もしくは言語学・言語学研究学部の許可。
  • セミナー 週3時間。
原語による参照テキスト

Advanced topics in compositional semantics and its interfaces. Topics may include: logic, semantic types, lambda calculus, intentional contexts, possible world semantics, interfaces with syntax and pragmatics quantification, anaphora, presupposition, implicatures, scope and binding, and model theory.

  • Prerequisite(s): LING 3505 or PHIL 3506 , and third-year standing, or permission of the Department of Philosophy or School of Linguistics and Language Studies.
  • Also listed as PHIL 4505 .
  • Seminars three hours a week.

出典と参照

日付と出典は、情報を確認する際の参考のために保持されています。翻訳は読みやすくするための提案であり、条件や要件については公式の出典が基準となります。

出典の参照 : https://calendar.carleton.ca/undergrad/courses/LING/

留学生の方へ 現行のルール

カナダ留学のためのルール。

就学許可、資金証明、ケベック州の手続き、就労、卒業後の選択肢。詳しいガイドで手順、金額、表をご確認ください。

ガイドは現在フランス語のみ
ガイドを読む

StudyCanada にお問い合わせ

留学の計画やご質問をお送りください。メールでやり取りを続けます。

ご入力いただいた連絡先は、お問い合わせへの返信に使用します。 プライバシー

このフォームの送信先は StudyCanada です。学校へのお問い合わせには、学校情報に記載の連絡先をご利用ください。