ricerca
avanzata
  • Help & Faq
  • Accedi/Login

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"

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