Logic and Completeness
Summary
Step into the foundations of rigorous reasoning with this engaging course in formal logic—an essential discipline at the crossroads of mathematics, philosophy, and theoretical computer science. Whether you're interested in sharpening your analytical thinking or exploring the structure of meaning itself, this course offers a powerful toolkit for understanding how we reason.
About
You will dive deep into propositional logic and first-order predicate logic, gaining a thorough understanding of their syntax, semantics, and proof systems. Along the way, you’ll explore cornerstone results such as soundness and completeness, as well as key semantic insights like the compactness theorem and the Löwenheim–Skolem–Tarski theorem—all with meaningful applications.
Why take this course?
By the end, you’ll not only understand the theory—you’ll be able to use it. You will:
Construct and present formal proofs with confidence
Connect abstract syntactic rules to real semantic meaning
Apply logical methods to solve complex problems independently
Critically evaluate how formal logic can model real-world phenomena
Prerequisites and selection
Entry requirements
Admission to the course requires successful completion of
- at least 60 credits in total in the subject areas mathematics, logic, computer scienceor 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.
Selection
Selection is based upon the number of credits from previous university studies, maximum 165 credits.
Facilities
The Faculty of Humanities is located in the Humanisten building at Renströmsgatan 6. The Department of Philosophy, Linguistics and Theory of Science has its premises on the 5th floor. Both the Faculty of Humanities and the adjacent Humanities Library offer several study areas and group rooms.
More information about facilities
Teaching is given in the form of lectures, seminars, exercises, individual assignments and group assignments.
