邏輯語意學
Introduction to Logical Semantics
學期
108-2
學分
3
學分
當期課號
5780
永久課號
ILC5253
開課單位
外國語文學系外國文學與語言學碩士班
授課教師
劉辰生
類別
必修
上課時間表
| 節 | 週一 |
|---|---|
5 13:20–14:10 | 邏輯語意學 3 節連堂 |
6 14:20–15:10 | |
7 15:30–16:20 |
* 根據陽明交大上課時間表所列
概述
This course aims to introduce the basic tools that semanticists use to analyze meaning: set theory, functions, compositional interpretation, predicate logic, type theory, lambda calculus, and explores the interface between syntactic and semantic representations. We will see how the tools are used in semantic treatments of some natural language phenomena, including: natural language quantifiers, plurals and kind reference, events and event structure, and tense and aspect.
先修科目
Syntax and Morphology Formal Syntax
教學方式
lecture and discussion
評分方式
Your final grade will be the cumulative result of the following: Weekly homework: 30% (but only the top 10 will be counted) Mid-term: 30% Final: 40%
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | What meaning could be. |
| 第 2 週 | Compositionality and predication |
| 第 3 週 | Compositionality from a formal point of view |
| 第 4 週 | Type theory and the lambda calculus |
| 第 5 週 | Type theory and the lambda calculus |
| 第 6 週 | Modification |
| 第 7 週 | Reference: definite, proper names and pronouns |
| 第 8 週 | Plurals and kind reference |
| 第 9 週 | Midterm |
| 第 10 週 | Plurals and kind reference |
| 第 11 週 | Generalized quantifiers |
| 第 12 週 | Generalized quantifiers |
| 第 13 週 | Events and event structure |
| 第 14 週 | Intensional contexts |
| 第 15 週 | Tense and aspect |
| 第 16 週 | Tense and aspect |
| 第 17 週 | Final |
教科書
Lecture notes