CATEGORICITA' E MODELLI INTESI

19,00 €
AGGIUNGI AL CARRELLO
TRAMA
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.

ALTRE INFORMAZIONI
  • Condizione: Nuovo
  • ISBN: 9788846485212
  • Collana: EPISTEMOLOGIA - DIRETTA DA EVANDRO AGAZZI
  • Formato: Brossura
  • Pagine Arabe: 176