Logical theory

Education facts

Code: LOG111

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.

Entry 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. English 6 or equivalent is also required.

Education offerings

Each offering has its own dates and conditions. Closed offerings are retained as history and do not mean that a new application is open.

• Logical theory

  University of Gothenburg

  Start date: 1 September 2025

  End date: 18 January 2026

  Pace of study: 50 %