General description

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

Evaluation

Numeric 1-5.

Study materials

Either

Guttenplan: Languages of Logic

or

Allwood, Anderson, Dahl: Logic in Linguistics (orig. Sweedish)

Belongs to following study modules