*Isaacsonian Syntax*

Fifth New College Logic Meeting, September 20th, 2023.

*Internal and External Theories*

British Logic Colloquium, Bristol, September 10th, 2023.

*Non Well-founded Properties*

British Logic Colloquium, Bristol, September 9th, 2023.

*ESSLI Summer School: Formal Theories of Properties (with Salvatore Florio)*

University of Ljubljana, 31/07-4/08/23.

*Non Well-founded Properties*

Bloomington, Indiana, June 14th, 2023.

*On Internal Theories*

University of Warsaw, May 24th, 2023.

*Comments on "One True Logic", but O. Griffiths and A.C. Paseau*

University College London, January 9, 2023.

*Property Theory and Non-Well-Founded Structures*

University of Konstanz, December 9, 2022.

*Graph Conceptions of Properties*

Philosophy of Mathematics Seminar, Oxford, October 17, 2022.

*Cuts and Truths*

Workshop on Proof and Formalization, Utrecht, September 21, 2022.

*Three Problems in Mathematical Philosophy*

Workshop in Logic and the Philosophy of Mathematics, Pisa, September 16, 2022.

*Logical Frameworks for Acceptance and Commtiment in Mathematics*

Summer School in the Philosophy of Mathematics, Konstanz, September 8, 2022.

*Reflection Principles and Nonclassical Truth*

Understanding Reflection, Munich, LMU, June 21, 2022.

*Modalized T-Schemata,*

X Workshop in Philosophical Logic (BA Logic Group), August 20, 2021.

*Inexhaustibility and Implicit Commitment,*

Celebrating 90 Years of GĂ¶del's Incompleteness Theorems, July 9, 2021.

*A New Look at Cut-Elimination for Compositional Truth,*

Gothenburg Logic Seminar, March 26, 2021.

*Conservativity of Truth via Free-Cut Elimination,*

Epistemic and Semantic Commitment Seminar, Warsaw, February 26, 2021.

*A Theory of Implicit Commitment,*

Konstanz, February 12, 2021.

*Conservativity for Compositional Truth via Free-Cut Elimination,*

Logic Supergroup Talk,

December 11, 2021.

*The Modal Logics of Kripke-Feferman Truth,*

Warsaw Seminar on Semantic and Epistemic Commitment,

December 4, 2020. Slides.

*How to Adopt a Logic,*

CUNY Seminar on The Adoption Problem and the Epistemology of Logic,

November 4, 2020. Slides.

*Epistemic Stability and Committment in Mathematical Theories.*

KCL Staff Seminar, 13/11/2019.

*Paradox and Conceptual Structure II.*

"Seminari della Classe di Lettere e Filosofia", Pisa, Scuola Normale Superiore, June 27, 2019.

*Paradox and Conceptual Structure I.*

"Seminari della Classe di Lettere e Filosofia", Pisa, Scuola Normale Superiore, June 26, 2019.

*The Phonological Conundrum in Formal Theories of Truth and Modalities.*

"The Phonological Conundrum", Jerusalem, Hebrew University, June 5, 2019.

*The least of all evils.*

"Truth and Semantics Kick-Off Workshop", May 3, 2019.

*Fix, Express, Quantify. Disquotation after its logic.*

Bristol Philosophy Seminar, May 2, 2019.

*Semantic closure and the restriction of initial sequents.*

Salzburg, "Axiomatizing Metatheory. Truth, Provability, and beyond", December 7, 2018.

*Proof Theory in Philosophy.*

Ghent, "Summer School in Proof Theory", September 2, 2018.

*On adopting and revising logical principles: can we and should we?*.

Pavia (IUSS), "Epistemology of Logic and Mathematics Seminar", June 12, 2018.

*On the Adoption Problem*.

Utrecht, "TP Colloquium", January 30, 2018.

*The four pillars of deflationism and their logic*.

Salzburg, "New Perspectives on Truth and Deflationism", January 26, 2018.

*Substructural approaches to paradox and the logic of semantic groundedness*.

Tübingen, "Logic Colloquium", December 12, 2017.

*Intensional paradoxes and the maxim of maximal recapture*.

Amsterdam, "DIP Colloquium", November 17, 2017.

*Modalizing Full Disquotation*.

Warsaw, "Workshop on Formal Theories of Truth", September 28, 2017.

*Properties, Instantiation, and Paradox*.

Munich, "The structure of modal and semantic reasoning", 29 June, 2017.

*Abductivism and the standard for logical revision*.

Bologna, "3rd SILFS Meeting", 23 June 2017.

*Conceptual foundations: from semigroups to predicative analysis via reflection*.

Chieti, "Proof-Theory Afternoon", April 11, 2017.

*A unified approach to truth and implication* (with L. Rossi).

Oxford, "Fourth New College Meeting", March 11, 2017.

*What can we learn from reflecting on truth?*

Bristol, "Foundational Studies Seminar", March 8 2017.

*Logical pluralism and abductive methodology: a case from semantics*.

Utrecht, TF-Seminar, March 3 2017.

*Truth has to live up to its task*.

"Non-classical solutions to the paradoxes", Munich, February 27, 2017.

*E-mail*: carlonicolai6@gmail.com; carlo.nicolai@kcl.ac.uk

*Mail*: Department of Philosophy, Room 602 Philosophy Building, Strand Campus, London WC2R 2LS.