# Logic

Our research in logic concerns questions about logical consequence, logical laws, logical form, logical concepts, models, proof, computation, the philosophy of logic, and the application of logical methods in philosophy. Amongst these questions are:

**Logical consequence, laws, form, and concepts; models, proof, and computation:**How can logical consequence and the logicality of concepts be explicated? How do model-theoretic and proof-theoretic explications relate to each other? Is there a stable and clear enough informal notion of consequence? What is the logical form of (particular cases of) sentences from natural language? Are logical laws analytic? Or are they high-level scientific laws? Should we aim at complete systems of logic? How does logic relate to theories of truth and meaning? Is second-order logic a logic proper or rather set theory in disguise? How does truth-in-a-model relate to truth simpliciter? Which formal properties should a proof system have? What does the Church-Turing thesis tell us about computability?

**Philosophy of logic and the application of logical methods in philosophy:**How can logic be justified? Is logic normative? Should classical logic be replaced by non-classical logic? Should we be pluralists about logic? What are the philosophical consequences of the Incompleteness Theorems? How do model-theoretic arguments in the realism-antirealism debate work? Is the meaning of logical concepts determined by rules of inference? Is it possible to quantify over everything? What should a formal theory of truth look like? How should we address the problem of logical paradoxes? How much logic is needed for (particular parts of) mathematical, scientific, and legal reasoning? Which logical resources are required in epistemology, metaphysics, ethics, and artificial intelligence?

**Members of faculty working in logic:**

- Marianna Antonutti Marfori
- Ivano Ciardelli
- Hein Duijf
- Benedict Eastaugh
- Martin Fischer
- Norbert Gratzl
- Mario Günther
- Andreas Kapsner
- Hannes Leitgeb
- Godehard Link
- Alessandra Marra
- Giorgio Sbardolini
- Tom Sterkenburg

**Doctoral fellows working in logic:**