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

Logical theory

Master's level | 15 credits | Course code: LOG110
Autumn 2019
50% Day
Göteborg
Period: 2 September 2019 - 19 January 2020
INSTRUCTION LANGUAGE: English
2 Closed GU-15960
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

LOG110

Requirements and Selection

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: 32 897 SEK
First payment: 32 897 SEK

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

Study Guidance

Peter Johnsen
Contact form
031 - 786 5213
Olof Wijksgatan 6

Department

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

Page Manager: Pontus Sundén
Last update: 6/15/2018 12:12 PM

Tell a friend about this page
Print version

Page Manager: Pontus Sundén|Last update: 10/16/2018
Share:

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?