General description

The module gives an introduction to the basic concepts of logic and the syntax and the semantics of propositional and predicate logic.

Learning outcomes

Familiarity with the basic concepts of logic such as formal language, logical truth, and logical consequence. Mastery of basics of the syntax and the semantics of propositional and predicate logic and the proof theory of propositional logic.

Contents

Syntax and semantic tableaux of propositional logic;
concepts of logical truth, consequence and equivalence; basics of the proof theory of propositional logic;
languages of 1. order predicate logic, their syntax and intuitive semantics (model theory).

Teaching methods

Teaching method	Contact	Online
Lectures	30 h	0 h
Exercises	16 h	0 h

Teaching language

Finnish

Evaluation

Numeric 1-5.

Recommended year of study

1. year autumn

Study materials

Either

Allwood-Andersson-Dahl: Logic in Linguistics (orig. Logik för lingvister)

or

Guttenplan: Languages of Logic.

Belongs to following study modules