I shall conclude with a methodological moral. I have tried to show that there are several fundamentally different kinds of fear. One is a pure propositional attitude, one is partially a bodily state, and one is a relation between a person and a nonpropositional object. Other emotions come in similar varieties, such as hope and happiness, but with significant differences. The state of happiness, for example, does not entail any particular bodily state or feeling. So one lesson is this: it (...) is hard to generalize about “the emotions.” Further detailed, analytical studies of particular emotions are needed before a “general theory of the emotions” can be fruitfully attempted. (shrink)

According to Peacocke, concepts are individuated by their possession conditions, which are specified in terms of conditions in which certain propositions containing those concepts are believed. In support, Peacocke tries to explain what it is for a thought to have a structure and what it is for a belief to have a propositional content. I show that the possession condition theory cannot answer such fundamental questions. Peacocke’s theory founders because concepts are metaphysically fundamental. They individuate the propositions and thoughts containing (...) them, which in turn individuate the propositional attitudes that are relations to those propositions or thoughts. (shrink)

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

The theory that structured propositions are complex act-types has been independently articulated by Peter Hanks and Scott Soames. The present paper argues that the role of the act in such theories is supererogatory, for the individuation conditions of the act-based propositions remain wholly at the level of concepts and their formal combination, features which the traditional structured proposition theorist endorses. Thus, it is shown that the traditional problems for structured propositions are only ameliorable on the act conception by appeal to (...) the very resources of the traditional conception. It is also shown that the act theories have no act-based account of quantification and other operator-involving relations. An elementary account of propositions is sketched, after Fodor, which retains the virtues of the traditional structural conception without falling into ’Platonism’. (shrink)

In this paper, I argue that, when it comes to explaining what can be described as “representational” properties of propositions, Soames’s new conception of propositions—on which the proposition that Seattle is sunny is the act of predicating the property being sunny of Seattle and to entertain that proposition is to perform that act—does not have an advantage over traditional ones.

In recent work, Peter Hanks and Scott Soames argue that propositions are types whose tokens are acts, states, or events. Let’s call this view the type view. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren’t satisfactory. In Section 2, we present the type view. In Section 3, we present one explanation—due to Hanks (2007, (...) 2011) and Soames (2010)—of why propositions have semantic properties. We criticize this first explanation in Section 4. In Section 5, we present another explanation—due to Soames (2104)—of why propositions have semantic properties. We criticize this second explanation in Section 6. (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by Mary] (...) of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

Scott Soames has recently argued that traditional accounts of propositions as n-tuples or sets of objects and properties or functions from worlds to extensions cannot adequately explain how these abstract entities come to represent the world. Soames’ new cognitive theory solves this problem by taking propositions to be derived from agents representing the world to be a certain way. Agents represent the world to be a certain way, for example, when they engage in the cognitive act of predicating, or cognizing, (...) an act that takes place during cognitive events, such as perceiving, believing, judging and asserting. On the cognitive theory, propositions just are act types involving the act of predicating and certain other mental operations. This theory, Soames argues, solves not only the problem of how propositions come to represent but also a number of other difficulties for traditional theories, including the problem of de se propositions and the problems of accounting for how agents are capable of grasping propositions and how they come to stand in the relation of expression to sentences. I argue here that Soames’ particular version of the cognitive theory makes two problematic assumptions about cognitive operations and the contents of proper names. I then briefly examine what can count as evidence for the nature of the constituents of the cognitive operation types that produce propositions and argue that the common nature of cognitive operations and what they operate on ought to be determined empirically in cross-disciplinary work. I conclude by offering a semantics for cognitive act types that accommodates one type of empirical evidence. (shrink)

This is the 1991 (2nd) edition of the 1986 book (MIT Press), considered to be the classic defense of Millianism. The nature of the information content of declarative sentences is a central topic in the philosophy of language. The natural view that a sentence like "John loves Mary" contains information in which two individuals occur as constituents is termed the naive theory, and is one that has been abandoned by most contemporary scholars. This theory was refuted originally by philosopher Gottlob (...) Frege. His argument that the naive theory did not work is termed Frege's puzzle, and his rival account of information content is termed the orthodox theory. In this detailed study, Nathan Salmon defends a version of the naive theory and presents a proposal for its extension that provides a better picture of information content than the orthodox theory gives. He argues that a great deal of what has generally been taken for granted in the philosophy of language over the past few decades is either mistaken or unsupported, and consequently, much current research is focused on the wrong set of questions. Salmon dissolves Frege's puzzle as it is usually formulated and demonstrates how it can be reconstructed and strengthened to yield a more powerful objection to the naive theory. He then defends the naive theory against the new Frege puzzle by presenting an idea that yields both a surprisingly rich and powerful extension of the naive theory and a better picture of information content than that of the original orthodox theory. Nathan Salmon is Professor of Philosophy, University of California at Santa Barbara. (shrink)

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (shrink)

This chapter is devoted to criticisms of the views of propositions defended by my co-authors, Jeff King and Scott Soames. The focus is on criticism of their attempts to explain the representational properties of propositions. The criticisms are varied, but one theme is a tension between their view that our actions can explain the representational properties of propositions and their commitment to the idea that propositions have their representational properties essentially.

Recently, there’s been a lot of interest in a research program that tries to understand propositional representation in terms of the subject’s performance of sub-propositional mental acts like reference and predication (e. g. Burge 2010, Hanks 2015, Soames 2010, 2015). For example, on one version of the view, for a subject to predicate the property of being a composer of Arvo just is what it is to perform the to the basic propositional act of judging that Arvo is a composer (...) (e. g. Hanks 2015). In this paper I first present my own version of this view and contrast it with alternatives. I then argue that we must clearly separate the thin predication-resultant notion of judging (S(emantic)-judgment) from a much richer notion used in epistemology (E(pistemic)-judgment). The former is just the act of thinking a forceful thought. The latter is the act of making up one’s mind about how things are, a way of concluding theoretical or doxastic deliberation. I argue that these two acts differ in three ways: levels of propositional attitude, objective vs. subjective norms, and the possibility of sub-personal occurrence. (shrink)

This paper argues for the philosophical and semantic importance of attitudinal objects, entities such as judgments, claims, beliefs, demands, and desires, as an ontological category distinct from that of events and states and from that of propositions. The paper presents significant revisions and refinements of the notion of an attitudinal object as it was developed in my previous work.

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

Peter Hanks and Scott Soames have recently developed similar views of propositional attitudes on which they consist at least partly of being disposed to perform mental acts. Both think that to believe a proposition is at least partly to be disposed to perform the primitive propositional act: one the performance of which is part of the performance of any other propositional act. However, they differ over whether the primitive act is the forceless entertaining or the forceful judging. In this paper (...) I argue that Soames’s “forceless” approach has an advantage over Hanks’s “forceful” approach which faces a serious problem. (shrink)

Several philosophers have recently appealed to predication in developing their theories of cognitive representation and propositions. One central point of difference between them is whether they take predication to be forceful or neutral and whether they take the most basic cognitive representational act to be judging or entertaining. Both views are supported by powerful reasons and both face problems. Many think that predication must be forceful if it is to explain representation. However, the standard ways of implementing the idea give (...) rise to the Frege-Geach problem. Others think that predication must be neutral, if we’re to avoid the Frege-Geach problem. However, it looks like nothing neutral can explain representation. In this paper I present a third view, one which respects the powerful reasons while avoiding the problems. On this view predication is forceful and can thus explain representation, but the idea is implemented in a novel way, avoiding the Frege-Geach problem. The key is to make sense of the notion of grasping a proposition as an objectual act where the object is a proposition. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject. The treatment of ordinal numbers has been strengthened and much simplified, especially in the theory of transfinite recursions, by adding an axiom and reworking the proofs. Infinite cardinals are treated anew in clearer and fuller terms than before. Improvements have been made all through the book; in various instances a proof has been shortened, a theorem strengthened, a space-saving (...) lemma inserted, an obscurity clarified, an error corrected, a historical omission supplied, or a new event noted. (shrink)

Theories of propositions as complex acts, of the sort recently defended by Peter Hanks and Scott Soames, make room for the existence of distinct propositions which nonetheless represent the same objects as having the same properties and standing in the same relations. This theoretical virtue is due to the claim that the complex acts with which propositions are identified can include particular ways of cognizing, or referring to, objects and properties. I raise two questions about this sort of view—one about (...) what it means to stand in a propositional attitude relation to a complex act of this sort, and one about which ways of cognizing can be parts of propositions. Both questions turn out to be difficult for the complex act theorist to answer in a satisfactory way. (shrink)

In this book, Scott Soames argues that the revolution in the study of language and mind that has taken place since the late nineteenth century must be rethought. The central insight in the reigning tradition is that propositions are representational. To know the meaning of a sentence or the content of a belief requires knowing which things it represents as being which ways, and therefore knowing what the world must be like if it is to conform to how the sentence (...) or belief represents it. These are truth conditions of the sentence or belief. But meanings and representational contents are not truth conditions, and there is more to propositions than representational content. In addition to imposing conditions the world must satisfy if it is to be true, a proposition may also impose conditions on minds that entertain it. The study of mind and language cannot advance further without a conception of propositions that allows them to have contents of both of these sorts. Soames provides it. He does so by arguing that propositions are repeatable, purely representational cognitive acts or operations that represent the world as being a certain way, while requiring minds that perform them to satisfy certain cognitive conditions. Because they have these two types of content—one facing the world and one facing the mind—pairs of propositions can be representationally identical but cognitively distinct. Using this breakthrough, Soames offers new solutions to several of the most perplexing problems in the philosophy of language and mind. (shrink)

The paper reviews the central components of the cognitive theory of propositions and explains both its empirical advantages for theories of language and mind and its foundational metaphysical and epistemological advantages over other theories. It then answers a leading objection to the theory, before closing by raising the issue of how questions, which are the contents of interrogative sentences, and directives, which are the contents of imperative sentences, are related to propositions.

In the 1960s, Peter Geach and John Searle independently posed an important objection to the wide class of 'noncognitivist' metaethical views that had at that time been dominant and widely defended for a quarter of a century. The problems raised by that objection have come to be known in the literature as the Frege-Geach Problem, because of Geach's attribution of the objection to Frege's distinction between content and assertoric force, and the problem has since occupied a great deal of the (...) attention both of defenders of broadly noncognitivist views, and of their critics. In this article I explain Geach and Searle's historical objections, and put the subsequent discussion into dialectical context, paying some attention to the developments along the way and how they have enhanced our overall understanding of the problem. The article covers a lot of territory, so we will only be able to see the highlights, along the way. For further reading, see the Works Cited. (shrink)

(2013). What are Propositions? Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 702-719.

Peter Hanks and Scott Soames both defend pragmatic solutions to the problem of the unity of the proposition. According to them, what ties together Tim and baldness in the singular proposition expressed by ‘Tim is bald’ is an act of the speaker : the act of predicating baldness of Tim. But Soames construes that act as force neutral and noncommittal while, for Hanks, it is inherently assertive and committal. Hanks answers the Frege–Geach challenge by arguing that, in complex sentences, the (...) force inherent in the content of an embedded sentence is cancelled. Indrek Reiland has recently objected to Hanks’s proposal that it faces a dilemma: either force cancellation dissolves the unity of the proposition secured by the cancelled act of assertion, or Hanks’s proposal reduces to Soames’s. In this paper, I respond to Reiland by offering an analysis of force cancellation which gets rid of the alleged dilemma. The proposal is based on a set of distinctions from speech act theory : between two senses of ’force’, two types of act, and two types of context. The role of simulation in force cancellation is emphasized, and connections drawn to broader issues such as the evolution of complex language. (shrink)

This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Structured propositions are often invoked to explain why intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. As the semantics is standardly developed—for example, in Salmon, Soames :47–87, 1987) and King :516–535, 1995), the semantic value of a complex expression is an ordered complex consisting of the semantic values of its components. Such views, however, trivialize semantic composition since they do not allow for independent constraints on the meaning of complexes. Trivializing semantic composition risks “trivializing semantics” Semantics versus (...) pragmatics, Oxford University Press, Oxford, 2005). Yet, proponents of structured propositions suggest a route to reimpose substantive compositionality. While the mapping from a sentence to the structured proposition it expresses is trivially compositional, there is a non-trivial mapping from the structured proposition to its truth-value. This non-trivial level of semantic composition allows the meanings assigned to complex expressions to impose substantive constraints on the meanings of the simple ones. I first articulate the basic desiderata: an account of structured propositions capable of explaining attitude attributions and of delivering a non-trivially compositional semantics. I then show that the two-stage semantics proposed by standard proponents of structured propositions does not satisfy these joint goals. (shrink)

Jeffrey King argues that nothing has truth conditions except by being taken to be true or false by rational agents. But – for good reason – King claims that propositions possess truth conditions essentially and intrinsically. I will argue that King cannot have both: if the truth conditions of a proposition depend on the reactions of rational agents, then the possession of truth conditions can't follow from the intrinsic nature or existence of the proposition. This leaves two options. Either, nothing (...) can do the job that motivates positing propositions. Or, there is no need to explain what bestows a truth condition on a proposition. (shrink)

This is the first part of a two-part article on semantic compositionality, that is, the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. Here we provide a brief historical background, a formal framework for syntax and semantics, precise definitions, and a survey of variants of compositionality. Stronger and weaker forms are distinguished, as well as generalized forms that cover extra-linguistic context dependence as well as linguistic (...) context dependence. In the second article, we survey arguments for and arguments against the claim that natural languages are compositional, and consider some problem cases. It will be referred to as Part II. (shrink)

The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...) no privileged mapping from structured objects to truth-conditions, and hence structured objects do not have truth-conditions intrinsically. Therefore, propositions are not structured objects. (shrink)

(2013). Two aspects of propositional unity. Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 518-533.

Jeffrey King, Scott Soames, and others have recently challenged the familiar identification of a Russellian proposition, such as the proposition that Brutus stabbed Caesar, with an ordered sequence constructed out of objects, properties, and relations. There is, as they point out, a surplus of candidate sequences available that are each equally serviceable. If so, any choice among these candidates will be arbitrary. In this paper, I show that, unless a controversial assumption is made regarding the nature of nonsymmetrical relations, none (...) of the proffered candidate sequences are in fact adequate to the play the role. Moreover, as I argue, the most promising alternative theory of relations—one that avoids the problematic assumption and, in addition, fits most naturally into the sequentialist’s framework—fails to meet a basic requirement: it cannot distinguish between the proposition that Brutus stabbed Caesar and the proposition that Caesar stabbed Brutus. The upshot is that the conspicuously structured entities that are widely assumed to be up to the task of “playing the proposition role” shed no light on the very structure they are invoked to represent. (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.