ricerca
avanzata

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

di De Florio Ciro L. edito da Franco Angeli, 2007

Informazioni bibliografiche del Libro

 

Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine: 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.
The ontological assumptions under which tracks volume sense a discourse on the admissibility or otherwise of the second-order logic. Provides a technically detailed, higher-order calculations, and second-order Peano arithmetic. They then examined the interesting links that emerge from the study of these particular metatheoretical formal systems. The fundamental notion is that of intended model of natural numbers that is of that particular system of objects that makes real the Peano Axioms.

 Recensioni Scrivi la tua recensione del libro "Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine"

Potrebbero interessarti anche questi prodotti

-5%

La natura degli oggetti matematici. Alla luce del pensiero di Husserl libro di Israel Giorgio
La natura degli oggetti matematici. Alla luce del pensiero di Husserl
libro di Israel Giorgio 
edizioni Marietti 1820 collana I rombi
disponibilità immediata
€ 12.00
€ 11.40

 Recensioni Scrivi la tua recensione del libro "Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine"