Logica Lm A 2024/2025

La figura del matematico e filosofo olandese Luitzen Egbertus Jan Brouwer risulta assolutamente centrale nel dibattito sui fondamenti della matematica dall’inizio del secolo scorso fino a oggi. In particolare, a Brouwer viene riconosciuto il ruolo di fondatore della scuola intuizionista in filosofia della matematica. Il nucleo centrale dell’intuizionismo si articola attorno al rifiuto di due principi cardine del ragionamento matematico classico: il principio del terzo escluso --  secondo il quale ogni enunciato matematico deve essere necessariamente vero o falso indipendentemente dalle sue possibili dimostrazioni -- e l’uso dell’infinito attuale nelle dimostrazioni matematiche. Durante il corso ci occuperemo di esporre la filosofia della matematica di Brouwer nelle sue linee fondamentali, anche con l’aiuto di esempi tratti dalla pratica matematica. Da un punto di vista più formale, considereremo inoltre il frammento proposizionale della deduzione naturale intuizionista e ne studieremo gli aspetti sintattici e semantici.

• R. Zach. Boxes and Diamonds. The Open Logic Project. (Seconda parte)
• L. Brouwer. Lezioni sull'intuizionismo. Boringhieri, 1983. (Prima lezione)
• A. Heyting. Disputa. Scritto pubblicato nell'antologia "La filosofia della matematica del 900" curata da E. Casari e edita da Sansoni.