Carlo Nicolai

Carlo Nicolai is Reader in Logic at King's College London's Department of Philosophy. He holds a DPhil from the University of Oxford and a Master's in Logic and Philosophy of Science from Catholic University Milan. Previously, he held positions at LMU Munich (Marie Skłodowska-Curie Fellow) and Utrecht University (VENI NWO Fellow).

His research focuses on:

• Formal theories of truth and consequence
• Predicate approaches to modality
• Mathematical explanation and commitment
• Formal approaches to de re modality
• Truth-theoretic deflationism

Nicolai's recent publications (2019-2023) demonstrate a consistent focus on truth theories, logical paradoxes, and mathematical foundations, with significant contributions to non-classical logics, proof theory, and formal semantics. His work frequently explores the intersection of logic and philosophy of mathematics.

Major awards and grants:

• Horizon MSCA Staff Exchanges (Co-investigator, 2023-2027)
• AHRC Starting Grant (Principal Investigator, 2022-2024)
• VENI NWO Individual Fellowship (2017-2020)
• Marie Skłodowska-Curie Fellowship (2016-2017)

He supervises doctoral and master's students in philosophy, logic, and metaphysics. Nicolai leads the AHRC project "Properties, Paradox, and Circularity" and co-leads the Horizon project on substructurality.

He founded the London Group for Formal Philosophy and serves as Associate Editor for Journal of Logic, Language, and Information and Journal for the Philosophy of Mathematics. Nicolai is an external member of Munich Centre for Mathematical Philosophy.