CONOSCENZE
- Inquadrare l’indagine intorno ai fondamenti della matematica e analizzare il progetto di Frege di fondare l’aritmetica sulla logica
- Approfondire le questioni sollevate dal «paradosso» o «antinomia» di Russel e articolare la sua teoria dei tipi
- Definire la distinzione introdotta da Frege in semantica tra senso e significato e sviluppare il principio di composizionalità
- Conoscere i tratti costitutivi dell’«atomismo logico» e la teoria delle descrizioni di Russell
COMPETENZE
- Confrontarsi con testi di logica di elevata complessità
- Saper ricostruire la genesi della filosofia analitica, un nuovo modo di condurre l’analisi filosofica basata sull’analisi del linguaggio
- Identificare un punto nodale dello sviluppo storico del pensiero logico e matematico