Philosophical logic I

About this programme

Registration Before the course begins, 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 covers a brief overview of the history of philosophical logic, such as Aristotle’s theory of syllogisms and the logical ideas of the Stoic and the Megarian schools; necessity and possibility, i.e. alethic modal logic using possible-worlds models and basic Kripke semantics; an introduction to deductive systems for modal logic, such as axiomatic systems, natural deduction, and semantic tableaux; inferences involving temporal concepts and temporal logic; logical systems for the representation of knowledge and belief; an introduction to logics of action and agency; an introduction to intuitionistic and many-valued logic; modalities and quantification, with an informal introduction to first-order modal logic; and an introduction to the logic of conditionals and relevance logic. Learning platform: Reading instructions, a detailed course plan, and other materials will be published on the course Canvas page. Admitted students who have activated their student account and registered for the course will automatically be added as participants on the course Canvas page. Instructor and examiner, spring semester 2027: Valentin Goranko valentin.goranko@philosophy.su.se For further information about the course (mode of instruction, intended learning outcomes, attendance requirements, form of assessment, grading scale, etc.), please refer to the course