Logical theory - University of Gothenburg Till startsida
To content Read more about how we use cookies on gu.se

Logical theory

Master's level | 15 credits | Course code: LOG111
Autumn 2020
50% Day
Period: 31 August 2020 - 17 January 2021
2) Only EU/EEA citizens and students with approved residence permit in Sweden can apply

About the Course

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.

Course Syllabus


Requirements 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

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

Tuition Fee

Application fee: 900 SEK
Full course cost: 33 500 SEK
First payment: 33 500 SEK

EU/EEA citizens, Swedish residence permit holders and exchange students do not pay fees. More information on: http://www.universityadmissions.se

Study Guidance

Fredrik Engström

phone: 031-786 6335

email: mil-info@gu.se


Department of Philosophy, Linguistics, Theory of Science
Box 200
40530 Göteborg
Visiting address: Renströmsgatan 6

Page Manager: Jörgen Ölund
Last update: 2/18/2020 2:41 PM

Tell a friend about this page
Print version

Page Manager: Jörgen Ölund|Last update: 10/16/2018

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?

Denna text är utskriven från följande webbsida:
Utskriftsdatum: 2020-08-10