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
Accedi a oltre 1 milione di titoli a un prezzo mensile contenuto.
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 studenti e professionisti che amano esplorare un'ampia gamma di argomenti. Accedi alla libreria Essential, che include oltre 800.000 titoli di comprovata qualità e bestseller in vari settori, tra cui business, crescita personale e discipline umanistiche. Include tempo di lettura illimitato e voce standard per la sintesi vocale.
- Complete: perfetto per studenti e ricercatori esperti che necessitano di un accesso completo e illimitato. Accedi a oltre 1,4 milioni di libri su centinaia di argomenti, inclusi titoli accademici e specialistici. Il piano Complete include anche funzionalità avanzate come la sintesi vocale premium e l'assistente di ricerca.
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 990 categorie, troverai sicuramente ciò che fa per te! 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 nelle sezioni relative a Languages & Linguistics e Linguistic Semantics. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.