Instruction

Name Cr Method of study Time Location Organiser
Logic 5 Cr General Examination 5.10.2018 - 5.10.2018
Logic 5 Cr General Examination 2.11.2018 - 2.11.2018
Logic 5 Cr General Examination 16.11.2018 - 16.11.2018
Logic 5 Cr Course 14.1.2019 - 28.2.2019
Logic 5 Cr General Examination 18.1.2019 - 18.1.2019
Logic 5 Cr General Examination 8.2.2019 - 8.2.2019
Logic 5 Cr General Examination 22.2.2019 - 22.2.2019
Logic 5 Cr General Examination 29.3.2019 - 29.3.2019
Logic 5 Cr General Examination 24.5.2019 - 24.5.2019
Logic 5 Cr General Examination 12.6.2019 - 12.6.2019
Logic 5 Cr General Examination 3.7.2019 - 3.7.2019
Logic 5 Cr General Examination 24.7.2019 - 24.7.2019
Name Cr Method of study Time Location Organiser
Logic 5 Cr General Examination 14.9.2018 - 14.9.2018
Logic 5 Cr Course 16.1.2018 - 2.3.2018
Logic 5 Cr Examinarium (electronic exam room) 14.11.2017 - 31.7.2018

Prerequisites

Introduction to Logic (or equivalent course).

Learning outcomes

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).

Study materials

Reading material to be announced at the beginning of the course.

For the literature exam: Dirk van Dalen, Logic and structure, Springer, 2004.

Assessment practices and criteria

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

Completion methods

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.