Logica modale: differenze tra le versioni

Versione delle 19:40, 23 apr 2021

Versione delle 12:16, 23 ago 2021

Riga 17:

:<math>\Box p \rightarrow p</math>, che è poi l'assioma T di cui si parla nel seguito. La definizione non è valida per le modalità deontiche. Infatti, per l'operatore di necessità, abbiamo due assiomi (vedi sotto), T (più diffuso nei sistemi modali) e D, in cui: la necessità implica la realtà, oppure la sola possibilità di un predicato.

Per l'altro operatore di possibilità, A.[[Alfred Tarski]] definisce possibile tutto ciò che non è auto-contraddittorio, cioè: per cui vale la legge di non-contraddizione e del terzo escluso, in simboli:

:<math>\Diamond p = \lnot p \rightarrow p.</math>

Riga 109:

Le modalità temporali sono utilizzate per esprimere il [[valore di verità]] di una proposizione rispetto al tempo. Si hanno due coppie di operatori duali, una riferita al passato e una al futuro. Per il passato l'operatore <math>\Box</math> è letto come "È sempre stato vero che...", mentre l'operatore <math>\Diamond</math> come "C'è stato un istante in cui è stato vero che...". Per il futuro si avrà invece, rispettivamente, "Sarà sempre vero che..." e "Ci sarà un istante in cui sarà vero che...".

[[Bertrand Russell]], [[William Von Orman Quine]], e John C. Smart proposero un approccio di de-temporalizzazione per ricondurre le proposizioni in modalità temporale al caso della logica classica, che è atemporale. Ogni proposizione temporale, passata o futura, ha una data sottintesa che deve essere esplicitata, dopodiché diventa indipendente dal tempo: atemporale e trattabile quindi con la logica classica, vale a dire omnitemporalmente vera o falsa. Ma non per tutte le proposizioni (si pensi a quelle future che devono ancora accadere) è possibile esplicitare una data ''nota'' che le renda atemporali.

Con l'approccio opposto di temporalizzazione abbiamo il calcolo logico effettuato con l'uso della logica classica e l'aggiunta di nuovi assiomi ed operatori temporali, che possono essere combinati tra loro. Con la temporalizzazione, la logica è polivalente (almeno trivalente, con tre possibili valori di verità), cioè valgono i principi di identità e non-contraddizione, ma non del terzo escluso: quindi, abbiamo valori di verità intermedi fra vero e falso; es. 1 (vero) , 0 (falso) , ½ (indefinito).

Nella più studiata delle logiche multimodali, la logica dei tempi verbali, dovuta a [[Arthur Prior|Arthur N. Prior]] (1951)<ref>PRIOR Arthur Norman, ''Time and modality'', Clarendon Press, Oxford, 1957.</ref>, abbiamo i due operatori di necessità e possibilità cui Prior aggiunge altri quattro operatori per le modalità temporali: gli operatori primitivi sono H e G, da leggere 'sempre in passato' (passato forte) e 'sempre in futuro' (futuro forte), mentre i loro duali sono P e F, ossia 'qualche volta in passato' (o anche 'è stato vero che', passato debole) e 'qualche volta in futuro' (o anche 'sarà vero che', futuro debole). La logica di Prior è un'estensione della logica classica, perché in essa le proposizioni atemporali sono trattate come casi particolari delle proposizioni temporali, sebbene verrebbe più naturale pensare il contrario, cioè che le frasi temporali vere o false in relazione a una singola data siano casi particolari rispetto a frasi vere o false in ogni tempo.

Rescher<ref>Nicholas RESCHER – Alasdair URQUHART, ''Temporal logic'', Springer, Wien, 1971</ref> distingue fra proposizioni cronologicamente indefinite, quasi-proposizioni la cui verità dipende dal tempo dell'asserzione e che contengono pseudo-date ("ieri", "tre minuti fa"); dalle proposizioni cronologicamente definite, la cui verità è indipendente dal tempo e che contengono date. Rescher propone una logica che chiama ''logica topologica'', una logica temporalizzazione, che aggiungo un unico operatore P parametrizzato che trasforma una proposizioni indefinite in proposizione temporale (o meglio le relativizza a un dominio di proposizioni temporali), ma che possono essere più generalmente anche spaziali, situazionali.