Temi e protagonisti della filosofia

Le leggi modali minimali

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

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...