邏輯語意學
Introduction to Logical Semantics
| 節 | 週三 |
|---|---|
2 09:00–09:50 | 邏輯語意學 HC401 3 節連堂 |
3 10:10–11:00 | |
4 11:10–12:00 |
* 根據陽明交大上課時間表所列
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.
Introduction to Linguistics, syntax/semantics
Regular attendance; Participation in discussion
Your final grade will be the cumulative result of the following: Weekly homework: 30% (but only the top 6 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 週 | Holiday |
| 第 8 週 | Midterm |
| 第 9 週 | Reference: definite, proper names and pronouns |
| 第 10 週 | Plurals and kind reference |
| 第 11 週 | Plurals and kind reference |
| 第 12 週 | Generalized quantifiers |
| 第 13 週 | Generalized quantifiers |
| 第 14 週 | Events and event structure |
| 第 15 週 | Events and event structure |
| 第 16 週 | Final |
Lecture notes
- 地點
- HC413
- 時間
- Wed 13:00-15:00
- 聯絡方式
- E-mail: csliu@nycu.edu.tw Phone: 58114