Logica modale quantificata e designatori non rigidi
eBook - PDF

Logica modale quantificata e designatori non rigidi

  1. 176 pagine
  2. Italian
  3. PDF
  4. Disponibile su iOS e Android
eBook - PDF

Logica modale quantificata e designatori non rigidi

Informazioni su questo libro

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.

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

Editore
ArchetipoLibri
Anno
2019
eBook ISBN
9788849140187
Argomento
Lingue e linguistica
Categoria
Semantica linguistica

Indice dei contenuti

  1. Eugenio Orlandelli • Logica modale quantificatae designatori non rigidi
  2. Indice
  3. 1 - Introduzione
  4. 2 - Nozioni preliminari
  5. 2.1 Logiche modali proposizionali
  6. 2.2 Logiche del primo ordine
  7. 3 - Logiche modali quantificate
  8. 3.1 Sintassi
  9. 3.2 Semantica
  10. 3.3 Calcoli assiomatici
  11. 4 - Teoremi di completezza
  12. 4.1 Definizioni e lemmi preliminari
  13. 4.2 Logiche senza la Barcan formula
  14. 4.3 Logiche con la Barcan formula
  15. 5 - Logiche modali con operatorelambda
  16. 5.1 Un linguaggio più espressivo
  17. 5.2 Sintassi
  18. 5.3 Semantica
  19. 5.4 Calcoli assiomatici
  20. 5.5 Risultati di completezza
  21. 6 - Logiche modali indiciate
  22. 6.1 Modalità de dicto e de re
  23. 6.2 Sintassi
  24. 6.3 Semantica delle transizioni
  25. 6.4 Calcoli assiomatici
  26. 6.5 Corrispondenza
  27. 6.6 Rigidità
  28. 6.7 Completezza di Rim.K
  29. 6.8 Completezza di Qim.K
  30. 6.9 Completezza di alcune estensioni
  31. Bibliografia
  32. 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.
Entrambi i piani sono disponibili con cicli di fatturazione mensili, semestrali o annuali.
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
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 Lingue e linguistica e Semantica linguistica. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.