邏輯語意學
Introduction to Logical Semantics
學期
112-2
學分
0
學分
當期課號
534100
永久課號
HSGF30009
開課單位
外國語文學系外國文學與語言學碩士班
授課教師
廖秀真
校區
光復
類別
必修
上課時間表
| 節 | 週二 |
|---|---|
2 09:00–09:50 | 邏輯語意學 HC404（光復） 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 週 | No class 2024-02-20(二) |
| 第 2 週 | Truth-conditional semantics Entailment 2024-02-27(二) |
| 第 3 週 | Entailment Implicatures 2024-03-05(二) |
| 第 4 週 | Presupposition vs. Implicatures 2024-03-12(二) |
| 第 5 週 | Propositional logic 2024-03-19(二) |
| 第 6 週 | Predicate logic: logical formulas, logical quantifiers 2024-03-26(二) |
| 第 7 週 | Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws 2024-04-02(二) |
| 第 8 週 | HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions 2024-04-09(二) |
| 第 9 週 | Computation of simple sentences Sentential connectives 2024-04-16(二) |
| 第 10 週 | Midterm exam 2024-04-23(二) |
| 第 11 週 | Functions 2024-04-30(二) |
| 第 12 週 | The lamda operator 2024-05-07(二) |
| 第 13 週 | Types 2024-05-14(二) |
| 第 14 週 | Quantification 2024-05-21(二) |
| 第 15 週 | Predicate & modifier 2024-05-28(二) |
| 第 16 週 | Variable assignments 2024-06-04(二) |
| 第 17 週 | Final exam 2024-06-11(二) |
教科書
Materials collected by the instructor
Office Hours
- 地點
- Humanities Building III, Room 416
- 時間
- Wednesday 2-3pm or by appointment
- 聯絡方式
- Extension: 58128 E-mail: h.c.daphne.liao@gmail.com