By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that π is irrational". One is dealing with a holistic form of quantum computational semantics, where entanglement plays a fundamental role; thus, the meaning of a global expression determines the contextual meanings of its parts, but generally not the other way around. The epistemic situations represented in this semantics seem to reflect some characteristic limitations of the real processes of acquiring information. Since knowledge is not generally closed under logical consequence, the unpleasant phenomenon of logical omniscience is here avoided

A quantum computational semantics for epistemic logical operators. Part II: semantics

GIUNTINI, ROBERTO;SERGIOLI, GIUSEPPE
2014-01-01

Abstract

By using the abstract structures investigated in the first Part of this article, we develop a semantics for an epistemic language, which expresses sentences like "Alice knows that Bob does not understand that π is irrational". One is dealing with a holistic form of quantum computational semantics, where entanglement plays a fundamental role; thus, the meaning of a global expression determines the contextual meanings of its parts, but generally not the other way around. The epistemic situations represented in this semantics seem to reflect some characteristic limitations of the real processes of acquiring information. Since knowledge is not generally closed under logical consequence, the unpleasant phenomenon of logical omniscience is here avoided
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11584/59177
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 9
  • ???jsp.display-item.citation.isi??? 5
social impact