Logica modale: differenze tra le versioni

Versione delle 02:34, 13 gen 2025

Versione attuale delle 18:45, 8 ago 2025

(5 versioni intermedie di 5 utenti non mostrate)

Riga 10:

Lo studio delle logiche modali trova applicazione in [[filosofia]], nell'investigazione dei fondamenti della [[matematica]], in [[informatica]] e nelle [[scienze cognitive]].

Sì può aggiungere un concetto di pienezza.

(95%) P implica (95%) q

Quindi P implica (90,25%) q

Allora P implica possibilmente q

P può non implicare q ma nella maggior parte dei casi questo avviene.

Cose che nel caso possiamo affermare avvenga quotidianamente.

Se la condizione è piena avviene altrimenti si chiami la probabilità.

== Definizione degli operatori ==

Riga 134 ⟶ 120:

Nella più studiata delle logiche multimodali, la logica dei tempi verbali, dovuta a [[Arthur Prior|Arthur N. Prior]] (1951)<ref>[[Arthur Norman Prior]], ''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&nbsp;–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.

== Modalità deontiche ==

Riga 143 ⟶ 129:

In tutti i sistemi deontici (assiologici, morali, legali), non vale l'assioma '''T''' (<math>\Box p \Rightarrow p</math>), sostituito dall'assioma '''D''': <math>\Box p \Rightarrow \Diamond p</math>.

L'assioma '''D''' ha l'importante funzione di garantire l'incontraddittorietà normativa, cioè il fatto che se è obbligatoria una certa proposizione p non può contemporaneamente esserlo anche la sua negazione ¬p (''ad'' ''impossibilia nemo tenetur'').

Gli assiomi '''T''' e '''D''' pongono un diverso rapporto fra il mondo originario (di solito quello attuale) e la parte degli altri mondi possibili con cui il mondo originario è in relazione e che quindi da esso sono accessibili. Mentre l'assioma '''T''' (la necessità implica la realtà) mette il mondo originante le relazioni sullo stesso piano degli altri perché sottoposto alle medesime necessitazioni (le leggi fisiche valgono anche nel mondo attuale), ciò non vale per l'assioma '''D''' (nel mondo originante la necessità deontica implica la possibilità).