邏輯語意學
Introduction to Logical Semantics
學期
110-2
學分
0
學分
當期課號
5779
永久課號
ILC5253
開課單位
外國語文學系外國文學與語言學碩士班
授課教師
廖秀真
類別
必修
上課時間表
| 節 | 週三 |
|---|---|
2 09:00–09:50 | 邏輯語意學 F203 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 週 | Holiday (校慶) |
| 第 2 週 | Truth-conditional semantics Entailment |
| 第 3 週 | Presupposition vs. Implicatures |
| 第 4 週 | Propositional logic Coversational implicature |
| 第 5 週 | Predicate logic: logical formulas, logical quantifiers |
| 第 6 週 | Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws |
| 第 7 週 | HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions |
| 第 8 週 | Holiday |
| 第 9 週 | Computation of simple sentences (transitive verbs, intransitive verbs) |
| 第 10 週 | Midterm exam |
| 第 11 週 | Functions Types |
| 第 12 週 | The lamda operator Computation with lamda-expressions |
| 第 13 週 | The Semantics of predicate logic, variable assignments |
| 第 14 週 | PREDICATE & MODIFIER Common nouns and adjectives in predicate position |
| 第 15 週 | Argument vs. adjunct |
| 第 16 週 | Final exam |
教科書
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