Logica modale: differenze tra le versioni

Versione delle 11:08, 12 ago 2019

Versione delle 11:10, 12 ago 2019

Riga 50:

Poiché gli operatori modali non sono vero-funzionali, è emersa la necessità di un loro sviluppo sintattico.

Come afferma [[Lorenzo Magnani]], nell'ambito della ''computer science'', ad esempio, ha insegnato alle macchine come imitare ragionamenti umani molto complessi<ref>[http://www.filosofiaraiscuola.rai.it/articolilezione-embed/magnani-logica-e-possibilit%C3%A0/189604298/default.aspx/ Filosofia.rai.it/ ''Magnani: logica e possibilità'']</ref>, ad esempio con la [[bisimulazione]], cioè modelli di Kripke che usano un [[Sistema a transizione di stati]] al posto dei mondi possibili, per decidere la correttezza e la terminazione con successo di un programma informatico<ref>[https://plato.stanford.edu/entries/logic-modal/#DeoLog James Garson, ''Modal Logic''], su ''Stanford Encyclopedia of Philosophy'', First published Tue Feb 29, 2000; substantive revision Tue May 27, 2014</ref>.

== Modalità aletiche ==