Stockholm university

Logic studies the principles and methods for correct argumentation and reasoning. Formal logic uses precise logical languages endowed with formal semantics and systems for deductive inference to capture logically correct reasoning. Philosophy of logic studies philosophical problems arising in logic, related to its nature and foundational role for science.

The department has had a strong tradition in logic, including proof theory and theory of generalized quantifiers. Besides these, our current research in formal logic spans a wide variety of philosophical logics, including modal, temporal, epistemic, deontic, logics for agency and multi-agent systems, as well as fixed-point logics such as the modal mu-calculus. In our current research we focus on expressiveness, complete axiomatic and other deductive systems, decidability andcomputational issues, and applications to problems in philosophy, artificial intelligence, computer science, mathematics, and game theory. Our research in philosophy of logic currently includes questions on logicality, logical aspects of compositionality of abstract semantics, normativity of logic, logical disagreement, conventionalism about logic, deductive reasoning, and logical exceptionalism/anti-exceptionalism.

Related research subject

Philosophy, Theoretical
Begrisschrift II
On this page

Researchers

Sebastian Enqvist

Universitetslektor

Department of Philosophy
Sebastian Enqvist

Anders Schoubye

Lecturer

Department of Philosophy
Schoubye

Paul Gorbow

Postdoc

Department of Philosophy
Paul Kindvall Gorbow

Karl Nygren

Postdoc

Department of Philosophy
Karl Nygren

Anders Lundstedt

PhD student

Department of Philosophy
A picture of Anders Lundstedt

Dag Westerståhl

Professor emeritus

Department of Philosophy
Dag W

Dag Prawitz

Professor emeritus

Department of Philosophy
Dag Prawitz

Research projects