In this course you will acquire a basic understanding of the formal techniques necessary for the construction of a compositional theory of meaning. You will achieve a basic fluency in the formal languages and you will appreciate the necessity for such rigorous techniques in the study of meaning.
Module learning outcomes
By the end of the module students should:
Display a basic understanding of the notion of quantification and its manifestations in natural language.
Display a basic understanding of set theory and its use in model-theoretic semantics.
Correctly use first order predicate logic to represent natural language sentences.
Derive compositional meaning through functional application and lambda calculus.
Further appreciate the importance of entailment and the distinction between entailments, presuppositions, and implicatures.
Indicative assessment
Task
% of module mark
Essay/coursework
50
Essay/coursework
50
Special assessment rules
None
Indicative reassessment
Task
% of module mark
Essay/coursework
100
Module feedback
Oral and written feedback. Model answers and commentaries on the VLE.
Indicative reading
Heim, I. & Kratzer, A. 1998. Semantics in Generative Grammar. Oxford: Blackwell.
Kearns, K. 2011. Semantics, 2nd Edition. New York: Palgrave Macmillan.