The course consists of two parts: a) The basics of propositional and predicate logic (2 ECTS)
b) Semantics and proof theory of propositional and predicate logic (3 ECTS)
Contents
The course introduces the basic concepts of logic such as formal language, logical truth and logical consequence and studies the syntax and semantics of propositional and predicate logic.
Teaching methods
The course consists of lectures and exercises.
Teaching language
Finnish
Modes of study
Written examination (book exam or lecture exam)
Evaluation
Numeric 1-5.
Study materials
Either
Guttenplan: Languages of Logic
or
Allwood, Anderson, Dahl: Logic in Linguistics (orig. Sweedish)