Uploaded January 2025 | Updated September 2026, 1 day ago

---

Recorded as part of the CFvW Colloquium on 15 January 2024

Paradigms and research programmes in logic: the case of proof-theoretic semantics -Dr. Antonio Piccolomini d'Aragona (University of Tübingen)

Abstract:
I discuss the idea of a programmatic application to the history of logic of Kuhn' and Lakatos' theories for the reconstruction of the development of science. In particular, I propose a reading in Kuhnian and Lakatosian terms of the opposition betwneen realism and constructivism in logic and the foundations of mathematics. The main claim is that, in contemporary logic, one can identify a Kuhnian realist paradigm given by model theory and set theory and, next to it, a constructivist Lakatosian research programme. Although constructivism is exemplified by a number of theories not always compatible with each other, I will focus on two case-studies: Prawitz's proof-theoretic semantics and Martin-Löf's intuitionistic type theory.

Explore our colloquium schedule on our website: uni-tuebingen.de/en/research/centers-and-institutes/carl-friedrich-von-weizsaecker-center/news-and-events/carl-friedrich-von-weizsaecker-colloquium