Logica
Prezzo
23,79 €
Tasse incluse
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.
9788835030614
Scheda dati
- Autore
- Galvan Sergio
- Collana
- Saggi
- Formato
- Libro in brossura
- Data pubblicazione
- 03 Dicembre 2014
Riferimenti specifici
- isbn
- 9788835030614
- ean13
- 9788835030614
Nuovo
Leo Elements Font End
Panel Tool
Full Width
Boxed Large
Yes
No
Font Base
Font Heading
Font Slider
Font Senary
Font Septenary
Color Default