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

LOGICA FORMALE 30: DOPPIA NEGAZIONE

LOGICA FORMALE 30: DOPPIA NEGAZIONE

Giu 27

[ad#Ret Big] “Fear of the dark! … Fear ot the daaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaark!” Ah! Com’è romantico tornare dal concerto degli Iron Maiden e dire “IO C’ERO”! Ah! Mi sento quasi giovane come quei giovani davanti a me, al loro primo concerto, così belli e ancora invincibili! Così giovani che gli ruberei il cuore per un giorno solo per avere ancora un...

LOGICA FORMALE 29: REGOLA DI INTRODUZIONE DELLA NEGAZIONE

LOGICA FORMALE 29: REGOLA DI INTRODUZIONE DELLA NEGAZIONE

Giu 20

[ad#Ret Big] Oggi cercherò di essere formale: salve. Aprite il vostro libro di logica formale alla pagine 284 e non fissate la smagliatura sulle mie calze a rete! Ora ripetete con me: “the conditional is on the table”… La regola di introduzione della negazione “I¬” dice che, assunta una qualsiasi formula “α”, se possiamo derivare da questa una contraddizione, ovvero...

LOGICA FORMALE 28: REGOLA DI ELIMINAZIONE DELLA NEGAZIONE

LOGICA FORMALE 28: REGOLA DI ELIMINAZIONE DELLA NEGAZIONE

Giu 13

[ad#Ret Big] Come avrete visto sono stato costretto per esigenze dettate dal mio personal trainer a deporre il mio compianto nickname e ad assumere il mio tedioso e poco umoristico nome di battesimo. Ora che ho appeso al chiodo la mia calzamaglia color logica classica mi sento meno attraente ma, a detta del mio personal trainer, questo mi farà smaltire almeno tre centimetri di girovita! Anche...

LOGICA FORMALE 27: INTRODUZIONE DELLA DISGIUNZIONE

LOGICA FORMALE 27: INTRODUZIONE DELLA DISGIUNZIONE

Giu 06

[ad#Ret Big] Ben ritrovati al nostro serale appuntamento con la logica formale, se siete giunti qui a tarda ora ponetevi una domanda e datevi una risposta. Se siete giunti qui in prima serata vuol dire che il palinsesto televisivo era qualcosa di di-sgu-sto-so e non c’è da stupirsi. Se siete giunti qui di pomeriggio significa che come me avevate (passato) un contratto a tempo determinato o...

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