Logic II

About this programme

The course deepens the acquaintance with first-order logic and prepares students for further studies in logic and metalogic. 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 Canvas page. Admitted students who have activated their student account and have been registered for the course will automatically become participants on the course's Canvas page. For other information about the course (teaching method, expected study results, attendance requirements, examination method, grading scale, etc.), see the course syllabus. To follow your passion. To be close to international career opportunities. To explore city and countryside. In Stockholm you can really get the best of both worlds.