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

Abstract
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.
Keywords Belief reports  Constructive type theory  Hyperintensionality  Proof-theoretic semantics  Propositional attitudes  Type-theoretical semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11229-014-0540-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 60,920
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Puzzle About Belief.Saul A. Kripke - 1979 - In A. Margalit (ed.), Meaning and Use. Reidel. pp. 239--83.
Basic Proof Theory.A. S. Troelstra - 2000 - Cambridge University Press.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.

View all 25 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Constructivity and Relational Belief.D. E. Over - 1983 - Journal of Semantics 2 (1):41-62.
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.

Analytics

Added to PP index
2014-09-23

Total views
48 ( #217,026 of 2,439,128 )

Recent downloads (6 months)
1 ( #434,440 of 2,439,128 )

How can I increase my downloads?

Downloads

My notes