邏輯語意學
Introduction to Logical Semantics
學期
114-2
學分
3
學分
當期課號
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 2026-02-26(四) |
| 第 2 週 | Entailment Implicatures 2026-03-05(四) |
| 第 3 週 | Presupposition vs. Implicatures 2026-03-12(四) |
| 第 4 週 | Propositional logic 2026-03-19(四) |
| 第 5 週 | Predicate logic: logical formulas, logical quantifiers 2026-03-26(四) |
| 第 6 週 | Holiday 2026-04-02(四) |
| 第 7 週 | Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws 2026-04-09(四) |
| 第 8 週 | HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions 2026-04-16(四) |
| 第 9 週 | Computation of simple sentences Sentential connectives 2026-04-23(四) |
| 第 10 週 | Midterm exam 2026-04-30(四) |
| 第 11 週 | Functions 2026-05-07(四) |
| 第 12 週 | The lamda operator 2026-05-14(四) |
| 第 13 週 | Types 2026-05-21(四) |
| 第 14 週 | Predicates & modifiers 2026-05-28(四) |
| 第 15 週 | Quantification Variable assignments 2026-06-04(四) |
| 第 16 週 | Final exam 2026-06-11(四) |
教科書
Materials collected by the instructor
Office Hours
- 地點
- Humanities Building III, Room 416
- 時間
- by appointment
- 聯絡方式
- Extension: 58128 E-mail: hcliao@nycu.edu.tw