Libri di Sergio Galvan
Bibliografia di Sergio Galvan: tutti i libri in vendita online pubblicati nella collana Saggi
Prossime uscite della collana Saggi
Libri previsti in uscita su Unilibro.it:
- 9791281608733 La cucina delle case di piacere. Ricette necessarie per luoghi di peccato
- 9791281608078 Dialogo sulla cucina italiana
- 9791280540676 Benvenuti in un mondo di m**da
- 9791259972934 San Francesco poeta
- 9791259971715 L'ultimo ad amare la vita. Giovanni Comisso e il viaggio
- 9791259970794 Scuola sotto inchiesta
- 9788898651726 Tra genitori e figli. Con DVD
- 9788894911763 L'originale assente. Introduzione allo studio della tradizione classica
- 9788888891798 La cultura di destra non esiste. Nuova ediz.
- 9788869506604 Ribelli. Insieme oltre la mediocrità
Logica Galvan Sergio - La Scuola Sei, 2012 - Saggi
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.