Thought: A Journal of Philosophy 4 (4):243-251 (2015)

Soames's cognitive propositions are strings of acts to be performed by an agent, such as predicating a property of an individual. King takes these structured propositions to task for proliferating too easily. King's objection is based on an example that purports to show that three of Soames's propositions are really just one proposition. I translate the informally stated propositions King attributes to Soames into the intensional λ-calculus. It turns out that they are all β-equivalent to the proposition King claims Soames's three propositions are identical to. I argue on philosophical grounds against identifying β-equivalent propositions. The reason is that β-conversion obliterates too many of the procedural distinctions that are central to an act-based theory such as Soames's and which are worth preserving. In fact, β-expansion allows the addition of a fifth proposition that highlights additional procedural distinctions and propositional structure. The welcome conclusion is that we have five procedurally distinct, if equivalent, propositions
Keywords Salmon  Tichy  King  proposition  Soames  transparent intensional logic  lambda‐calculus  beta‐conversion  granularity  procedural semantics
Categories (categorize this paper)
DOI 10.1002/tht3.184
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: 62,268
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

Propositional Content.Peter Hanks - 2015 - Oxford University Press.
Universals.F. P. Ramsey - 1925 - Mind 34 (136):401-417.
Russell’s Notion of Scope.Saul A. Kripke - 2005 - Mind 114 (456):1005-1037.
On Fineness of Grain.Jeffrey C. King - 2013 - Philosophical Studies 163 (3):763-781.

View all 11 references / Add more references

Citations of this work BETA

Problems for Russellian Act-Type Theories.Arvid Båve - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.

Add more citations

Similar books and articles

Propositions and Attitudes.Nathan U. Salmon & Scott Soames (eds.) - 1988 - Oxford University Press.
The Nature and Structure of Content.Jeffrey C. King - 2007 - Oxford University Press.
Propositions: Individuation and Invirtuation.Kris McDaniel - 2015 - Australasian Journal of Philosophy 93 (4):757-768.
The Eternal Existence of True Propositions.Mark Steven Roberts - 1987 - Dissertation, University of Dallas
Structured Propositions and Sentence Structure.Jeffrey King - 1996 - Journal of Philosophical Logic 25 (5):495 - 521.
The Necessary a Posteriori: A Response to Tichý. [REVIEW]Curtis Brown - 1984 - Philosophical Studies 45 (3):379 - 397.
Cutting It (Too) Fine.John Collins - 2014 - Philosophical Studies 169 (2):143-172.
On Fineness of Grain.Jeffrey C. King - 2013 - Philosophical Studies 163 (3):763-781.
Imagination, Truth and Rationality.A. B. Palma - 1983 - Philosophy 58 (223):29 - 38.


Added to PP index

Total views
67 ( #158,193 of 2,444,966 )

Recent downloads (6 months)
9 ( #76,730 of 2,444,966 )

How can I increase my downloads?


My notes