Libri di Eurgenio Orlandelli

Bibliografia di Eurgenio Orlandelli: tutti i libri in vendita online

Su Unilibro trovi i libri di Eurgenio Orlandelli in vendita online: scopri la bibliografia dell'autore, le ultime uscite e le offerte disponibili.

Consulta la cronologia dei libri di Eurgenio Orlandelli, scegli il titolo che ti interessa, aggiungilo al carrello e completa l'acquisto in pochi clic.

Logica modale quantificata e designatori non rigidi libro
-5%
LIBRO   9788866331766

Logica modale quantificata e designatori non rigidi Orlandelli Eurgenio   -  Archetipo Libri, 2019  -  Studi Di Epistemologia

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.

€ 18.00 € 17.10
LIBRO   9788849156584

Labelled sequent calculi for indexed modal logics Orlandelli Eurgenio   -  Clueb, 2019  -  Heuresis. Linguaggio, Logica, Scienza

Labelled sequent calculi for indexed modal logics - CLUEB

€ 18.00 € 23.00