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: LOG110

The course is not given as a stand-alone course this academic year, but can be included in the program/course package. For information contact the department.

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


Tuition Fee

Please contact the department.
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
Renströmsgatan 6


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?