● 課程說明(Course Description)
This course addresses the issues regarding the composition of meaning and the
mapping from form to meaning in natural language. Some mathematical and logic
tools and the basic concepts of model- theoretic semantics á la Montague (1970)
and Heim and Kratzer (1998) will be introduced.

● 指定用書(Text Books)
Heim, I. and Kratzer, A. (1998). Semantics in Generative Grammar. Malden, MA:
Blackwell.
Partee, B. H., ter Meulen, A., and Wall, R. (1990). Mathematical Methods in
Linguistics.
Studies in Linguistics and Philosophy. Springer Netherlands.

● 參考書籍(References)
n/a

● 教學方式(Teaching Method)
Lectures

● 教學進度(Syllabus)
第一週The Truth Conditional Semantics and Compositionality
第二週Set Theory and Compositionality
第三週Functions
第四週Function Application and Lambda -conversion
第五週Intersection and Modification
第六週Total vs. Partial Functions; Presupposition vs. Assertion
第七週Type-mismatch and LF (syntactic) movement
第八週Movement, Predicate Abstraction, and Variable Binding
第九週More on ACD and QR
第十週An ACD Analysis of Comparatives
第十一週Attitude Predicates and Intensionality
第十二週 More on Intensionality
第十三週de dicto and de re
第十四~十五週 Discussions on topics to be selected.
第 16週 Conclusion

● 成績考核(Evaluation)
Weekly Assignments
Student Presentations

● 可連結之網頁位址 相關網頁(Personal Website)

● AI 使用規則 (Indicate which of the following options you use to manage student
use of the AI)
本課程無涉及AI使用 Not applicable