邏輯語意學
Introduction to Logical Semantics
| 節 | 週二 |
|---|---|
2 09:00–09:50 | 邏輯語意學 HC401（光復） 3 節連堂 |
3 10:10–11:00 | |
4 11:10–12:00 |
* 根據陽明交大上課時間表所列
To acquire basic knowledge in logical semantics
Introduction to Formal Syntax
無備註
教師未提供此項資料
‧ Homework 20% ‧ Midterm exam 40% ‧ Final exam 40%
教師未提供此項資料
| 週次 | 主題 |
|---|---|
| 第 1 週 | Truth-conditional semantics Entailment 2/23 |
| 第 2 週 | Presupposition vs. Implicatures 3/2 |
| 第 3 週 | Propositional logic Coversational implicature 3/9 |
| 第 4 週 | Predicate logic: logical formulas, logical quantifiers Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws 3/16 |
| 第 5 週 | HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions 3/23 |
| 第 6 週 | Computation of simple sentences (transitive verbs, intransitive verbs) 3/30 |
| 第 7 週 | Functions Types 4/6 |
| 第 8 週 | Midterm exam 4/13 |
| 第 9 週 | The lamda operator Computation with lamda-expressions 4/20 |
| 第 10 週 | Quantificational DPs More about types 4/27 |
| 第 11 週 | The Semantics of predicate logic, variable assignments 5/4 |
| 第 12 週 | The Semantics of predicate logic, variable assignments 5/11 |
| 第 13 週 | PREDICATE & MODIFIER Common nouns and adjectives in predicate position Argument vs. adjunct 5/18 |
| 第 14 週 | Predicate Modification: Adverbs 5/25 |
| 第 15 週 | Quantificational Raising 6/1 |
| 第 16 週 | Final exam 6/8 |
| 第 17 週 | |
| 第 18 週 |
Materials collected by the instructor
- 地點
- Humanities Building III, Room 416
- 時間
- Wednesday 2-3pm or by appointment
- 聯絡方式
- Extension: 58128 E-mail: h.c.daphne.liao@gmail.com