Robin Martinot

I am a final-year PhD candidate at the Department of Theoretical Philosophy of Utrecht University. My PhD is part of the NWO-funded Vici project "Optimal Proofs" led by Rosalie Iemhoff, and I am co-supervised by Luca Incurvati (ILLC).

 

I am interested in 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 using formal methods to make intuitive concepts precise.

 

Before this, I completed the Master of Logic and a bachelor's in neuroscience at the University of Amsterdam.

 

I also have an Utrecht University profile.

Publications

Talks

Teaching

Additional activities

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

Purity and Explanation: A Systematic Study (co-authored with Francesca Poggiolesi). Submitted.

A Formal Characterization of Semantic Pollution of Modal Proof Systems.

 

Master's thesis

Sets and Categories: What Foundational Approaches Tell Us About Mathematical Thought (ILLC, 2019).

Some invited talks:

2024 - On semantic syntax in proof systems

EuPhilo Conference 2024 (“Logic, Reasoning, and AI”), Utrecht University

2024 - Semantic Pollution and the Meaning of Connectives

Workshop: Proofs, Rules, and Meanings, University of St Andrews

2023 - Purity and Explanatoriness of Proof

Logic: Norms and Forms, Utrecht University

2023 - Preserving and Extending Purity for Formal Proofs

Perspectives on Logic and Philosophy, Ruhr University Bochum

2022 - Semantic Pollution of Proof Systems

Workshop on Proofs and Formalization in Logic, Mathematics and Philosophy, Utrecht University

I was a teaching assistant for:

 

2023 - Foundations and Philosophy of Mathematics (Master’s programme AI, Utrecht University)

2022 - Logic for Philosophers (Bachelor’s programme Philosophy, Utrecht University)

2021 - Philosophy for AI (Bachelor’s programme AI, Utrecht University)

2021 - ‘Matching activity’ for prospective Bachelor’s AI students (Utrecht University)

2020 - Modal Logic for AI (Bachelor’s programme AI, Utrecht University)

I am currently communications officer for the Dutch Association for Logic (Vereniging voor Logica, VvL). This means that I update the website, maintain the members list, create newsletters for the association, and contribute to the organization of events.

 

I was a co-organizer of several workshops: 

• The first edition of the Dutch Logic PhD Day, Utrecht University (2022)
• The 4th Proof Society Workshop and International Autumn School, Utrecht University (2022)
• Workshop on Proof and Formalization in Logic, Mathematics and Philosophy 2022, Utrecht University
• Computability in Europe 2024 (University of Amsterdam)

You can e-mail me via hello at robinmartinot dot nl