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
Indicative assessment
Task
% of module mark
Essay/coursework
20
Essay/coursework
20
Essay/coursework
60
Special assessment rules
None
Indicative reassessment
Task
% of module mark
Essay/coursework
100
Module feedback
Formative
Weekly exercises followed by model answers and discussion in class.
Summative
Model answers and discussion. Opportunity for individual-level feedback during office hours.
Exam
Mark sheet and model answers.
Indicative reading
Lecture notes and readings will be made available on the VLE and through the digital library.