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.

I articulate and defend a necessary and sufficient condition for predication. The condition is that a term or term-occurrence stands in the relation of ascription to its designatum, ascription being a fundamental semantic relation that differs from reference. This view has dramatically different semantic consequences from its alternatives. After outlining the alternatives, I draw out these consequences and show how they favour the ascription view. I then develop the view and elicit a number of its virtues.

This paper outlines a semantic account of attitude reports and deontic modals based on cognitive and illocutionary products, mental states, and modal products, as opposed to the notion of an abstract proposition or a cognitive act.

It is a common view among philosophers of language that both propositions and sentences are structured objects. One obvious question to ask about such a view is whether there is any interesting connection between these two sorts of structure. The author identifies two theses about this relationship. Identity (ID) – the structure of a sentence and the proposition it expresses are identical. Determinism (DET) – the structure of a sentence determines the structure of the proposition it expresses. After noting that (...) ID entails DET, the author argues against DET (and therefore also against ID). This argument is based on considerations to do with unarticulated constituents, but it is not ultimately empirical. As well as answering a question suggested by contemporary theories of propositions, the conclusion is significant because some, but not all, of the theories of propositions currently popular entail ID and/or DET. Unless there is a response to the argument here, those theories are refuted. (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 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.

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)

Contemporary philosophy of mind tends to theorize about the propositional attitudes primarily in terms of belief and desire. But there is a propositional attitude, sometimes called ‘entertaining,’ that seems to resist analysis in terms of belief and desire, and has been thought at other times and places (notably, in late nineteenth-century Austrian philosophy) to be more fundamental than belief and desire. Whether or not we accept the fundamentality of entertaining, it certainly seems to be an attitude ill understood in contemporary (...) philosophy of mind. The purpose of this paper is to make first steps – very first steps – toward a more mature understanding of entertaining. (shrink)

The problem of the unity of the proposition asks what binds together the constituents of a proposition into a fully formed proposition that provides truth conditions for the assertoric sentence that expresses it, rather than merely a set of objects. Hanks’ solution is to reject the traditional distinction between content and force. If his theory is successful, then there is a plausible extension of it that readily solves the Frege–Geach problem for normative propositions. Unfortunately Hanks’ theory isn’t successful, but it (...) does point to significant connections between expressivism, unity, and embedding. (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)

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.

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)

Wayne Davis presents a highly original approach to the foundations of semantics, showing how the so-called "expression" theory of meaning can handle names and other problematic cases of nondescriptive meaning. The fact that thoughts have parts ("ideas" or "concepts") is fundamental: Davis argues that like other unstructured words, names mean what they do because they are conventionally used to express atomic or basic ideas. In the process he shows that many pillars of contemporary philosophical semantics, from twin earth arguments to (...) the necessity of identity, are unfounded. (shrink)

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)

How come we can represent Bigfoot even though Bigfoot does not exist, given that representing something involves bearing a relation to it and we cannot bear relations to what does not exist? This is the problem of intentional inexistence. This paper develops a two-step solution to this problem, involving an adverbial account of conscious representation, or phenomenal intentionality, and the thesis that all representation derives from conscious representation. The solution is correspondingly two-part: we can consciously represent Bigfoot because consciously representing (...) Bigfoot does not involve bearing a relation to Bigfoot, but rather instantiating a certain non-relational property of representing Bigfoot-wise; and we can non-consciously represent Bigfoot because non-consciously representing Bigfoot does not involve bearing a relation to Bigfoot, but rather bearing a relation to conscious representations of Bigfoot. (shrink)

Preface 1 Introduction: The Persistence of the Attitudes 2 Individualism and Supervenience 3 Meaning Holism 4 Meaning and the World Order Epilogue Creation Myth Appendix Why There Still Has to be a Language of Thought Notes References Author Index.

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.

I discuss and defend two arguments against semantic theories which wish to avoid commitment to propositions. The first holds that on the most plausible semantics of a class of natural language sentences, the truth of sentences in that class requires the existence of propositions; and some sentences in that class are true. The second holds that, on the best understanding of the form of a semantic theory, the truth of a semantic theory itself entails the existence of propositions. Much of (...) the discussion engages Davidsonian alternatives to a propositionalist semantic theory. (shrink)

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 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)

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)

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.

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)

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)

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)

Published in 1903, this book was the first comprehensive treatise on the logical foundations of mathematics written in English. It sets forth, as far as possible without mathematical and logical symbolism, the grounds in favour of the view that mathematics and logic are identical. It proposes simply that what is commonly called mathematics are merely later deductions from logical premises. It provided the thesis for which _Principia Mathematica_ provided the detailed proof, and introduced the work of Frege to a wider (...) audience. In addition to the new introduction by John Slater, this edition contains Russell's introduction to the 1937 edition in which he defends his position against his formalist and intuitionist critics. (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)

In this paper, I argue that Scott Soames’ theory of naturalized cognitive propositions faces a serious objection: there are true propositions for which NCP cannot account. More carefully, NCP cannot account for certain truths of mathematics unless it is possible for there to be an infinite intellect. For those who reject the possibility of an infinite intellect, this constitutes a reductio of NCP.

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)

The problem, or cluster of problems, of the unity of the proposition, along with the cluster of problems that tend to go under the name of Bradley’s regress, has recently again become a going concern for philosophers, after having for some time been regarded as primarily of historical interest. In this paper, I distinguish between the different problems that tend to be brought up under the heading of the unity of the proposition, and between different related regress arguments. I present (...) my favored solutions to these problems. (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 this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

The most common account of attitude reports is the relational analysis according towhich an attitude verb taking that-clause complements expresses a two-placerelation between agents and propositions and the that-clause acts as an expressionwhose function is to provide the propositional argument. I will argue that a closerexamination of a broader range of linguistic facts raises serious problems for thisanalysis and instead favours a Russellian `multiple relations analysis' (which hasgenerally been discarded because of its apparent obvious linguistic implausibility).The resulting account can be (...) given independent philosophical motivations within anintentionalist view of truth and predication. (shrink)

Translation of Frege's 'Über Begriff und Gegenstand' (1892). Translation by Peter Geach, revised by Max Black.

This paper addresses the mereological problem of the unity of structured propositions. The problem is how to make multiple parts interact such that they form a whole that is ultimately related to truth and falsity. The solution I propose is based on a Platonist variant of procedural semantics. I think of procedures as abstract entities that detail a logical path from input to output. Procedures are modeled on a function/argument logic, but are not functions. Instead they are higher-order, fine-grained structures. (...) I identify propositions with particular kinds of molecular procedures containing multiple sub-procedures as parts. Procedures are among the basic entities of my ontology, while propositions are derived entities. The core of a structured proposition is the procedure of predication, which is an instance of the procedure of functional application. The main thesis I defend is that procedurally conceived propositions are their own unifiers detailing how their parts interact so as to form a unit. They are not unified by one of their constituents, e.g., a relation or a sub-procedure, on pain of regress. The relevant procedural semantics is Transparent Intensional Logic, a hyperintensional, typed λ-calculus, whose λ-terms express four different kinds of procedures. While demonstrating how the theory works, I place my solution in a wider historical and systematic context. (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)