Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
fix |
m smistamento lavoro sporco |
||
Riga 1:
{{NN|filosofia|arg2=matematica|dicembre 2015}}
Nell'ambito della [[logica formale]], si indica come '''logica modale''' una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa. Storicamente, gli studi di logica modale sono iniziati con i concetti di ''possibilità'' e ''necessità''<ref name=":0" />. Tuttavia, la logica modale contemporanea si occupa di numerosi altri concetti, come quello di ''obbligo morale'' o come quelli di ''credenza''. Esempi di proposizioni modali sono, quindi, "È possibile che piova" o "È necessario che Socrate sia mortale o non mortale", ma anche "È doveroso andare a votare" o "Socrate crede che piova".
| |||