Jeffrey C. King

In The Principles of Mathematics, Bertrand Russell famously puzzled over something he called the unity of the proposition. Echoing Russell, many philosophers have talked over the years about the question or problem of the unity of the proposition. In fact, I believe that there are a number of quite distinct though related questions all of which can plausibly be taken to be questions regarding the unity of propositions. I state three such questions and show how the theory of propositions defended in my recent book The Nature and Structure of Content answers them.

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

Like many, though of course not all, philosophers, I believe in propositions. I take propositions to be structured, sentence-like entities whose structures are identical to the syntactic structures of the sentences that express them; and I have defended a particular version of such a view of propositions elsewhere. In the present work, I shall assume that the structures of propositions are at least very similar to the structures of the sentences that express them. Further, I shall assume that ordinary names are devices of direct reference and contribute only their bearers to propositions, that n-place predicates contribute n-place properties or relations to propositions, and that verbs of propositional attitude contribute to propositions two-place relations between individuals and propositions. The broad outline of a framework that includes these assumptions is one that I think many, though again not all, philosophers of language find congenial. I am concerned here to investigate and explain, from the standpoint of this framework, a puzzling phenomenon. The explanation I give of the phenomenon could be adapted to fit with frameworks somewhat different from the one adopted here. I adopt the present framework in part simply for definiteness.

The dissertation is an attempt to provide a formal semantics for occurrences of anaphoric pronouns and definite descriptions whose quantifier antecedents occur in sentences other than those in which the anaphoric pronouns and descriptions themselves occur, . The predominant view of anaphoric pronouns whose quantifier antecedents occur in the same sentence as they do is that they function as bound variables . Chapter 1 of this dissertation is constituted by a series of arguments against a bound variable treatment of q - terms and the observation that the semantic behavior of q - terms is similar to that of certain singular terms in English arguments. Given the similarity of semantic behavior between the latter and q - terms, it seems plausible to suppose that a theory of the semantic behavior of these singular terms in English arguments would provide a model for the eventual production of a semantic theory of q - terms. In Chapter 2, a formal semantics for these singular terms in arguments is produced. In Chapter 3, a formal semantics for q - terms is produced, on the model of the semantics in Chapter 2. Finally, in Chapter 4 it is shown that the formal semantics of Chapter 3 can be extended to handle pronouns in discourses containing verbs of propositional attitudes such as 'wants', 'dreams' etc. It is also shown that some occurrences of sentences containing q - terms have truth conditions not expressible by any quantified first order sentence. One must use finite partially ordered quantifiers to express the truth conditions of such occurrences of sentences. ;The dissertation contains two appendices: the first is a technical discussion of the formal semantics of Hans Kamp which shows that his theory cannot accomodate the linguistic data mine is designed to handle. The second examines the views of Gareth Evans, Charles Chastain and Keith Donnellan on certain anaphoric pronouns

A central job for propositions is to be the objects of the attitudes. Propositions are the things we doubt, believe and suppose. Some philosophers have thought that propositions are sets of possible worlds. But many have become convinced that such an account individuates propositions too coarsely. This raises the question of how finely propositions should be individuated. An account of how finely propositions should be individuated on which they are individuated very finely is sketched. Objections to the effect that the account individuates propositions too finely are raised and responses to the objections are provided. It is also shown that theories that try to individuate propositions less finely have serious problems.

Though these expressions are often called “names of months”, there is good reason to hold that they are not names at all. Syntactically, these words behave as count nouns. They combine with determiners such as ‘every’, ‘many’, ‘exactly three’ etc. to form restricted quantifiers:3 (1) Every January I go skiing. (2) I spent many Januarys at Squaw Valley. (3) I wasted exactly three Januarys in Bakersfield. Like other count nouns, they can take relative clauses in constructions such as (1)-(3): (1a) Every January that you visited we went skiing. (2a) I spent many Januarys that I will never forget at Squaw Valley. (3a) I wasted three Januarys that seemed interminable in Bakersfield. They also combine with the copula, indefinite article and adjectival modifiers to form predicates in the way that other count nouns do: (4) The first full month I lived in Northern California was a pleasant July. Further, it is generally held that only constituents of the same syntactic category can be conjoined. And as the following example shows, ‘January’ can be conjoined with other count nouns:4 (5) All Januarys and funerals last too long. Thus distributional evidence strongly suggests that ‘January’, ‘February’, etc. are count nouns. Since in general we take count nouns to express properties, we ought to take ‘January’, ‘February’ etc. to express properties as well.5 We shall return to the question of what properties such words express below. For now, we shall stick with syntax

Semantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce precisely characterized theories of meaning for natural languages or artificial languages. Formal semantics as we know it first arose in the twentieth century. It was made possible by certain developments in logic during that period. This article chronicles those developments and how they led to the development of formal semantics.

It is common for philosophers to offer philosophical accounts or analyses, as they are sometimes called, of knowledge, autonomy, representation, (moral) goodness, reference, and even modesty. These philosophical analyses raise deep questions.What is it that is being analyzed (i.e. what sorts of things are the objects of analysis)? What sort of thing is the analysis itself (a proposition? sentence?)? Under what conditions is an analysis correct? How can a correct analysis be informative? How, if at all, does the production of philosophical analyses differ from what scientists do? The purpose of the present paper is to provide answers to these questions

It is argued that taken together, two widely held claims ((i) sentences express structured propositions whose structures are functions of the structures of sentences expressing them; and (ii) sentences have underlying structures that are the input to semantic interpretation) suggest a simple, plausible theory of propositional structure. According to this theory, the structures of propositions are the same as the structures of the syntactic inputs to semantics they are expressed by. The theory is defended against a variety of objections.

result from combining the determiners `this' or `that' with syntactically simple or complex common noun phrases such as `woman' or `woman who is taking her skis off'. Thus, `this woman', and `that woman who is taking her skis off' are complex demonstratives. There are also plural complex demonstratives such as `these skis' and `those snowboarders smoking by the gondola'. My book Complex Demonstratives: A Quantificational Account argues against what I call the direct reference account of complex demonstratives (henceforth DRCD) and defends a quantificational account of complex demonstratives. In two recent papers, Nathan Salmon has criticized one of the book's arguments against DRCD. In this essay I show that Salmon's criticism fails. I also show that the version of DRCD that Salmon ends up endorsing is false.

Assume that the only thing before you is a statue made of some alloy. Call those who think that there is one thing before you in such a case monists. Call those who think there are at least two things before you in such a case pluralists. The most common arguments for pluralism run as follows. The statue is claimed to have some property P that the piece of alloy lacks (or vice versa), and hence it is concluded that they are distinct. Most often, the predicates employed in such arguments to express the crucial property are predicates expressing ‘temporal properties’, such as existing at a certain time; or ‘modal properties’, such as possibly being spherical; or ‘constitution properties’, such as being made of a certain sort of material. In a recent paper, Kit Fine has noted that such predicates suffer from various defects that make it possible for the monist to plausibly resist the relevant versions of the pluralist's arguments. For this reason, Fine considers a number of predicates that do not suffer from these defects, and constructs new versions of the above argument using them. Fine argues that any attempt on the monist's part to resist his versions of the argument force the monist to adopt implausible positions in the philosophy of language. As against this, I argue that the monist has perfectly plausible responses to Fine's arguments that require the monist to adopt only quite reasonable positions in the philosophy of language.

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for them to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them

Robert Stalnaker is an actualist who holds that merely possible worlds are uninstantiated properties that might have been instantiated. Stalnaker also holds that there are no metaphysically impossible worlds: uninstantiated properties that couldn't have been instantiated. These views motivate Stalnaker's "two dimensional" account of the necessary a posteriori on which there is no single proposition that is both necessary and a posteriori. For a (metaphysically) necessary proposition is true in all (metaphysically) possible worlds. If there were necessary a posteriori propositions, that would mean that there were propositions true in all possible worlds but which could only be known to be true by acquiring empirical evidence. Consider such a purported proposition P. The role of empirical evidence for establishing P's truth would have to be to rule out worlds in which P is false. If there were no such worlds to be ruled out, we would not require evidence for P. But by hypothesis, P is necessary and so true in all metaphysically possible worlds. And on Stalnaker's view, the metaphysically possible worlds are all the worlds there are. So there can be no proposition that is true in all possible worlds, but that we require evidence to know. In this way, the motivation for Stalnaker's two dimensional account of the necessary a posteriori rests on his denying that there are metaphysically impossible Worlds. I argue that given his view of what possible worlds are, Stalnaker has no principled reason for denying that there are metaphysically impossible worlds. If I am right, this undercuts Stalnaker's motivation for his two dimensional account of the necessary a posteriori.