Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Ripristinata versione 141442934 di InternetArchiveBot delle 07:49 del 5 ott 2024) (RipristinoRapido Etichetta: Ripristino manuale |
Corretto.”impossibilia nemo tenetur” aggiungendo “ad” all’inizio. Etichette: Modifica visuale Modifica da mobile Modifica da web per mobile |
||
Riga 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à).
| |||