Bible paper by Dave Bullock CC BY 2.0

Enrol
12.12.2017 at 09:00 - 2.3.2018 at 23:59

Timetable

Here is the course’s teaching schedule. Check the description for possible other schedules.

DateTimeLocation
Tue 16.1.2018
12:15 - 13:45
Fri 19.1.2018
12:15 - 13:45
Tue 23.1.2018
12:15 - 13:45
Fri 26.1.2018
12:15 - 13:45
Tue 30.1.2018
12:15 - 13:45
Fri 2.2.2018
12:15 - 13:45
Tue 6.2.2018
12:15 - 13:45
Fri 9.2.2018
12:15 - 13:45
Tue 13.2.2018
12:15 - 13:45
Fri 16.2.2018
12:15 - 13:45
Tue 20.2.2018
12:15 - 13:45
Fri 23.2.2018
12:15 - 13:45
Tue 27.2.2018
12:15 - 13:45
Fri 2.3.2018
12:15 - 13:45

Description

Propaedeutic course: Johdatus logiikkaan (or equivalent course).

The aim of the course is to get students master some of the central logical methods for showing the validity of arguments in formal logic and their significance in the light of meta-theoretical results.
Depending on the teacher, there will be a detailed exposition of proof-theoretic and /or semantic methods for showing the validity of arguments in formal logic, with an emphasis on predicate logic. The different methods will be linked through meta-theoretical results (completeness theorems).

Reading material to be announced at the beginning of the course. For the literature exam: Dirk van Dalen, Logic and structure, Springer, 2004.

Assessment in the scale 0-5, based on the learning objectives.

Lecture course with exercise sessions and final exam. The student should register to one of the exercise groups. Completion of the course is possible also through a literature exam.