3rd Logic in Philosophy Summer School
3rd Logic-in-Philosophy
Summer School
Summer School
Logic and Metaphysics
14–18 September 2026
About
LiP is a collaborative program conducting critical studies and research in logic and the foundations of mathematics as a sub-field of philosophy. Its aim is to create a forum for the development, the study, and the scholarly work of initiated students and scholars in this area. Its collaborative initiatives create opportunities for students to interact with the contemporary, cutting-edge discussion held annually at the IUC in Dubrovnik, to receive tutorship from members of the international community of inquiry in the area, and to interact with students from other institutions around the world. Among its primary functions, LiP encourages and explores the intersections between creative research in the foundations of mathematics and scholarly work in the area.
Since 2024, LiP has included an in-person summer school for Lippers, held on the campus of the University of Rijeka and hosted by the Center for Logic and Decision Theory. The first edition of the school was titled Logic in Philosophy: Incompleteness and Intuition; the second, Logic in Philosophy: Proof and Probability. This year's school is Logic in Philosophy: Logic and Metaphysics.
Tutorials
Ofra Rechter
(Tel Aviv University)
Roots of Proof Theory
Norbert Gratzl
(LMU Munich)
Classical Logic: A Metalogical Compendium
Zvonimir Šikić
(University of Rijeka)
Cantor's Theorem
Edi Pavlović
(LMU Munich)
Sequent Calculus
Sanford Shieh
(Wesleyan University)
Origins of Strict Implication: Russell and Lewis
Invited Lectures
Peter Koellner
(Harvard University)
TBA
Programme
Meeting ID 631 8989 9745 · for the sessions marked (Zoom) in the timetable
All times CEST. Download the programme (PDF)
Tutorials
Invited lectures
GiG & reading sessions
| Time | Monday Sep 14 |
Tuesday Sep 15 |
Wednesday Sep 16 |
Thursday Sep 17 |
Friday Sep 18 |
|---|---|---|---|---|---|
| 08:30–08:45 | Gathering & registration | ||||
| 08:45–10:15 | Pavlović (LMU) Sequent calculus I |
Gratzl (LMU) Classical logic – metalogical compendium I |
Šikić (Rijeka) Cantor's theorem I |
Rechter (TAU) Roots of PT I – foundational background |
Pavlović (LMU) Sequent calculus IV |
| 10:15–10:30 | Break | ||||
| 10:30–12:00 | Pavlović (LMU) Sequent calculus II |
Gratzl (LMU) Classical logic – metalogical compendium II |
Šikić (Rijeka) Cantor's theorem II |
Rechter (TAU) Roots of PT II – consequences |
Pavlović (LMU) Sequent calculus V |
| 12:00–12:15 | Break | Break | |||
| 12:15–13:45 | GiG* Session 1 Sequent calculus, natural deduction & cut |
GiG Session 2 First order matters |
Walzer (LMU) Introduction to truthmaker semantics |
Free afternoon | GiG Session 3 Student presentations |
| 13:45–14:45 | Lunch break | Closing | |||
| 14:45–16:15 | Reading Session Russell material |
Pavlović (LMU) Sequent calculus III |
Salem (Vancouver) Theory of definition for Avicena (Zoom) |
||
| 16:15–16:30 | Break | ||||
| 16:30–18:00 | Shieh (Wesleyan) Origins of strict implication I: Russell on implication (Zoom) |
Koellner (Harvard) TBA (Zoom) |
Shieh (Wesleyan) Origins of strict implication II: Lewis contra Russell (Zoom) |
||
| 18:00–18:15 | Daily wrap-up | ||||
* GiG: Guided Instruction Group. Student-led recap and exercises; a primer prepared by students for future students; essential sources read in the original, in several languages.
Materials
Sanford Shieh · Origins of Strict Implication
Readings for the tutorial. Each opens in a new tab.
B. Russell, The Principles of Mathematics (1903), excerpts; "Necessity and Possibility" (1905), in Collected Papers, vol. 4, 507–520; A. N. Whitehead and B. Russell, Principia Mathematica, vol. I (1910), *1–*2; C. I. Lewis, "Implication and the Algebra of Logic", Mind 21 (1912), 522–531; N. Wiener, "Mr. Lewis and Implication", The Journal of Philosophy 13 (1916), 656–662; C. I. Lewis, "The Issues Concerning Material Implication", The Journal of Philosophy 14 (1917), 350–356; B. Russell, Introduction to Mathematical Philosophy (1919), ch. XIV.
Norbert Gratzl · Classical Logic: Meta-logical Compendium
This course offers a concise compendium of classical first-order logic. We introduce a formal language, semantics, and a formal system, and establish some basic facts. Afterwards, soundness and completeness theorems are formulated in two versions; these formulations highlight the strong connections between the concepts of syntactic logical consequence, semantic logical consequence, having a model, and being consistent. The major building blocks of the proofs of soundness and completeness are outlined.
Texts
Johannes Czermak, Einführung in die Logik. Universität Salzburg, unpublished manuscript, 1978.
Heinz-Dieter Ebbinghaus, Jörg Flum and Wolfgang Thomas, Einführung in die mathematische Logik, 6th ed. Springer Spektrum, Berlin, 2018.
Norbert Gratzl, Von Logik zu Metalogik. Hanser, München, 2026.
Geoffrey Hunter, Metalogic: An Introduction to the Metatheory of Standard First Order Logic. University of California Press, Berkeley, 1973.
Paolo Mancosu, Sergio Galvan and Richard Zach, An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford University Press, 2021.
Kurt Schütte, Beweistheorie. Springer, 1960.
Gerhard Schurz, Logik, 2nd ed. De Gruyter, 2021.
Learning Model
Students take part in the School rather than attend it, and the week in Rijeka is preceded and followed by work at home. Learning takes several forms:
Preparation and close reading before each lecture, in a reading session on the assigned material.
Direct engagement with the visiting lecturers, during the sessions and in individual work with them.
Exchange with participants of the advanced workshop in Dubrovnik, whose early-career section has included presentations by members of the group.
Guided Instruction Groups (GiG): student-led recap and exercises, a primer written for future students, and essential sources read in the original, in several languages.
Tutorials taught by students, piloted this year.
Mentoring of newcomers by returning students.
The materials produced along the way, primers, notes and readings, remain with the group and are handed on to those who join later. In this sense the Summer School is one of the main sites of the group's research activity, and its programme is still taking shape.
Academic Directors
Ofra Rechter (Tel Aviv University), Edi Pavlović (LMU Munich)
Program Committee
Ofra Rechter (Tel Aviv University), Edi Pavlović (LMU Munich), Nenad Smokrović (University of Rijeka), Michael Glanzberg (Rutgers)
Local Organizing Committee
Nenad Smokrović (University of Rijeka), Ante Debeljuh (University of Rijeka)
Contact
In cooperation with
2026, 3rd Logic in Philosophy Summer School: Logic and Metaphysics
