校際選修

115-1 選課時程

進行中

  • 初選第一階段 6/15/2026
  • 初選第二階段 6/22/2026
  • 校際選修 8/24/2026
  • 初選第三階段 8/31/2026
  • 開學後加退選 9/7/2026
  • 逾期加退選 9/21/2026
選課資源

邏輯語意學

Introduction to Logical Semantics

學期
109-2
學分
3 學分
當期課號
5770
永久課號
ILC5253
開課單位
外國語文學系外國文學與語言學碩士班
授課教師
廖秀真
校區
光復
類別
必修
上課時間表
週二
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 週Presupposition vs. Implicatures
第 3 週Propositional logic Coversational implicature
第 4 週Predicate logic: logical formulas, logical quantifiers Quantifiers and variables, the Syntax of Predicate Logic, quantifier Laws
第 5 週HUMAN NATURAL LANGUAGE: The illustrative F1 Sets and functions
第 6 週Computation of simple sentences (transitive verbs, intransitive verbs)
第 7 週Functions Types
第 8 週Midterm exam
第 9 週The lamda operator Computation with lamda-expressions
第 10 週Quantificational DPs More about types
第 11 週The Semantics of predicate logic, variable assignments
第 12 週The Semantics of predicate logic, variable assignments
第 13 週PREDICATE & MODIFIER Common nouns and adjectives in predicate position Argument vs. adjunct
第 14 週Predicate Modification: Adverbs
第 15 週Quantificational Raising
第 16 週Final exam
第 17 週
第 18 週
教科書

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