Propositions are traditionally regarded as performing vital roles in theories of natural language, logic, and cognition. This chapter offers an opinionated survey of recent literature to assess whether they are still needed to perform three linguistic roles: be the meaning of a declarative sentence in a context, be what is designated by certain linguistic expressions, and be the content of illocutionary acts. After considering many of the relevant choice-points, I suggest that there remains a linguistic basis for propositions, but not (...) for some of the traditional reasons. (shrink)

Propositional justification pertains to propositions: it is the sort of justification that a proposition enjoys for an agent when the agent is epistemically justified to believe it. By contrast, doxastic justification is justification of beliefs, i.e., of doxastic states actually instantiated by an agent. The ‘orthodox’ view of the relationship between propositional and doxastic justification is that the latter should be explained in terms of the former, so that an agent’s belief is (doxastically) justified just in case (i) it (...) is a belief in a proposition that is (propositionally) justified for the agent and (ii) it is held on the basis of that which (propositionally) justifies its content. This view has been challenged by John Turri in his paper ‘On the Relationship between Propositional and Doxastic Justification’ (Philosophy and Phenomenological Research, 80, 2010, pp. 312–326). There he offers two putative counterexamples to the orthodoxy and goes on to argue that the order of explanation should be reversed: it is propositional justification that should be explained in terms of doxastic justification, and not vice versa. Though I share Turri’s feeling that there is something amiss with the way a number of contemporary epistemologists talk of propositional and doxastic justification, I do not believe he has managed to put his finger on the real trouble. So the first point I make is that his counterexamples fall short of refuting the orthodox view, which I argue should be maintained. Then I try to diagnose the real source of the trouble. It lies, I suggest, in the way a number of recent epistemologists talk of propositional justification, a way which commits them to the questionable view that the basis upon which facts concerning propositional justification supervene does not include facts concerning the doxastic states of agents, but only facts concerning the evidence to which agents have access. So I observe that there are different degrees of idealisation involved in judgments of ‘propositional justification’, propose to distinguish what an agent is propositionally justified to believe given his overall doxastic state from what an agent is propositionally justified to believe irrespective of his overall doxastic state, and argue that, whenever it is the former relation that is at stake, an agent can be propositionally justified to believe a proposition p at time t only if it is reasonably easy for him to form a doxastically justified belief in p at t. It is most likely an awareness of this fact, or of some fact in the vicinity, that encourages the belief that propositional justification should be explained in terms of doxastic justification. But I suggest that this fact, far from being evidence that the notion of doxastic justification is in any sense more fundamental than that of propositional justification, can be accounted for by paying attention to the relationship that links the relevant sort of (epistemic) justification to (epistemic) responsibility. So I conclude that there is an important sense in which facts concerning epistemic justification supervene not merely on facts concerning the evidential states of agents, but on facts concerning their overall doxastic states. (shrink)

The distinction between propositional and doxastic justification has been of undisputed theoretical importance in a wide range of contemporary epistemological debates. Yet there are a host of intimately related issues that have rarely been discussed in connection with this distinction. For instance, the distinction not only applies to an individual’s beliefs, but also to group beliefs and to various other attitudes that both groups and individuals can take: credence, commitment, suspension, faith, and hope. Moreover, discussions of propositional and doxastic justification (...) have rarely focused on broader meta-epistemological issues, and yet meta-epistemological positions can have important implications for first-order views about this distinction. This volume addresses these and other issues by bringing together 16 essays that advance the state-of-the-art thinking on propositional and doxastic justification and explore how such thinking shapes and is shaped by a range of issues previously neglected in contemporary epistemology. (shrink)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of (...) denying each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

The concept of a proposition is important in several areas of philosophy and central to the philosophy of language. This collection of readings investigates many different philosophical issues concerning the nature of propositions and the ways they have been regarded through the years. Reflecting both the history of the topic and the range of contemporary views, the book includes articles from Bertrand Russell, Gottlob Frege, the Russell-Frege Correspondence, Alonzo Church, David Kaplan, John Perry, Saul Kripke, Hilary Putnam, Mark Richard, (...) Scott Soames, and Nathan Salmon. (shrink)

Using William Shakespeare’s Hamlet and the play-within-the play, The Murder of Gonzago, as a case study, this essay argues that theatrical utterances constitute a special case of language usage not previously elucidated: the utterance of a statement with propositional content in theatre functions as an event. In short, the propositional content of a particular p (e.g. p1, p2, p3 …), whether or not it is true, is only understood—and understood to be true—if p1 is uttered in a particular time, place, (...) and situation (i.e. during a theatrical event); otherwise, the propositional content in those theatrical utterances can either be false or contingently true. (shrink)

To a first approximation, _propositional content_ is whatever _that-clauses_ contribute to what is ascribed in utterances of sentences such as Ralph believes _that Tony Curtis is alive_. Ralph said _that Tony Curtis is alive_. Ralph hopes _that Tony Curtis is alive_. Ralph desires _that Tony Curtis is alive_.

Semantic Minimalists make a proprietary claim to explaining the possibility of utterances sharing content across contexts. Further, they claim that an inability to explain shared content dooms varieties of Contextualism. In what follows, I argue that there are a series of barriers to explaining shared content for the Minimalist, only some of which the Contextualist also faces, including: (i) how the type-identity of utterances is established, (ii) what counts as repetition of type-identical utterances, (iii) how it can be determined whether (...) semantically minimal content has been repeated, and (iv) what the nature of such content is. (shrink)

Peter Hanks defends a new theory about the nature of propositional content, according to which the basic bearers of representational properties are particular mental or spoken actions. He explains the unity of propositions and provides new solutions to a long list of puzzles and problems in philosophy of language.

Trenton Merricks presents an original argument for the existence of propositions, and defends an account of their nature. He draws a variety of controversial conclusions, for instance about supervaluationism, the nature of possible worlds, truths about non-existent entities, and whether and how logical consequence depends on modal facts.

I argue against the orthodox view of the relationship between propositional and doxastic justification. The view under criticism is: if p is propositionally justified for S in virtue of S's having reason R, and S believes p on the basis of R, then S's belief that p is doxastically justified. I then propose and evaluate alternative accounts of the relationship between propositional and doxastic justification, and conclude that we should explain propositional justification in terms of doxastic justification. If correct, this (...) proposal would constitute a significant advance in our understanding of the sources of epistemic justification. (shrink)

Propositions are posited to perform a variety of explanatory roles. One important role is being what is designated by a dedicated linguistic expression like a "that"-clause. In this paper, the case that propositions are needed for such a role is bolstered by defending that there are other expressions dedicated to designating propositions. In particular, it is shown that natural language has anaphors for propositions. Complement "so" and the response markers "yes" and "no" are argued to be such expressions.

Propositional quantifiers are quantifiers binding proposition letters, understood as variables. This Element introduces propositional quantifiers and explains why they are especially interesting in the context of propositional modal logics. It surveys the main results on propositionally quantified modal logics which have been obtained in the literature, presents a number of open questions, and provides examples of applications of such logics to philosophical problems.

This book makes a stimulating contribution to the philosophy of language and philosophy of mind. It begins with a spirited defence of the view that propositions are structured and that propositional structure is 'psychologically real'. The author then develops a subtle view of propositions and attitude ascription. The view is worked out in detail with attention to such topics as the semantics of conversations, iterated attitude ascriptions, and the role of propositions as bearers of truth. Along the way important issues (...) in the philosophy of mind are addressed. Though intended primarily for professional philosophers and graduate students the book will also interest cognitive scientists and linguists. (shrink)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that there (...) is a more informative answer. They say that, at the very least, propositional faith requires propositional belief. More precisely, they say that faith that p requires belief that p or that it must be partly constituted by belief that p. This view is common enough; call it the Common View. I have two main aims in this paper: (i) to exhibit the falsity of the Common View and the paucity of reasons for it, and (ii) to sketch a more accurate and comprehensive account of what propositional faith is. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts of (...) how propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

Propositions are the things we believe, intend, desire, and so on, but discussions are often less precise than they could be and an important driver of this deficiency has been a focus on the objects but a neglect of the attitudinal relations we bear to them. In what follows, we will offer some thoughts on what it means for a proposition to be the object of an attitude and we will argue that an important part of the story lies (...) with the attitude relations rather than the propositions. As we will see there are infinitely many relations we might bear to a proposition, but the propositional attitude relations are special amongst them. Accounting for what makes them special will be an important component in the discussion that follows. We will argue that once one appreciates certain facts about propositional attitude relations, various claims that metaphysicians often make regarding propositions themselves begin to look undermotivated. In fact, many views on the metaphysical nature of propositions come to look like plausible candidates for being that to which our propositional attitudes relate us. As will emerge, we will see that the principle role of propositions in the theory of mind is simply to keep track of how our attitudinal states represent things as being. But, we argue, in order to do this work, very few constraints must be placed on the nature of propositions themselves. In particular, contra much of the recent work on the metaphysics of propositions, they need not represent nor must they be structured. In light of these observations, we conclude by sketching our own favored minimalist view of propositions. (shrink)

This paper argues that attitudinal objects, entities of the sort of John's judgment, John's thought, and John's claim, should play the role of propositions, as the cognitive products of cognitive acts, not the acts themselves.

According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

Some philosophers hold that philosophy is what you do to a problem until it’s clear enough to solve it by doing science. Others hold that if a philosophical problem succumbs to empirical methods, that shows it wasn’t really philosophical to begin with. Either way, the facts seem clear enough: questions first mooted by philosophers are sometimes coopted by people who do experiments. This seems to be happening now to the question: “what are propositional attitudes?” and cognitive psychology is the science (...) of note. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

This book explores how our minds represent things in the world, asking whether these representations necessarily have the structure of propositions about the world. The hope is that this will lead towards a more complete understanding of the puzzle of intentionality -- how it is that our minds make contact with the world.

Propositional quantifiers are added to a propositional modal language with two modal operators. The resulting language is interpreted over so-called products of Kripke frames whose accessibility relations are equivalence relations, letting propositional quantifiers range over the powerset of the set of worlds of the frame. It is first shown that full second-order logic can be recursively embedded in the resulting logic, which entails that the two logics are recursively isomorphic. The embedding is then extended to all sublogics containing the logic (...) of so-called fusions of frames with equivalence relations. This generalizes a result due to Antonelli and Thomason, who construct such an embedding for the logic of such fusions. (shrink)

Propositions are often aligned with truth-conditions. The view is mistaken, since propositions discriminate where truth conditions do not. Propositions are hyperintensional: they are sensitive to necessarily equivalent differences. I investigate an alternative view on which propositions are truthmaker conditions, understood as sets of possible truthmakers. This requires making metaphysical sense of merely possible states of affairs. The theory that emerges illuminates the semantic phenomena of samesaying, subject matter, and aboutness.

The past 50 years have seen an accumulation of evidence suggesting that associative learning depends on high-level cognitive processes that give rise to propositional knowledge. Yet, many learning theorists maintain a belief in a learning mechanism in which links between mental representations are formed automatically. We characterize and highlight the differences between the propositional and link approaches, and review the relevant empirical evidence. We conclude that learning is the consequence of propositional reasoning processes that cooperate with the unconscious processes involved (...) in memory retrieval and perception. We argue that this new conceptual framework allows many of the important recent advances in associative learning research to be retained, but recast in a model that provides a firmer foundation for both immediate application and future research. (shrink)

At least since Russell’s influential discussion in The Principles of Mathematics, many philosophers have held there is a problem that they call the problem of the unity of the proposition. In a recent paper, I argued that there is no single problem that alone deserves the epithet the problem of the unity of the proposition. I there distinguished three problems or questions, each of which had some right to be called a problem regarding the unity of the (...) class='Hi'>proposition; and I showed how the account of propositions formulated in my book The Nature and Structure of Content [2007 Oxford University Press] solves each of these problems. In the present paper, I take up two of these problems/questions yet again. For I want to consider other accounts of propositions and compare their solutions to these problems, or lack thereof, to mine. I argue that my account provides the best solutions to the unity problems. (shrink)

In a 2010 article Turri puts forward some powerful considerations which suggest that Williamson's view of knowledge as the most general factive mental state is false. Turri claims that this view is false since it is false that if S sees that p, then S knows that p. Turri argues that there are cases in which (A) S sees that p but (B) S does not know that p. In response I offer linguistic evidence to suppose that in propositional contexts (...) “see” does not have the sort of meaning (a purely perceptual meaning) which would sustain Turri's claims about the cases he offers (specifically, the (A) verdicts). (shrink)

To understand what non-propositional content is and whether there are any such contents, we first need to know what propositional content is. That issue will be the focus of the first section of this essay. In the second section, with an understanding of propositional content in hand, we will consider representations that fail to have propositional content. In contrast to recent literature, it will be argued that metaphysical considerations concerning what's represented, rather than linguistic considerations, are a more promising way (...) of establishing non-propositional contents. To keep the discussion containable, focus will be on representational mental states, though many of the considerations can be extended to other forms of representation. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

Recent work in philosophy of language has raised significant problems for the traditional theory of propositions, engendering serious skepticism about its general workability. These problems are, I believe, tied to fundamental misconceptions about how the theory should be developed. The goal of this paper is to show how to develop the traditional theory in a way which solves the problems and puts this skepticism to rest. The problems fall into two groups. The first has to do with reductionism, specifically attempts (...) to reduce propositions to extensional entities-either extensional functions or sets. The second group concerns problems of fine grained content-both traditional 'Cicero'/'Tully' puzzles and recent variations on them which confront scientific essentialism. After characterizing the problems, I outline a non-reductionist approach-the algebraic approach-which avoids the problems associated with reductionism. I then go on to show how the theory can incorporate non-Platonic (as well as Platonic) modes of presentation. When these are implemented nondescriptively, they yield the sort of fine-grained distinctions which have been eluding us. The paper closes by applying the theory to a cluster of remaining puzzles, including a pair of new puzzles facing scientific essentialism. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

The dominant account of propositions holds that they are structured entities that have, as constituents, the semantic values of the constituents of the sentences that express them. Since such theories hold that propositions are structured, in some sense, like the sentences that express them, they must provide an answer to what I will call Soames’ Question: “What level, or levels, of sentence structure does semantic information incorporate?”. As it turns out, answering Soames’ Question is no easy task. I argue in (...) this paper that the two most promising ways of answering it, the Logical Form Account and the LF Account, are both unsatisfactory. This result casts doubt on the very idea that propositions are structured. (shrink)

It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dummett 1973) called “ingredient sense” and “assertoric content”.

According to act theories, propositions are structured cognitive act‐types. Act theories appear to make propositions inherently representational and truth‐evaluable, and to provide solutions to familiar problems with alternative theories, including Frege’s and Russell’s problems, and the third‐realm and unity problems. Act theories have critical problems of their own, though: acts as opposed to their objects are not truth evaluable, not structured in the right way, not expressed by sentences, and not the objects of propositional attitudes. I show how identifying propositions (...) with other cognitive event‐types, namely thoughts, has the perceived virtues of act theories without the defects. (shrink)

// tl;dr A Proposition is a Way of Thinking // -/- This chapter is about type-theoretic approaches to propositional content. Type-theoretic approaches to propositional content originate with Hintikka, Stalnaker, and Lewis, and involve treating attitude environments (e.g. "Nate thinks") as universal quantifiers over domains of "doxastic possibilities" -- ways things could be, given what the subject thinks. -/- This chapter introduces and motivates a line of a type-theoretic theorizing about content that is an outgrowth of the recent literature on (...) epistemic modality, according to which contentful thought is broadly "informational" in its nature and import. The general idea here is that an object of thought is not a way *the world* could be, but rather a way *one's perspective* could be (with respect to a relevant representational question). I will spend the middle part of this chapter motivating and developing a version of this strategy that is, I’ll argue, well-suited to explaining clear phenomena concerning the attribution of perspectival attitudes -- in particular, attitudes towards loosely information-sensitive propositions -- with which extant approaches struggle. My overarching goal here will be to motivate a distinctive version of the "informational" approach -- the "Flexible Types" approach, which is based on the theory proposed in Charlow (2020). According to the Flexible Types approach, propositional attitude verbs are quantifiers over sets of possibilities, but a possibility is a type-flexible notion -- sometimes a possible world, sometimes a perspective, sometimes a set of possible worlds, sometimes a set of perspectives. -/- After introducing the Flexible Types approach, this chapter circles back to more traditional concerns for the analysis of propositions as types of possibilities -- Frege's Puzzle and the problem of Logical Omniscience. Here too the Flexible Types approach bears fruit. Although there are certainly significant differences -- I note some in the concluding section -- the gist of this theory is Hinitkkan or Lewisian in spirit (if not quite in letter). We can make progress on addressing the challenges for the analysis of propositional content in terms of types of possibilities, through empirically driven refinement of our notion of what kind of thing a "doxastic possibility" is. (shrink)

The pressure to individuate propositions more finely than intensionally—that is, hyper-intensionally—has two distinct sources. One source is the philosophy of mind: one can believe a proposition without believing an intensionally equivalent proposition. The second source is metaphysics: there are intensionally equivalent propositions, such that one proposition is true in virtue of the other but not vice versa. I focus on what our theory of propositions should look like when it's guided by metaphysical concerns about what is true (...) in virtue of what. In this paper I articulate and defend a metaphysical theory of the individuation of propositions, according to which two propositions are identical just in case they occupy the same nodes in a network of invirtuation relations. Invirtuation is here taken to be a primitive relation of metaphysical explanation exemplified by propositions that, in conjunction with truth, defines the notion of true in virtue of. After formulating the theory, I compare it with a view.. (shrink)