[i][c]
Frixione, Marcello & Iaquinto, Samuele & Vignolo, Massimiliano
Introduzione alle logiche modali
Laterza
[Biblioteca di Cultura Moderna 1221]
Bari 2016.05
ISBN: 9788858124567
Cover
#logica
ig01#logica
ig02#logica

Privacy Policy

  [i][c] INDICE:
5Introduzione
10I.Da Frege ai mondi possibili
10      1.1L'eredità di Frege: senso, riferimento e composizionalità del significato
21      1.2Senso e condizioni di verità
27      1.3Intensioni e mondi possibili
33II.Logica modale proposizionale
33      2.1I Mondi possibili e semantica di Kripke
37      2.2Logica modale minimale: il sistema K
43      2.3R riflessiva: il sistema T
45      2.4R riflessiva e transitiva: il sistema S4
47      2.5R riflessiva e simmetrica: il sistema B
48      2.6Se R è un'equivalenza: il sistema S5
52      2.7Conclusioni
53III.Logiche deontiche, temporali e condizionali
53      3.1Introduzione
53      3.2Obbligatorio e permesso: logiche deontiche
59      3.3Mondi possibili e logiche del tempo
66      3.4Condizionali e mondi possibili
77IV.Logiche modali epistemiche
77      4.1Introduzione
78      4.2Logiche del sapere
81      4.3Logiche del credere
83      4.4Logiche multi-modali
85      4.5Logiche del sapere multi-agente
87      4.6Il problema dell'onniscenza logica
91      4.7Concllusioni
92V.Logica modale quantificata del primo ordine
92      5.1Introduzione
93      5.2Il linguaggio della logica modale quantificata del primo ordine
98      5.3La semantica della logica modale
102      5.4Gli assiomi e la formula Barcan (FB)
104      5.5I modelli cn i domini variabili
109      5.6Dai domini variabili ai domini costanti
111      5.7La distinzione de dicto/de re
117VI.L'intelligibilità della logica modale quantificata
117      6.1Introduzione
118      6.2Estensioni e intensioni
122      6.3Regole di inferenza
128      6.4Quine e gli operatori non-estensionali
131      6.5Quine e il numero dei pianeti
137VII.Mondi possibili: semantica e metfisica
137      7.1Introduzione
138      7.2Semantica pura e semmantica dei mondi possibili
143      7.3Il problema dei possibilia
148      7.4Concretismo
154      7.5Astrazionismo
158      7.6Necessitismo
162      7.7Analisi e riduzione delle modalità
170Appendice 1.Logica proposizionale non modale
170      A1.1La sintassi di LP: linguaggio e apparato deduttivo
178Appendice 2.Sistemi assiomatici proposizionali
178      A2.1Logiche modali aletiche
178      A2.2Logiche deontiche
178      A2.3Logiche modali epistemiche
179Appendice 3.Paradossi epistemici
179      A3.1Il paradosso di Fitch
182      A3.2Il paradosso del conoscitore
184Appendice 4.Correttezza e completezza
184      A4.1Correttezza dei sistemi con FB
189      A4.2Completezza dei sistemi con FB
196Approfondimenti bibliografici
197Riferimenti bibliografici
206_

 
 [i][c] CRONOLOGIA:
 
 
1900 1900 2000 2000 1950 2050 Frixione, Marcello ( 1960.0426 - ) https://it.wikipedia.org/wiki/Marcello_Frixione Frixione, Marcello Iaquinto, Samuele ( - ) Iaquinto, Samuele ( - ) http://unimi.academia.edu/SamueleIaquinto Iaquinto, Samuele Vignolo, Massimiliano ( 1972.0202 - ) http://www.dif.unige.it/epi/hp/vignolo/ Vignolo, Massimiliano 1860.0426 4520.0613 2016.05



Generato il giorno: 2020-06-13T14:46:15+02:00 (Unix Time: 1592052375)
Precedente aggiornamento il giorno: 2017.1022
Prima registrazione il giorno: 2016.1106
Aggiornato 10 volte
Dimensione approssimata della pagina: 23400 caratteri (body: 21822)
Versione: 1.0.45

Privacy Policy