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

Consulta il libro - 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
argomento	Scienza e Tecnica Matematica Filosofia della matematica
Collana	Epistemologia, 89
Editore	Franco Angeli
Formato	Libro
Pagine	176
Pubblicazione	2007
ISBN	9788846485212
	Acquistabile con Carta del docente, Carta Cultura Giovani o Carta della Cultura

aggiungi ai desideri

24,00 €

aggiungi ai desideri

Disponibile normalmente in 3/4 giorni

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.