Francesco Paoli is a Full Professor of Logic at the University of Cagliari (Department of Pedagogy, Psychology, Philosophy). He earned his degree in Philosophy from the University of Florence in 1990 under the supervision of Ettore Casari and completed his PhD at the University of Milan in 1999.
Before his tenure at Cagliari, he was a postdoctoral researcher at the Scuola Normale Superiore in Pisa (2000–2002). He has also served as a Visiting Professor at the Department of Mathematics at Vanderbilt University.
His research primarily focuses on non-classical logics (particularly substructural, quantum, and many-valued logics), algebraic logic, and universal algebra. He is the author of several influential works, including Substructural Logics: A Primer (Kluwer, 2002) and Sperimentare la logica (2004). In addition to his research, he has held leadership roles in the Italian Society for Logic and the Philosophy of Science (SILFS) and serves as an associate editor for prestigious journals such as Studia Logica and Logica Universalis.
Pablo Cobreros is a Professor of Logic and Philosophy of Science at the University of Navarra. He earned his PhD in Philosophy from the same institution in 2007 with a dissertation titled The supervaluationist theory of vagueness: Reflections on truth and logical consequence, under the supervision of Dr. María Cerezo.
Academic Career and Fellowships
Throughout his career, he has been the recipient of prestigious research grants, including a Humboldt Fellowship, which allowed him to conduct research at the Munich Center for Mathematical Philosophy (2019-2020). He has also held research positions at University College London (UCL) and the Institute of Philosophy in London.
Research and Publications
His research focuses primarily on philosophical logic, with a particular interest in:
Paradoxes: Especially the sorites paradox and the liar paradox.
Non-classical Logics: Specifically substructural and non-transitive approaches (such as ST logic).
Vagueness and Language: The study of logical consequence and trivalent semantics.
He is a frequent collaborator with international researchers such as Paul Egré, Robert van Rooij, and Ellie Ripley. His work has been published in high-impact journals including Mind, Journal of Philosophical Logic, Synthese, Studia Logica, and Logique et Analyse. Since 2023, he has also served as the coordinator for the European project PLEXUS.
Andrea Iacona is a Full Professor of Logic at the University of Turin (Department of Philosophy and Education Sciences). He earned his DPhil from the University of Oxford and has held various academic positions, including serving as an assistant professor at the Munich Center for Mathematical Philosophy (MCMP) at LMU Munich and a post-doctoral researcher at the University of Salzburg.
Academic Leadership and Roles
Currently, he is the Director of the Center for Logic, Language, and Cognition (LLC) at the University of Turin. He also serves as an Associate Editor for the journal Analysis and is a member of the editorial panel for Thought. Additionally, he is the Information Vice-President of the International Society for the Philosophy of the Sciences of the Mind (ISPSM).
Research and Publications
His research focuses on logic and its applications to natural language, with specific interests in:
Logical Form: He has written extensively on the distinction between different notions of logical form and how they relate to logic and semantics.
Conditionals and Truth: His work explores topics such as evidential conditionals, future contingents, truth, validity, and vagueness.
Metaphysics and Language: He has investigated the nature of propositions and the liar paradox.
Among his most notable publications are the monograph Logical Form: Between Logic and Natural Language (Springer, 2018), Propositions (2002), and L'argomentazione (2005). He also co-edited the Handbook of Three-Valued Logic (with Paul Égré, MIT Press) and the upcoming volume The Liar Paradox (Cambridge University Press).
Bogdan Dicher is a philosopher and logician, currently serving as a Lecturer in the Philosophy Department at the University of the Witwatersrand (Wits) in Johannesburg, South Africa. He is also an external member of the LanCog Research Group at the University of Lisbon. He earned his PhD from Durham University in 2014.
Academic Trajectory
Before moving to South Africa, he held several postdoctoral and research positions, including a notable period at the University of Cagliari (working with the ALOPHIS research group led by Francesco Paoli) and the University of Lisbon.
Research and Areas of Specialization
His research is primarily focused on philosophical logic and proof theory, with a specific interest in:
The Theory of Meaning: Specifically proof-theoretic semantics and how rules of inference define logical constants.
Logical Consequence: His work examines the nature of logical consequence, including issues of categoricity and harmony.
Substructural Logics: He explores the philosophical implications of logics that deviate from standard structural rules.
Metainferentialism: More recently, he has been involved in defending and clarifying versions of metainferentialism (finitist approaches).
Publications and Teaching
Dr. Dicher has published extensively in top-tier journals such as Synthese, Journal of Philosophical Logic, Inquiry, and The Review of Symbolic Logic. At the University of the Witwatersrand, he teaches courses ranging from Symbolic Logic and Philosophy of Language to Epistemology and Metaphysics. He is also known for his active involvement in the logic community and his affiliation with the "Deviant Logic Posse."
Agustina Borzi is an Argentinian philosopher and researcher specializing in logic and the philosophy of language. She is currently a Doctoral Fellow at the National Scientific and Technical Research Council (CONICET) in Argentina and is a prominent member of the Buenos Aires Logic Group (BA Logic). She conducts her research at the University of Buenos Aires (UBA).
Research and Areas of Specialization
Her work is situated at the intersection of philosophical logic and formal semantics, with a particular focus on:
Theories of Truth and Paradoxes: Analyzing semantic paradoxes, such as the Liar, and the formal frameworks designed to address them.
Metainferential Hierarchies: Investigating different levels of logical consequence (inferences and metainferences) and their role in defining logical systems.
Non-classical Logics: Exploring many-valued logics, paraconsistency, and substructural approaches.
Philosophy of Language: Studying the relationship between formal logical structures and natural language phenomena like vagueness.
Academic Activities
As part of the BA Logic group, she is an active participant in international research collaborations. She has presented her work at numerous international conferences and contributes to the vibrant logic community in Latin America.
Vice-director of IIF-SADAF-CONICET and Director of BA-Logic (www.ba-logic.com). Professor (Full- Tenure) of the Logic of the Department of Philosophy at the University of Buenos Aires. He has been a Visiting Professor at MIT, CUNY, Oxford University, and MCMP-Munich. He is a specialist in non-classical logics, in particular in multi-valued and sub-structural logics. His works on non-classical logics have been published in high impact international journals (Scopus Q1), such as Journal of Philosophical Logic, Analysis, Synthese, Review of Symbolic logic, Journal of Applied Non-Classical Logics, Logical Journal of the IGPL and Studia Logica, among others. He has co-edited three special issues: one in the Journal of Philosophical Logic and two in the Logical Journal of the IGPL. He is the director of the EUDEBA Logical Encyclopedia collection. He has published three books: two in EUDEBA and one in Collage Pu. He is and has been director of international cooperation projects at the British Academy, DAAD, DFG, NEH.
Balthasar Grabmayr is a Junior Professor of Philosophy at Tübingen University. Before joining Tübingen, he was an Azrieli International Postdoctoral Fellow in the Department of Philosophy at the University of Haifa and concurrently held a postdoctoral position at the Blavatnik School of Computer Science at Tel Aviv University. He received his PhD in Philosophy from Humboldt University of Berlin. His research mostly focuses on logic, metaphysics, and the philosophies of logic, mathematics, and computation.
Publications
Grabmayr, B. (forthcoming). "Montague's Problem".
Journal of Philosophy. Preprint
Grabmayr, B. (2025). "Structure and Computation".
Noûs. Link
Grabmayr, B. (2024). "A Step Towards Absolute Versions of Metamathematical Results".
Journal of Philosophical Logic, 53, 247–291. Link
Grabmayr, B., Halbach, V., & Ye, L. (2023). "Varieties of Self-Reference in Metamathematics".
Journal of Philosophical Logic, 52, 1005–1052. Link
Grabmayr, B., & Visser, A. (2023). "Self-Reference Upfront: A Study of Self-Referential Gödel Numberings".
Review of Symbolic Logic, 16(2), 385-424. Link
Grabmayr, B., & Avron, A. (2023). "Breaking the Tie: Benacerraf's Identification Problem Revisited".
Philosophia Mathematica, 31(1), 81-103. Link
Grabmayr, B. (2021). "On the Invariance of Gödel’s Second Theorem with regard to Numberings".
Review of Symbolic Logic, 14(1), 51-84. Link
Robin Martinot has been a postdoc at the Carl Friedrich von Weizsäcker Centre of the University of Tübingen since November 2025. Before that, she was a postdoc at Ruhr University Bochum as a member of Heinrich Wansing's ERC Advanced Grant project, Contradictory Logics: A Radical Challenge to Logical Orthodoxy.
She defended her PhD thesis, Formalizing Ideals of Proof: Purity, Explanation and Semantic Pollution, in June 2025. Her doctoral research was hosted by the Department of Theoretical Philosophy at Utrecht University, as part of the NWO-funded Vici project "Optimal Proofs" led by Rosalie Iemhoff, and co-supervised by Luca Incurvati (ILLC).
Her research interests include the philosophy of logic and mathematics (ideals of proof, foundations of mathematics, structuralism, pluralism), proof theory (proof translations, generalizations of the sequent calculus, proof-theoretic semantics), and the use of formal methods to make intuitive concepts precise. She completed the Master of Logic and a bachelor's in neuroscience at the University of Amsterdam.
Publications
Formalizing Ideals of Proof: Purity, Explanation and Semantic Pollution (2025, Dissertation).
Purity and Explanation: A Systematic Case Study (co-authored with Francesca Poggiolesi). Synthese 205.6 (2025): 243.
Ontological Purity for Formal Proofs. The Review of Symbolic Logic 17.2 (2024): 395-434.
Towards A Formal Analysis of Semantic Pollution. LOGICA Yearbook 2022 (pp.79-98).
Works in progress
A Formal Characterization of Semantic Pollution of Modal Proof Systems. Submitted October 2024.
Semantic Pollution of Bilateral Calculi for Inconsistency-Tolerant Logics. Draft available (2026).
Master's thesis
Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought (ILLC, 2019).
Book of Abstracts