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

di Ciro L. De Florio, De Florio Ciro L. | Franco Angeli 2007

Attualmente non disponibile

A partire da

19,00 €

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.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 6 giugno 2007
  • 176 p.
  • ITA
  • 9788846485212

Ti potrebbe interessare anche

Librerie di Roma | Categoricità e modelli intesi. Temi di filosofia dell'aritmetica del secondo ordine
logo regione