Logica

di Sergio Galvan, Galvan Sergio | La Scuola SEI 2012

Attualmente non disponibile

A partire da

19,50 €

Descrizione

Il volume si articola in cinque capitoli. Il primo contiene una introduzione al linguaggio formale, che può essere oggetto a sé stante di un corso di avviamento alla logica. Nel capitolo si presenta una panoramica generale dei linguaggi formali, comprensiva anche dei linguaggi intensionali (modale deontico, epistemico e intenzionale) che non sono tema specifico di approfondimento tecnico nei capitoli successivi. Questo capitolo è principalmente rivolto agli studenti interessati all'utilizzo della logica nell'ambito filosofico. Il secondo e il terzo capitolo presentano la sintassi e la semantica del calcolo dei predicati del primo ordine. Nel terzo capitolo, dedicato alla semantica della logica dei predicati, sono dimostrati in dettaglio i teoremi di correttezza e di completezza secondo lo stile di Henkin. Il quarto capitolo introduce l'idea di teoria del primo ordine. Infine l'ultimo capitolo è dedicato ad un esame delle principali proprietà metateoriche delle teorie.

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Sergio Galvan, Galvan Sergio
  • La Scuola SEI
  • Saggi
  • 2012
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 10 luglio 2012
  • 320 p.
  • ITA
  • 9788835030614

Ti potrebbe interessare anche

Librerie di Roma | Logica