Proof theory
Summary
The course treats derivations and proofs as mathematical objects, and study these from a formal, syntactic point of view, unlike model theory that can be said to be the semantic theory of the corresponding phenomena.
About
Among the many proof formalisms that have been constructed, studied, and implemented we focus on two central classes of systems: natural deduction and sequent calculus. The most fundamental theorems, whose proofs are implemented in detail are cut elimination and normalisation for propositional logic and predicate logic, but also for stronger systems, such as formalised arithmetic. Philosophical and linguistic aspects of proof theory, as its connection with semantics and anti-realism, will also be addressed.
Kursen ges på engelska. Besök vår internationella sida för mer information.
Prerequisites and selection
Entry requirements
For admission to the course successful completion of at least 7.5 credits of Logical theory (LOG111) or Logic in Computer Science (DAT060 or DIT201), or the equivalent, is required. 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
Recommended study route
The course is mainly taught by means of lectures, seminars, workshops and project work (or equivalent).
