Il volume rintraccia i presupposti ontologici in base ai quali ha senso un discorso sull'ammissibilità o meno della logica del secondo ordine. Viene fornita una trattazione, tecnicamente dettagliata, dei calcoli di ordine superiore e dell'aritmetica di Peano del secondo ordine. Sono poi presi in esame gli interessanti nessi metateorici che emergono dallo studio di questi particolari sistemi formali. La nozione fondamentale è quella di modello inteso dei numeri naturali e cioè di quel particolare sistema di oggetti che rende veri gli assiomi di Peano.
Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine
| Titolo | Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine |
| Autore | Ciro L. De Florio |
| Collana | Epistemologia, 89 |
| Editore | Franco Angeli |
| Formato |
Libro |
| Pagine | 176 |
| Pubblicazione | 2007 |
| ISBN | 9788846485212 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
