seminar: Logical Analysis and the Philosophy of Mathematics

speaker: Andrea Cantini (Dipartimento di Filosofia, Università di Firenze)

abstract: The importance of logical methods in the philosophy of mathematics has been seriously questioned since several years on different grounds. We critically reconsider the issue with the help of sample (recent) results taken from proof theory and its applications. The underlying idea is that formal systems have a methodological and instrumental value, mainly as tools for carrying out systematic thought experiments, and investigating in vitro the interaction among problematic notions and principles.

timetable:
Wed 25 Jan, 11:15 - 12:15, Aula Dini
<< Go back