Logica modale: differenze tra le versioni

Versione delle 20:35, 6 ott 2022

Versione delle 12:26, 9 ott 2022

Riga 78:

== Modalità epistemiche ==

{{senza fonte|Il contesto epistemico è caratterizzato dagli operatori di conoscenza, o epistemico (indicato con “K”, dall’inglese “to Know”, conoscere, sapere), e di credenza, o [[Logica doxastica|doxastico]] (indicato con “B”, dall’inglese “to Believe”, credere, essere sicuri, reputare), che nel linguaggio ordinario corrispondono rispettivamente alle espressioni "conosco, so che, p" e "credo che p, sono certo che p, reputo che p".

I due operatori sono condizionati da alcuni principi.