Skip to main content
Breadcrumb

Logical theory

Course
LOG111
Master’s level
15 credits (ECTS)
Study pace
50%
Time
Day
Location
Göteborg
Study form
Campus
Language
English
Duration
-
Application open
-
Application code
GU-12479
Tuition
Full education cost: 34 000 SEK
First payment: 34 000 SEK

No fees are charged for EU and EEA citizens, Swedish residence permit holders and exchange students.

More information about tuition fees

Application opens 15 March 2021

About

The course provides a solid foundation in the theory formation of logic through a comprehensive presentation of syntax, semantics and proof systems for propositional logic and classical first-order predicate logic. As examples of other logics, second-order and intuitionistic logic are presented together with completeness results. Basic proof theory is introduced and lead up to a proof of normalisation for natural deduction. Gödel's incompleteness theorems and basic recursion theory are also included. The course does not require mathematical skills, but it is an advantage if you have the habit of reading mathematical text.

Prerequisites and selection

Requirements

Admission to the course requires successful completion of at least 60 credits in total in the subject areas mathematics, logic, computer science or formal linguistics, or at least 90 credits in philosophy or linguistics, and at least 30 credits in total in the subject areas mathematics, logic, computer  science or formal linguistics, or equivalent knowledge.

Selection

Selection is based upon the number of credits from previous university studies, maximum 225 credits.

For admission to the summer 2021 and onward the following selection applies: selection is based upon the number of credits from previous university studies, maximum 165 credits.