Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine

Riferimento: 9788846485212

Editore: Franco Angeli
Autore: De Florio Ciro L.
Collana: Epistemologia
In commercio dal: 06 Giugno 2007
Pagine: 176 p., Libro in brossura
EAN: 9788846485212
24,00 €
Quantità
Disp. in 3/4 gg lavorativi

E-Book non acquistabile

Descrizione

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.