Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.

The present text book is intended as an introduction to elementary logic. Its content, structure, and manner have been determined in large measure - perhaps 'caused' is the better word- by certain desiderata about which the reader should be informed at the outset. The leading idea is that even an introductory treatment of logic may profitably be fashioned around a rigorous framework.

This is the second edition of an award-winning 1981 book (Princeton University Press and Basil Blackwell, based on the author’s doctoral dissertation) considered to be a classic in the philosophy of language movement known variously as the New Theory of Reference or the Direct-Reference Theory, as well as in the metaphysics of modal essentialism that is related to this philosophy of language.

It seems obvious that I could have failed to exist. My parents could easily never have met, in which case I should never have been conceived and born. The like applies to everyone. More generally, it seems plausible that whatever exists in space and time could have failed to exist. Events could have taken an utterly different course. Our existence, like most other aspects of our lives, appears frighteningly contingent. It is therefore surprising that there is a proof of my (...) necessary existence, a proof that generalizes to everything whatsoever. I will explain the proof and discuss what to make of it. A first reaction is that a ‘proof’ of such an outrageous conclusion must contain some dreadful fallacy. Yet the proof does not collapse under scrutiny. Further reflection suggests that, suitably interpreted, it may be sound. So interpreted, the conclusion is not outrageous, although it may not be the view you first thought of. (shrink)

John Stuart Mill (1843) thought that proper names denote individuals and do not connote attributes. Contemporary Millians agree, in spirit. We hold that the semantic content of a proper name is simply its referent. We also think that the semantic content of a declarative sentence is a Russellian structured proposition whose constituents are the semantic contents of the sentence’s constituents. This proposition is what the sentence semantically expresses. Therefore, we think that sentences containing proper names semantically express singular propositions, which (...) are propositions having individuals as constituents. For instance, the sentence ‘George W. Bush is human’ semantically expresses a proposition that has Bush himself as a constituent. Call this theory Millianism. Many philosophers initially find Millianism quite appealing, but find it much less so after considering its many apparent problems. Among these problems are those raised by non-referring names, which are sometimes (tendentiously) called empty names. Plausible examples of empty names include certain names from fiction, such as ‘Sherlock Holmes’, which I shall call fictional names, and certain names from myth and false scientific theory, such as ‘Pegasus’ and ‘Vulcan’, which I shall call mythical names. I have defended Millianism from objections concerning empty names in previous work (Braun 1993). In this paper, I shall re-present those objections, along with some new ones. I shall then describe my previous Millian theory of empty names, and my previous replies to the objections, and consider whether the theory or replies need revision. I shall next consider whether fictional and mythical names are really empty. I shall argue that at least some utterances of mythical names are. (shrink)

Reference is a central topic in philosophy of language, and has been the main focus of discussion about how language relates to the world. R. M. Sainsbury sets out a new approach to the concept, which promises to bring to an end some long-standing debates in semantic theory. Lucid and accessible, and written with a minimum of technicality, Sainsbury's book also includes a useful historical survey. It will be of interest to those working in logic, mind, and metaphysics as well (...) as essential reading for philosophers of language. (shrink)

By a `denoting phrase' I mean a phrase such as any one of the following: a man, some man, any man, every man, all men, the present King of England, the present King of France, the center of mass of the solar system at the first instant of the twentieth century, the revolution of the earth round the sun, the revolution of the sun round the earth. Thus a phrase is denoting solely in virtue of its form. We may distinguish (...) three cases: (1) A phrase may be denoting, and yet not denote anything; e.g., `the present King of France'. (2) A phrase may denote one definite object; e.g., `the present King of England' denotes a certain man. (3) A phrase may denote ambiguously; e.g. `a man' denotes not many men, but an ambiguous man. The interpretation of such phrases is a matter of considerably difficulty; indeed, it is very hard to frame any theory not susceptible of formal refutation. All the difficulties with which I am acquainted are met, so far as I can discover, by the theory which I am about to explain. (shrink)

A thorough and closely argued examination of a central issue in philosophical logic, an issue which is shown to have profound implications for the philosophy of language and much of metaphysics.

In this paper I aim to defend a version of the view that ‘exist’ expresses primarily a property of individual objects, a property that each of them has. In the first section, I will distinguish the three main types of rival conceptions concerning the semantic status of ‘exist’ that will define the subsequent discussion. In the second section it will be shown that the best explanation of our overall use of ‘exist’ in natural language requires the treatment of ‘exist’ as (...) a predicate that can be applied to individual objects. The third section will be concerned with the problem of the semantic analysis of negative singular existential sentences that contain proper names. I will briefly defend a specific solution to this problem that makes use of a single-domain free logic. In the following sections, I will try to defend this view of existence in more detail. That is, I will deal with three different specific challenges that prima facie seem to speak against the proposed view and for some rival alternatives; and I will show how these challenges can be met. (shrink)

Singular-term semantics has been intractable. Frege took the referents of singular terms to be their semantic values. On his account, vacuous terms lacked values. Russell separated the semantics of definite descriptions from the semantics of proper names, which caused truth-values to be composed in two different ways and still left vacuous names without values. Montague gave all noun phrases sets of verb-phrase extensions for values, which created type mismatches when noun phrases were objects and still left vacuous names without values. (...) There is a single type of value for all noun phrases that dissolves the difficulties which have beset singular-term semantics. (shrink)

This paper presents a theory of empty names that is consistent with direct-reference theory and Millianism.

Freges Konzeption der Existenz zählt zu seinen einflussreichsten und originellsten Beiträgen zur Philosophie. In diesem Buch wird Freges Konzeption neu interpretiert, historisch eingeordnet, mit den wichtigsten verwandten Konzeptionen verglichen und einer detaillierten systematischen Kritik unterzogen.

This textbook introduces undergraduate students of language and linguistics to the basic ideas, insights, and techniques of contemporary semantic theory. The book starts with everyday observations about word meaning and use and then gradually zooms in on the question of how speakers manage to meaningfully communicate with phrases, sentences, and texts they have never come across before. Extensive English examples provide ample illustration.

In this paper, I will show that typical formal semantic reconstructions of the rigidity of proper names neglect the important aspect that the rigidity of names is determined by our ordinary use of a name relative to the actual world. This fact was clearly pointed out by Kripke, but overlooked by the subsequent discussion concerning this topic. Based on this diagnosis, I will distinguish three different actualized notions of rigidity. Firstly, I will introduce two different new varieties of known versions (...) of rigidity; namely, actualized persistent and actualized obstinate rigidity. Secondly, I will make use of the tools provided by free logic and introduce a new and overlooked version of rigidity, which I will call actually restricted rigidity. Against this background, I will argue that we have different options to formally model the rigidity of proper names in natural languages. Which option we choose, mainly depends on our philosophical background assumptions. For someone who believes in non-existent objects and the possibility of naming such objects, it is the best choice to hold that proper names are actually obstinately rigid designators. For someone who rejects non-existent objects and the possibility of naming such objects, actually restricted rigidity is a better choice than actualized persistent rigidity. (shrink)

By a free logic is generally meant a variant of classical first-order logic in which constant terms may, under interpretation, fail to refer to individuals in the domain D over which the bound variables range, either because they do not refer at all or because they refer to individuals outside D. If D is identified with what is assumed by the given interpretation to exist, in accord with Quine’s dictum that “to be is to be the value of a [bound] (...) variable,” then a free variation on classical semantics does not require that all constant terms refer to existents, and in this sense such terms lack existential import. (shrink)

Name der Zeitschrift: Deutsche Zeitschrift für Philosophie Jahrgang: 65 Heft: 4 Seiten: 657-688.