邏輯語意學
Introduction to Logical Semantics
| 節 | 週二 |
|---|---|
5 13:20–14:10 | 邏輯語意學 HC404（光復） 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 Semantics (undergraduate level)
無備註
lecture and 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. 2023-02-14(二) |
| 第 2 週 | Compositionality and predication 2023-02-21(二) |
| 第 3 週 | Holiday 2023-02-28(二) |
| 第 4 週 | Compositionality from a formal point of view 2023-03-07(二) |
| 第 5 週 | Type theory and the lambda calculus 2023-03-14(二) |
| 第 6 週 | Type theory and the lambda calculus 2023-03-21(二) |
| 第 7 週 | Modification 2023-03-28(二) |
| 第 8 週 | Holiday 2023-04-04(二) |
| 第 9 週 | Midterm 2023-04-11(二) |
| 第 10 週 | Reference: definite, proper names and pronouns 2023-04-18(二) |
| 第 11 週 | Plurals and kind reference 2023-04-25(二) |
| 第 12 週 | Plurals and kind reference 2023-05-02(二) |
| 第 13 週 | Generalized quantifier 2023-05-09(二) |
| 第 14 週 | Generalized quantifier 2023-05-16(二) |
| 第 15 週 | Events and event structure 2023-05-23(二) |
| 第 16 週 | Final 2023-05-30(二) |
| 第 17 週 | 2023-06-06(二) |
| 第 18 週 | 2023-06-13(二) |
lecture notes prepared by the lecturer
- 地點
- HC413
- 時間
- Tue 10:00-12:00 or by appointment
- 聯絡方式
- E-mail: csliu@faculty.nctu.edu.tw Office Phone: 58114