Logica modale quantificata e designatori non rigidi
Prezzo
18,00 €
Nessuna tassa
Orlandelli Eurgenio
Studi di epistemologia
Libro in brossura
07 Novembre 2019
174
Nuovo
Le logiche modali quantificate sono estensioni delle logiche modali proposizionali ottenute attraverso l'aggiunta dei quantificatori del primo ordine. Ne risulta un linguaggio in cui sono ammessi enunciati che connettono quantificatori e modalità: è necessario che tutti gli uomini siano mortali; sette è necessariamente maggiore di cinque; qualcuno sa che Espero è Fosforo. I problemi che tali logiche affrontano sono da sempre al centro del dibattito logico-filosofico: gli enunciati di identità sono necessari? I designatori sono rigidi? Gli oggetti possono esistere in più di un mondo possibile? Quale semantica in presenza di designatori non rigidi? Il presente volume affronta la maggior parte di tali problemi presentando tre approcci alle logiche modali quantificate con designatori non rigidi di crescente generalità. Ciascun approccio viene introdotto sia semanticamente, tramite una semantica relazionale, che sintatticamente, tramite calcoli assiomatici. Largo spazio è dedicato alla dimostrazione di risultati di completezza che connettono la presentazione semantica e quella sintattica.
9788866331766
Scheda dati
- Autore
- Orlandelli Eurgenio
- Collana
- Studi di epistemologia
- Formato
- Libro in brossura
- Data pubblicazione
- 07 Novembre 2019
- Pagine
- 174
Riferimenti specifici
- isbn
- 9788866331766
- ean13
- 9788866331766
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