In the substitutional framework, validity is truth under all substitutions of the nonlogical vocabulary. I develop a theory where □ is interpreted as substitutional validity. I show how to prove soundness and completeness for common modal calculi using this definition.

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.

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

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)

A uniform analysis is offered for the source of the locations specified by all references in English to spatial properties including location and movement. This source is argued to be the location of events and states of affairs. These locations are specified by sets showing spaces momentarily occupied. Descriptions of motion are accounted for through a variety of ways of referencing these sets. Some classes of simple clauses are identified as requiring semantic analysis involving multiple events and states of affairs. (...) This importantly allows spatial references to be associated with different events and states of affairs. Identification of object location is accounted for by use of extra inference rules or meaning postulates. A number of other explanations are suggested for more limited and derivative phenomena. The analysis is developed within a Case-like notation presented in the first-order predicate calculus. It is supported by an extensive analysis of spatial reference phenomena and by identification of ancillary benefits. (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)

In this article, I suggest an original solution to the Liar Paradox, based on the pragmatic theory of speech acts. This solution implies making a distinction between two concepts of truth: the intentional truth of a speaker’s utterances directed toward an addressee with the objective of obtaining a consensual agreement; the effective truth objectively recognized by the addressee in the speaker’s utterances. In view of reaching this new solution to the classic paradox, I conduct a critical review of solutions put (...) forward by Tarski, Kripke and Strawson. (shrink)

Two semantic theories of proper names are explained and assessed. The theories are Burge’s treatment of proper names as complex demonstratives and Larson and Segal’s quasi-descriptivist account of names. The two theories are evaluated for empirical plausibility. Data from deficits, processing models, developmental studies and syntax are all discussed. It is concluded that neither theory is fully confirmed or refuted by the data, but that Larson and Segal’s theory has more empirical plausibility.

The aim of this paper is to assess the relative merits of two accounts of the semantics of proper names. The enterprise is of particular interest because the theories are very similar in fundamental respects. In particular, they can agree on three major features of names: names are rigid designators; different co-extensive names can have different cognitive significance; empty proper names can be meaningful. Neither theory by itself offers complete explanations of all three features. But each theory is consistent with (...) them and goes some way towards explaining them. (shrink)

We discuss the challenge to truth-conditional semantics presented by apparent shifts in extension of predicates such as ‘red’. We propose an explicit indexical semantics for ‘red’ and argue that our account is preferable to the alternatives on conceptual and empirical grounds.

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)

We began by distinguishing Tarskian and Fitchean notions of universality in such a way that the claim that no language is universal in the sense of Tarski is compatible with accepting Fitchean universality. Then we examined a proposal involving two truth concepts — one that fit the Fitchean notion and another that followed Tarski's views on truth — finding little advantage in such generosity. We attempted a reformulation of Herzberger's argument for the negative view — the view that no language (...) is universal in Tarski's sense — but found it unsuccessful when the language of the argument's formulation was brought under consideration. A more persuasive argument for EI was found, free of the defect of the previous one. EI was then shown to have unsettling consequences, prompting us to inquire about avoiding it. We found this possible, noting that EI is itself a solution to the semantic paradoxes, to which there are alternatives that avoid the unwelcome aspects of EI. However, whether any such alternative is ultimately preferable to EI remains to be seen. (shrink)

Gilbert Harman, in Logic and Reasoning (Synthese 60 (1984), 107–127) describes an unsuccessful attempt ... to develop a theory which would give logic a special role in reasoning. Here reasoning is psychological, a procedure for revising one''s beliefs. In the present paper, I construe reasoning sociologically, as a process of linguistic interaction; and show how both reasoning in the psychologistic sense and logic are related to that process.

This book's purpose is to detail the anatomy of linguistic meaning, showing how the various elements of meaning fit together. part 1 defends the truth-theoretic conception of semantics, taking the notion of a sentence's truth-condition as the core of meaning. part 2 explores the complex interconnections between syntax, semantics and various pragmatic notions and attempts to reconcile the apparent differences between natural and formal language. part 3 examines the relation between semantics and psychology.

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

Under what conditions are two utterances utterances of the same word? What are words? That these questions have not received much attention is rather surprising: after all, philosophers and linguists frequently appeal to considerations about word and sentence identity in connection with a variety of puzzles and problems that are foundational to the very subject matter of philosophy of language and linguistics.1 Kaplan’s attention to words is thus to be applauded. And there is no doubt that his discussion contains many (...) useful insights. Nevertheless, we find his picture deeply flawed for a variety of crosscutting reasons. Our aim in this paper is to further advance an understanding of the nature of words, both by remedying the problems with Kaplan’s account, and also by achieving a suitable perspective on what the metaphysical investigation of word identity can hope to achieve. Our discussion divides into four parts. In Part One, we examine and critique Kaplan’s discussion of a contrast integral to his own account: that between the type-token and the stage-continuant conceptions of words. In Part Two, we present three constraints on any account of words and two further themes in Kaplan’s discussion central to his conception of words – the role of repetition and the constitutive authority of intentions. While these ideas have laudable motivations, we argue they are far from the best way of making good on the insights that drive them. The final two sections take a skeptical turn. In Part Three, we express doubt about Kaplan’s presumption of the importance of what he calls ‘common currency names’, thus raising a suspicion that he may be in pursuit of chimera. Finally, in Part Four, we express pessimism about whether interesting answers to question above will be forthcoming, and suggest that the legitimacy of our word ontology need not depend on the availability of such answers. Along the way, we tease apart a number of metaphysical questions in the vicinity of the topic of word individuation – questions that are often not disentangled – and consider how the discussion of the previous parts bears on them.. (shrink)

A report of a person's desire can be true even if its embedded clause underspecifies the content of the desire that makes the report true. It is true that Fiona wants to catch a fish even if she has no desire that is satisfied if she catches a poisoned minnow. Her desire is satisfied only if she catches an edible, meal-sized fish. The content of her desire is more specific than the propositional content of the embedded clause in our true (...) report of her desires. Standard semantic accounts of belief reports require, however, that the embedded clause of a true belief report specify precisely the content of the belief that makes it true. Such accounts of belief reports therefore face what I call "the problem of underspecification" if they are extended to desire reports. Such standard accounts are sometimes refined by requiring that a belief report can be true not only if its subject has a belief with precisely the propositional content specified by its embedded clause, but also only if its subject grasps that content in a particular way. Such refinements do not, however, help to address the problem of underspecification for desire reports. (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)

Much of the best contemporary work in the philosophy of language and content makes appeal to the theories developed in generative syntax. In particular, there is a presumption that—at some level and in some way—the structures provided by syntactic theory mesh with or support our conception of content/linguistic meaning as grounded in our first-person understanding of our communicative speech acts. This paper will suggest that there is no such tight fit. Its claim will be that, if recent generative theories are (...) on the right lines, syntactic structure provides both too much and too little to serve as the structural partner for content, at least as that notion is generally understood in philosophy. The paper will substantiate these claims by an assessment of the recent work of King, Stanley, and others. (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)

An argument is developed at some length to show that any semantical theory which treats superficially nonperformative sentences as being governed by performative prefaces at some level of underlying structure must either leave those sentences semantically uninterpreted or assign them the wrong truth-conditions. Several possible escapes from this dilemma are examined; it is tentatively concluded that such hypotheses as the Ross-Lakoff-Sadock Performative Analysis should be rejected despite their attractions.

‘There is no such thing as a language,’ Donald Davidson tells us. Though this is a startling claim in its own right, it seems especially puzzling coming from a leading theorizer about language. Over the years, Davidson’s important essays have sparked the hope that there is a route to a positive, nonskeptical theory of meaning for natural languages. This hope would seem to be dashed if there are no natural languages. Unless Davidson’s radical claim is a departure from his developed (...) views, the Davidsonian program appears to have undermined itself.In a recent book, Donald Davidson’s Philosophy of Language: An Introduction, Bjorn Ramberg promises to establish that Davidson's startling claim is not an aberration. Rather, it 'emerges as a natural development of his theory of meaning'. He reads the claim that there is no such thing as a language as the claim that the concept of a language has no useful theoretical role. Like the concepts of meaning and reference, it is a 'ghost of reification' which Davidson attempts to 'exorcise' from our philosophical thinking about linguistic communication. All three concepts can be seen as mere ladders to be kicked away once the edifice of a Davidsonian theory of linguistic communication is properly erected on the sole foundation of the concept of truth. The result, he assures us, ‘is not a theory which undercuts itself, but a comprehensive, coherent account of the phenomenon of linguistic communication’. (shrink)

‘There is no such thing as a language,’ Donald Davidson tells us. Though this is a startling claim in its own right, it seems especially puzzling coming from a leading theorizer about language. Over the years, Davidson’s important essays have sparked the hope that there is a route to a positive, nonskeptical theory of meaning for natural languages. This hope would seem to be dashed if there are no natural languages. Unless Davidson’s radical claim is a departure from his developed (...) views, the Davidsonian program appears to have undermined itself.In a recent book, Donald Davidson’s Philosophy of Language: An Introduction, Bjorn Ramberg promises to establish that Davidson's startling claim is not an aberration. Rather, it 'emerges as a natural development of his theory of meaning'. He reads the claim that there is no such thing as a language as the claim that the concept of a language has no useful theoretical role. Like the concepts of meaning and reference, it is a 'ghost of reification' which Davidson attempts to 'exorcise' from our philosophical thinking about linguistic communication. All three concepts can be seen as mere ladders to be kicked away once the edifice of a Davidsonian theory of linguistic communication is properly erected on the sole foundation of the concept of truth. The result, he assures us, ‘is not a theory which undercuts itself, but a comprehensive, coherent account of the phenomenon of linguistic communication’. (shrink)

This chapter reviews some of the history of discussions of logical form and offers a truth-theoretic account that traces back to Donald Davidson.

Paul M. Pietroski, University of Maryland I had heard it said that Chomsky’s conception of language is at odds with the truth-conditional program in semantics. Some of my friends said it so often that the point—or at least a point—finally sunk in.