In this module you will acquire a basic understanding of the formal techniques necessary for the construction of a 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
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
Further appreciate the importance of entailment and the distinction between entailment, presupposition, and implicature