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.
- 176 pagine
- Italian
- PDF
- Disponibile su iOS e Android
eBook - PDF
Logica modale quantificata e designatori non rigidi
Informazioni su questo libro
Scelto da 375,005 studenti
Accesso a oltre 1,5 milioni di titoli a un prezzo mensile trasparente.
Studia in modo più efficiente con i nostri strumenti dedicati.
Informazioni
Argomento
Languages & LinguisticsCategoria
Linguistic SemanticsIndice dei contenuti
- Eugenio Orlandelli • Logica modale quantificatae designatori non rigidi
- Indice
- 1 - Introduzione
- 2 - Nozioni preliminari
- 2.1 Logiche modali proposizionali
- 2.2 Logiche del primo ordine
- 3 - Logiche modali quantificate
- 3.1 Sintassi
- 3.2 Semantica
- 3.3 Calcoli assiomatici
- 4 - Teoremi di completezza
- 4.1 Definizioni e lemmi preliminari
- 4.2 Logiche senza la Barcan formula
- 4.3 Logiche con la Barcan formula
- 5 - Logiche modali con operatorelambda
- 5.1 Un linguaggio più espressivo
- 5.2 Sintassi
- 5.3 Semantica
- 5.4 Calcoli assiomatici
- 5.5 Risultati di completezza
- 6 - Logiche modali indiciate
- 6.1 Modalità de dicto e de re
- 6.2 Sintassi
- 6.3 Semantica delle transizioni
- 6.4 Calcoli assiomatici
- 6.5 Corrispondenza
- 6.6 Rigidità
- 6.7 Completezza di Rim.K
- 6.8 Completezza di Qim.K
- 6.9 Completezza di alcune estensioni
- Bibliografia
- Indice analitico
Domande frequenti
Sì, puoi annullare l'abbonamento in qualsiasi momento dalla sezione Abbonamento nelle impostazioni del tuo account sul sito web di Perlego. L'abbonamento rimarrà attivo fino alla fine del periodo di fatturazione in corso. Scopri come annullare l'abbonamento
No, i libri non possono essere scaricati come file esterni, ad esempio in formato PDF, per essere utilizzati al di fuori di Perlego. Tuttavia, puoi scaricarli nell'app Perlego per leggerli offline su smartphone o tablet. Scopri come scaricare libri offline
Perlego offre due piani: Essential e Complete
- Essential è l'ideale per chi studia o per i professionisti che amano esplorare una vasta gamma di argomenti. Accedi all'Essential Library con oltre 800.000 titoli affidabili e bestseller nei settori business, crescita personale e discipline umanistiche. Include tempo di lettura illimitato e voce standard per la funzione Leggi ad alta voce.
- Complete: perfetto per studenti avanzati e ricercatori che necessitano di accesso completo e senza restrizioni. Sblocca oltre 1,5 milioni di libri su centinaia di argomenti, inclusi titoli accademici e specialistici. Il piano Complete offre anche funzionalità avanzate come Leggi ad alta voce Premium e Assistente alla ricerca.
Perlego è un servizio di abbonamento a libri di testo online che ti permette di accedere a un'intera biblioteca digitale a meno del prezzo di un singolo libro al mese. Con oltre 1,5 milioni di libri su più di 990 argomenti, qui trovi tutto ciò che ti serve! Scopri la nostra missione
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Scopri di più sulla funzione di sintesi vocale
Sì! Puoi utilizzare l'app di Perlego su dispositivi iOS e Android per leggere quando e dove vuoi, anche offline. È perfetta per gli spostamenti quotidiani o quando sei in viaggio.
I dispositivi con iOS 13 e Android 7 o versioni precedenti non sono supportati. Scopri di più su come utilizzare l'app
I dispositivi con iOS 13 e Android 7 o versioni precedenti non sono supportati. Scopri di più su come utilizzare l'app
Sì, puoi accedere a Logica modale quantificata e designatori non rigidi di Eugenio Orlandelli in formato PDF e/o ePub, così come ad altri libri molto apprezzati su Languages & Linguistics e Linguistic Semantics. Abbiamo oltre 1,5 milioni di libri disponibili nel nostro catalogo da esplorare.