Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Collegamenti esterni: aggiunto l'articolo 'Epistemic logic' della Stanford Encyclopedia of Philosophy |
Nessun oggetto della modifica |
||
Riga 1:
{{NN|filosofia|dicembre 2015}}
== Introduzione ==
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. Generalmente la logica modale si occupa dei concetti di ''possibilità'' e ''necessità'', ma può essere utilizzata anche per esprimere l'''obbligo morale'' o la ''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".
| |||