Logic II
The course deepens the acquaintance with first-order logic and prepares students for further studies in logic and metalogic.
Prerequisites: The course requires Logic I.
Registration: Well before the course starts, an email will be sent to all admitted students with information and instructions. Admitted students are expected to register themselves (online registration).
More about the course content:
The course Logic II is a continuation of Logic I, where we deepen the knowledge of propositional logic and predicate logic that you bring with you from the previous course. A basic introduction to set theory is provided, and a new system of derivation called natural deduction is introduced. We also take the first steps toward metalogic, where more general properties of the concept of logical consequence are studied. One of the most important proof techniques in logic, structural induction, is covered, and we demonstrate how induction proofs can be used to prove general claims, such as normal forms.
Learning platform:
Reading instructions, detailed course planning, etc., will be posted on the course’s Athena page. Admitted students who have activated their student accounts and are registered for the course will automatically be added as participants on the course's Athena page.
Language of instruction, Autumn Semester 2025: English.
Intended learning outcomes and grading scale: See the course syllabus.
Teaching Format
Teaching will consist of lectures and exercises. See the course syllabus for attendance requirements.
Assessment
Written assignments and a final sit-down exam.
Examiner
Instructor/Examiner for Autumn Semester 2025: Valentin Goranko.
Student Office
Director of Studies Mattias Högström mattias.hogstrom@philosophy.su.se
Study Councelling studievagledning@philosophy.su.se
