Constructive belief reports

Synthese 192 (3):603-633 (2015)
  Copy   BIBTEX


The paper develops a proof-theoretic semantics for belief reports by extending the constructive type-theoretical formalism presented in Więckowski with a specific kind of set-forming operator suited for the representation of belief attitudes. The extended formalism allows us to interpret constructions which involve, e.g., iteration of belief, quantifying into belief contexts, and anaphora in belief reports. Moreover, constructive solutions to canonical instances of the problem of hyperintensionality are suggested. The paper includes a discussion of Ranta’s constructive account of belief reports.



    Upload a copy of this work     Papers currently archived: 74,389

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Belief in Discourse Representation Theory.Nicholas Asher - 1986 - Journal of Philosophical Logic 15 (2):127 - 189.
Syntactic Calculus with Dependent Types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Do Belief Reports Report Beliefs?Kent Bach - 1997 - Pacific Philosophical Quarterly 78 (3):215-241.
De Re and de Se in Quantified Belief Reports.Emar Maier - 2005 - In Sylvia Blaho, Luis Vicente & Erik Schoorlemmer (eds.), Proceedings of Console Xiii. pp. 211-29.
The Strength of Some Martin-Löf Type Theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
A Type Reduction From Proof-Conditional to Dynamic Semantics.Tim Fernando - 2001 - Journal of Philosophical Logic 30 (2):121-153.
A Pragmatic Solution to Ostertag’s Puzzle.Philip Atkins - 2013 - Philosophical Studies 163 (2):359-365.


Added to PP

49 (#236,936)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?