There are two major semantic theories of proper names: Semantic Descriptivism and Direct Reference. According to Semantic Descriptivism, the semantic content of a proper name N for a speaker S is identical to the semantic content of a definite description “the F” that the speaker associates with the name. According to Direct Reference, the semantic content of a proper name is identical to its referent. Semantic Descriptivism suffers from a number of drawbacks first pointed out by Donnellan (1970) and Kripke (...) (1972). Direct Reference faces difficulties of its own, most importantly the problem of empty names. The most promising Directly Referential solution to this problem is the Unfilled Proposition view, according to which utterances of sentences containing empty names semantically express unfilled propositions. But this view faces the problem of accounting for the intuition that negative existentials involving empty names are true. The most promising way of dealing with this problem within Unfilled Proposition theory is to suppose (i) that utterances of sentences may be used to pragmatically convey propositions they do not semantically express, and (ii) that the proposition pragmatically conveyed by a speaker S's utterance of a sentence containing an empty name N (where “the F” is a definite description S associates with N) is identical to the proposition semantically expressed by an utterance of the sentence obtained by replacing N with “the F”. Call this view “Pragmatic Descriptivism”. With respect to the problem of negative existentials, Pragmatic Descriptivists can insist that, although an utterance of “Santa does not exist” is literally neither true nor false, our taking it to be true may be explained as the result of our having confused the unfilled proposition it semantically expresses with the clearly true descriptive proposition it pragmatically conveys. Despite its theoretical virtues, Pragmatic Descriptivism has recently come under fire. Everett (2003), in particular, has advanced four different lines of criticism, to which Adams and Dietrich (2004) have responded in some detail. In this article, I have two main aims. The first is to argue that Adams and Dietrich's replies to Everett's criticisms (with one exception) are ineffective. I conclude that there is no acceptable strategy for solving the problem of empty names within Direct Reference theory. The second is to argue that there is a promising alternative to Semantic Descriptivism and Direct Reference that requires us to fill unfilled propositions with names, thereby solving the problem of empty names. (shrink)

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

There is a long-standing debate whether propositions, sentences, statements or utterances provide an answer to the question of what objects logical formulas stand for. Based on the traditional understanding of logic as a science of valid arguments, this question is firstly framed more exactly, making explicit that it calls not only for identifying some class of objects, but also for explaining their relationship to ordinary language utterances. It is then argued that there are strong arguments against the proposals commonly put (...) forward in the debate. The core of the problem is that an informative account of the objects formulas stand for presupposes a theory of formalization; that is, a theory that explains what formulas may adequately substitute for an inference in proofs of validity. Although such theories are still subject to research, some consequences can be drawn from an analysis of the reasons why the common accounts featuring sentences, propositions or utterances fail. Theories of formalization cannot refer to utterances qua expressions of propositions; instead they may refer to sentences and rely on additional information about linguistic structure and pragmatic context. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

Frege's Puzzle is a founding problem in analytic philosophy. It lies at the intersection of central topics in the philosophy of language and mind: the theory of reference, the nature of propositional attitudes, the nature of semantic theorizing, the relation between semantics and pragmatics, etc. This chapter is an overview of the puzzle and of the space of contemporary approaches to it.

Many scholars are ready to accept that first person thought involves a special way w such that, for any thinker x, only x can access the first person way w of thinking about x. Standard articulations of this Frege-inspired view involve a rejection of the strict shareability of first person thought. I argue that this rejection eventually forces us to renounce an intuitively plausible characterisation of communication, and specifically, disagreement. This result invites us to explore alternative articulations which, still within (...) an overall Fregean framework, may better explain how first person thoughts reach out into a public, shareable dimension. Here I shape this possibility in terms of perspectives, i.e. ways of thinking that do not individuate concepts or thoughts. Perspectives, I submit, can serve to unproblematically accommodate basic disagreement in indexical cases and to outline the dynamic character of first person thought. (shrink)

In this paper I present a new theory of propositions, according to which propositions are abstract mathematical objects: well-formed formulas together with models. I distinguish the theory from a number of existing views and explain some of its advantages  chief amongst which are the following. On this view, propositions are unified and intrinsically truth-bearing. They are mind- and language-independent and they are governed by logic. The theory of propositions is ontologically innocent. It makes room for an appropriate interface with (...) formal semantics and it does not enforce an overly fine or overly coarse level of granularity. (shrink)

The semantic puzzles posed by propositional attitude contexts have, since Frege, been understood primarily in terms of certain substitution puzzles. We will take as paradigmatic of such substitution puzzles cases in which two coreferential proper names cannot be intersubstituted salva veritate in the context of an attitude verb. Thus, for example, the following sentences differ in truth value: (1) Lois Lane believes Superman can fly. (2) Lois Lane believes Clark Kent can fly. despite the fact that "Superman" and "Clark Kent" (...) pick out the same individual.1 Equivalently, the following sentence may be true: (3) Lois Lane believes that Superman can fly, but that Clark Kent cannot fly. despite the coreferentiality of the names. (It will at times be convenient to appeal to this conjunctive attitude report in order to fix a single context of utterance.) Substitution failures such as these create a puzzle when conjoined with the assumptions (a) that attitude reports report a binary relation between an individual and some object of that individual's attitude and (b) that that object of the attitude is determined by the content of the complement sentence in the attitude report. If all of the terms in two complement sentences (e.g., "Superman can fly" and "Clark Kent can fly") have the same semantic content, then, prima facie, they ought to generate the same object of believe and, a fortiori, materially equivalent attitude reports. Frege, famously, attempts to defuse the puzzle by positing a semantic value of sense in addition to that of reference, and thereby distinguishing the semantic contents of the two complement sentences. (shrink)

Is the ability to speak a language an acquired skill? Leading proponents of the generative approach to human language—notably Chomsky (2000) and Pinker (2003)—have argued that the thesis that language capacities are skills is hopelessly confused and at odds with a range of empirical evidence, which suggests that human language capacities are grounded in a biologically inherited set of language instincts or a Universal Grammar (UG). In this paper, we argue that resistance to the claim that human language capacities are (...) skills has been fostered by naïve and implausible conceptions of the nature of skilled action. Correcting these misconceptions about the nature of skilled action breathes new life into the old idea that human language competences are particular kinds of skills and does so in a way that is fully consistent with appeals to the central importance of UG, broadly construed. More generally, we argue that by taking human language capacities to be skills, we capture what is right about the generative program while at the same time avoiding its most serious pitfalls. (shrink)

I argue that the principal roles standardly envisaged for abstract propositions can be discharged to the sentences themselves (and similarly for the meanings or senses of words). I discuss: (1) Cognitive Value: Hesperus-Phosphorus; (2) Indirect Sense and Propositional Attitudes; (3) the Paradox of Analysis; (4) the Picture Theory of the Tractatus; (5) Syntactical Diagrams and Meaning; (6) Quantifying-in. (7) Patterns of Use. I end with comparisons with related views of the territory.

I present a puzzle for the standard, propositional semantic account of belief reports by considering novel inferences which it incorrectly predicts to be invalid under assumptions that are plausible by its advocates’ own lights. In response, I propose a conservative departure from the standard view on which certain ‘that’-clauses designate novel devices of semantic type that I call open propositions. After outlining some desiderata for a theory of open propositions, I provide some reasons for advocates of the standard view to (...) treat them as properties of a certain kind. Then I give a bridge principle between the core notions of belief and belief-about before showing how the resulting view can be implemented in accordance with formal theories of syntax and semantics. I bring out some of the consequences this investigation has beyond our semantic theorizing and conclude, more generally, that any response to the puzzle requires paying some surprising cost or another. (shrink)

In her recent (2009) book, The Origins of Concepts, Susan Carey argues that what she calls ‘Quinean Bootstrapping’ and processes of analogy in children show that the expressive power of a mind can be increased in ways that refute Jerry Fodor's (1975, 2008) ‘Mad Dog’ view that all concepts are innate. I argue that it is doubtful any evidence about the manifestation of concepts in children will bear upon the logico-semantic issues of expressive power. Analogy and bootstrapping may be ways (...) to bring about the former, but only by presupposing the very expressive powers Carey is claiming they explain. Analogies must be understood, and bootstrapping involves confirmation of hypotheses already expressible; otherwise they can't select among an infinitude of hypotheses compatible with the finite data the child has encountered, a fact rendered vivid by Goodman's ‘grue’ paradox and Chomsky's poverty of stimulus argument. The problems have special application to minds, since there is no reason to expect a child's concepts to be ‘projectible’ or to correspond to mind-independent natural kinds. I conclude with an ecumenical view that concepts are reasonably regarded as both innate and often learned, and that what is learned can in fact increase what really concerns Carey, the functioning psychological expressive power of the child, even if it leaves untouched what concerns Fodor, the semantic expressive power. Less ecumenically: maybe Fodor (2008) miscast the debate, and the real issue that bothers people concerns not nativism, but an issue on which Carey and Fodor surprisingly agree, his conceptual Atomism, or the view that all mono-morphemic concepts are primitive and unanalyzable. The issue deserves further discussion independently of Mad-doggery. (shrink)

Two arguments favoring propositionalist accounts of attitude sentences are being revisited: the Church-Langford translation argument and Thomason's argument against quotational theories of indirect discourse. None of them proves to be decisive, thus leaving the option of searching for a developed quotational alternative. Such an alternative is found in an interpreted logical form theory of attitude ascription. The theory differentiates elegantly among different attitudes but it fails to account for logical dependencies among them. It is argued, however, that the concept of (...) logical consequence does not well apply to dependencies among belief sentences and that the requirement to account for logical relations among such sentences should be relaxed. (shrink)

Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...) fields get up to speed on open research-level problems. (shrink)

I argue that a certain initially appealing Fregean conception of our shared semantic competence in our shared language cannot be made good. In particular, I show that we must reject two fundamental Fregean principles‐what I call Frege's Adequacy Condition and what I call Frege's Cognitive Constraint on Reference Determination. Frege's adequacy condition says that in an adequate semantic theory, sentence meanings must have the same fineness of grain as attitude contents. The Cognitive Constraint on Reference Determination says that in an (...) adequate semantic theory mechanisms of reference determination will fix routes of epistemic access to referents and will mediate one‐sided recognition judgments about referents. I argue against Frege's adequacy condition that if meanings are sliced as finely as it requires there will be too many meanings to go around. I argue against the cognitive constraint on reference determination that even in an adequate theory of reference, mechanisms of reference determination must be sharply distinguished from routes of epistemic access. If so, we have little reason to expect an adequate theory of reference determination to directly illuminate Frege's cognitive puzzles or be sufficient to explain the basis of our one‐sided recognition judgments. (shrink)

I argue that Frege Problems in thought are best modeled using graph-theoretic machinery; and that these problems can arise even when subjects associate all the same qualitative properties to the object they’re thinking of twice. I compare the proposed treatment to similar ideas by Heck, Ninan, Recanati, Kamp and Asher, Fodor, and others.

Frege's account of opacity is based on two attractive ideas: every meaningful expression has a sense (Sinn) that determines the expression's semantic value (Bedeutung); and the semantic value of a‘that’‐clause is the thought expressed by its embedded sentence. Considerations of compositionality led Frege to a more problematic view: inside ‘that’‐clauses, an expression does not have its customary Bedeutung. But contrary to initial appearances, compositionality does not entail a familiar substitutivity principle. And Fregeans can exploit this point in a way that (...) lets them reject Bedeutung‐shifting. (shrink)