邏輯語意學
Introduction to Logical Semantics
學期
114-2
學分
0
學分
當期課號
534103
永久課號
HSGF30009
開課單位
外國語文學系外國文學與語言學碩士班
授課教師
廖秀真
校區
光復
類別
必修
上課時間表
| 節 | 週四 |
|---|---|
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 40% ‧ Midterm exam 30% ‧ Final exam 30%
課程大綱
教師未提供此項資料
週次計畫
| 週次 | 主題 |
|---|---|
| 第 1 週 | Truth-conditional semantics Entailment |
| 第 2 週 | Entailment Implicatures |
| 第 3 週 | Presupposition vs. Implicatures |
| 第 4 週 | Propositional logic |
| 第 5 週 | Predicate logic: logical formulas, logical quantifiers |
| 第 6 週 | Holiday |
| 第 7 週 | Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws |
| 第 8 週 | HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions |
| 第 9 週 | Computation of simple sentences Sentential connectives |
| 第 10 週 | Midterm exam |
| 第 11 週 | Functions |
| 第 12 週 | The lamda operator |
| 第 13 週 | Types |
| 第 14 週 | Predicates & modifiers |
| 第 15 週 | Quantification Variable assignments |
| 第 16 週 | Final exam |
教科書
Materials collected by the instructor
Office Hours
- 地點
- Humanities Building III, Room 416
- 時間
- by appointment
- 聯絡方式
- Extension: 58128 E-mail: hcliao@nycu.edu.tw