Teorema di correttezza in K
Lug 17[ad#Ret Big] Dall’ultimo post sulle leggi modali minimali abbiamo in qualche modo avuto gratis la dimostrazione del teorema di correttezza in K. Il teorema di correttezza dice che se una formula è dimostrabile allora è vera. In simboli: Se ├ α allora ╞ α Si dimostra per induzione sulla lunghezza della dimostrazione. Il primo passo è supporre che la lunghezza della dimostrazione sia...
Le leggi modali minimali
Lug 03[ad#Ret Big] Rieccoci di nuovo qui a parlare di logica modale. Nell’ultimo post avevamo lasciato in sospeso come mai nei dead end tutte le formule boxate sono vere e tutte quelle ◊-ate sono invece false. La motivazione risiede nel fatto che, come abbiamo detto, i dead end sono mondi che non vedono nessun altro, neanche se stessi, ossia: ¬∃ j∈W (iRj) Di conseguenza della nota...
2.2. Logica modale. Verità di una formula
Giu 05[ad#Ret Big] Dopo aver visto un accenno di semantica ed aver introdotto i concetti di modello e cornice è arrivato il momento di fornire una definizione induttiva di verità o forzatura di una formula. La verità di una formula α in un mondo i di un modello M si legge: α è vera al mondo i in M oppure alternativamente: i forza α (in M) Ovviamente quando è chiaro dal contesto in quale...
2.1. La semantica della logica modale: un bambino di nome Kripke
Mag 22[ad#Ret Big] Cornici e modelli Il 13 Novembre del 1940 nasce Saul Kripke, un bambino dalle abilità decisamente curiose. Maggiore di tre figli nati da Dorothy, scrittrice di libri ebrei educativi per bambini, e Rabbi Myer Kripke, leader della Beth El Synagogue, Kripke è stato da sempre etichettato come un prodigio. Ha imparato da solo l’ebraico antico all’età di sei anni, letto...
1. Gli albori della logica modale moderna: Clarence Lewis e l’amo da pesca
Mag 08[ad#Ret Big] Oggi pubblichiamo il primo articolo di Martina Orlandi, laureanda specialistica in Logica, Filosofia e Storia della Scienza all’Università di Firenze. Martina inizia la sua collaborazione con Filosofia Blog occupandosi di Logica modale. Ringraziandola per il suo contributo, le diamo il benvenuto tra i collaboratori del blog. Quante volte hanno fatto parte dei nostri pensieri,...