One of the most interesting puzzles in formalizing belief contexts is the fact that many belief reports can be given both an opaque and a transparent readings. A traditional explanation is that the two readings are related to the failure and success of the principle of substitutivity respectively, and this in turn is explained with the de re/de dicto distinction. We propose an alternative analysis, based on the idea that another agent's beliefs can just be quoted (preserving opacity) or translated into the reporter's language (allowing for transparency). We show that MultiContext systems allow for the formalization of these two phenomena at the same time, thanks to their multi-language feature.

Formalizing Belief Reports -- The Approach and a Case Study

Bouquet, Paolo;Ghidini, Chiara
1998-01-01

Abstract

One of the most interesting puzzles in formalizing belief contexts is the fact that many belief reports can be given both an opaque and a transparent readings. A traditional explanation is that the two readings are related to the failure and success of the principle of substitutivity respectively, and this in turn is explained with the de re/de dicto distinction. We propose an alternative analysis, based on the idea that another agent's beliefs can just be quoted (preserving opacity) or translated into the reporter's language (allowing for transparency). We show that MultiContext systems allow for the formalization of these two phenomena at the same time, thanks to their multi-language feature.
1998
9783540649939
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/11582/32380
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
social impact