Logica modale: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
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]], [[
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).
|