Carleton University · LING 4505

形式语义学

官方名称 : Formal Semantics

学分 : 0.5 学分参考年份 : 2026-27

描述

组合语义及其接口的高级专题。主题可能包括:逻辑、语义类型、λ演算、意向性语境、可能世界语义学、与句法和语用学的接口、量化、指称、省述、含义推导、范围与绑定以及模型理论。

先修课程

  • 先决条件:LING 3505 或 PHIL 3506 ,以及三年级学籍,或由哲学系或语言学与语言研究学院许可。

条件与方式

  • 亦列为 PHIL 4505 。
  • 先决条件:LING 3505 或 PHIL 3506 ,以及三年级学籍,或由哲学系或语言学与语言研究学院许可。
  • 每周三小时研讨课。
原文参考文本

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。如需联系该学校,请使用学校资料中的联系方式。