Research subject Logic and philosophy of logic

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.