News

More in the Publications archive

• Ayhan, S. [2024], Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations, Journal of Logic and Computation https://doi.org/10.1093/logcom/exae014

• Ayhan, S. [2024], Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics, History and Philosophy of Logic, https://doi.org/10.1080/01445340.2024.2393964

• Eckhardt, T. & Pym, D.  [2024], Base-extension Semantics for Modal Logic, Logic Journal of the IGPL, https://doi.org/10.1093/jigpal/jzae004

• Gheorghiu, A. V. & Gu, T. & Pym, D.  [2024], A note on the practice of logical inferentialism: the state-effect interpretation, definitional reflection, and completeness, Second Conference on Logic and Philosophy: Historical and Contemporary Issues, Vilnius, Lithuania, arXiv:2403.10546

• Gheorghiu, A. V. & Gu, T. & Pym, D.  [2024], A Note on an Inferentialist Approach to Resource Semantics, Proceedings of Twelfth Scandinavian Logic Symposium, arXiv:2405.06491

• Gheorghiu, A. V. & Gu, T. & Pym, D.  [2024], Inferentialist Resource Semantics, Proceedings of MFPS 2024, Oxford, Electronic Notes in Theoretical Informatics and Computer Science, https://doi.org/10.48550/arXiv.2402.09217

• Kürbis, N. [2024], Molecular Theories of Meaning and the Topic Neutrality of Logic, Perspectives on Deduction, https://doi.org/10.1007/978-3-031-51406-7_9

• Kürbis, N. [2024], Bilateralism, Collapsing Modalities, and the Logic of Assertion and Denial, Theoria, https://doi.org/10.1111/theo.12516

• Piccolomini d'Aragona, A. [2024], Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics, in A. Klev, The architecture and archaeology of modern logic. Studies dedicated to Göran Sundholm, Logic, Epistemology, and the Unity of Science 61, Springer, https://doi.org/10.1007/978-3-031-52411-0_6

• Pym, D & Ritter, E. & Robinson, E. [2024], Categorical Proof-theoretic Semantics, Studia Logica, https://doi.org/10.1007/s11225-024-10101-9

• Simonelli, R. [2024], A general schema for bilateral proof rules, Journal of Philosophical Logic, https://doi.org/10.1007/s10992-024-09743-w

• Tranchini, L. [2024], Harmony and paradox. Intensional aspects of proof-theoretic semantics, Trends in Logic, Springer, https://doi.org/10.1007/978-3-031-46921-3 

• von Kutschera, F. [2024 (1969)], A generalized notion of refutation for Gentzen calculi (Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle), edited and translated by Sara Ayhan, History and Philosophy of Logic, https://doi.org/10.1080/01445340.2024.2393970

More in the CfPs archive

• Realism and anti-realism. Paradigms and research programmes in logic and the philosophy of mathematics. Workshop at the University of Tübingen, April 28th-29th 2025. Deadline for submission: January 15th 2025. Link for further information 

• The history and fate of the analytic-synthetic distinction. Topical issue of Humana.Mente. Journal of Philosophical Studies. Edited by Felice Masi and Luigi Laino. Deadline for submission: March 31st 2025. Link for further information

More in the Positions archive

• Four-year PhD studentship on the Leverhulme-funded project "ECUMENICAL: Proof-theoretic semantics for non-classical and modal logics", led by Prof. Elaine Pimentel, Prof. David Pym, and Prof. Luiz Carlos Pereira at the Department of Computer Science, University College London (UK). Deadline for application: 03 February 2025 (for a May 2025 start) or 01 July 2025 (for an October 2025 start). Link for further information. Email for further inquiries: e.pimentel@ucl.ac.uk.