In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

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.

Belief in propositions has had a long and distinguished history in analytic philosophy. Three of the founding fathers of analytic philosophy, Gottlob Frege, Bertrand Russell, and G. E. Moore, believed in propositions. Many philosophers since then have shared this belief; and the belief is widely, though certainly not universally, accepted among philosophers today. Among contemporary philosophers who believe in propositions, many, and perhaps even most, take them to be structured entities with individuals, properties, and relations as constituents. For example, the (...) proposition that Glenn loves Tracy has Glenn, the loving relation, and Tracy as constituents. What is it, then, that binds these constituents together and imposes structure on them? And if the proposition that Glenn loves Tracy is distinct from the proposition that Tracy loves Glenn yet both have the same constituents, what is about the way these constituents are structured or bound together that makes them two different propositions? In The Nature and Structure of Content, Jeffrey C. King formulates a detailed account of the metaphysical nature of propositions, and provides fresh answers to the above questions. In addition to explaining what it is that binds together the constituents of structured propositions and imposes structure on them, King deals with some of the standard objections to accounts of propositions: he shows that there is no mystery about what propositions are; that given certain minimal assumptions, it follows that they exist; and that on his approach, we can see how and why propositions manage to have truth conditions and represent the world as being a certain way. The Nature and Structure of Content also contains a detailed account of the nature of tense and modality, and provides a solution to the paradox of analysis. Scholars and students working in the philosophy of mind and language will find this book rewarding reading. (shrink)

Variabilism is the view that proper names (like pronouns) are semantically represented as variables. Referential names, like referential pronouns, are assigned their referents by a contextual variable assignment (Kaplan 1989). The reference parameter (like the world of evaluation) may also be shifted by operators in the representation language. Indeed verbs that create hyperintensional contexts, like ‘think’, are treated as operators that simultaneously shift the world and assignment parameters. By contrast, metaphysical modal operators shift the world of assessment only. Names, being (...) variables, refer rigidly in the latter merely intensional contexts, but may vary their reference in hyperintensional contexts. This conforms to the intuition that the content of attitude ascriptions encapsulates referential uncertainty. Furthermore, names in hyperintensional contexts are ambiguous between de re* and de dicto* interpretations. This fact is used to account for asymmetric mistaken identity attributions (for example, Biron thinks Katherine is Rosaline, but he doesn’t think Rosaline is Katherine). -/- The variable theory compares favourably with its alternatives, including Millianism and descriptivism. Millians cannot account for the behaviour of names in hyperintensional contexts, while descriptivists cannot generate a necessary contrast between intensional and hyperintensional contexts. No other theory can capture the facts pertaining to the existentially bound use of names. (shrink)

Peter Geach has said that Russell's use of ‘propositional function’ is ‘hopelessly confused and inconsistent’. Geach is right, and attempts to say what exactly a Russellian propositional function is, or is supposed to be, are bound to end in frustration. Nevertheless, it may be worthwhile to pursue an account of propositional functions that accommodates a good deal of what Russell says about them and that can provide some of what he expected of them.

Proper names seem simple on the surface. Indeed, anyone unfamiliar with philosophical debates about them might wonder what the fuss could possibly be about. It seems obvious why we need them and what we do with them, and that is to talk about particular persons, places, and things. You don't have to be as smart as Mill to think that proper names are simply tags attached to individuals. But sometimes appearances are deceiving.

First published in 1937. Routledge is an imprint of Taylor & Francis, an informa company.

INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

The tradition descending from Frege and Russell has typically treated theories of meaning either as theories of meanings, or as theories of truth conditions. However, propositions of the classical sort don't exist, and truth conditions can't provide all the information required by a theory of meaning. In this book, one of the world's leading philosophers of language offers a way out of this dilemma. Traditionally conceived, propositions are denizens of a "third realm" beyond mind and matter, "grasped" by mysterious Platonic (...) intuition. As conceived here, they are cognitive-event types in which agents predicate properties and relations of things--in using language, in perception, and in nonlinguistic thought. Because of this, one's acquaintance with, and knowledge of, propositions is acquaintance with, and knowledge of, events of one's cognitive life. This view also solves the problem of "the unity of the proposition" by explaining how propositions can be genuinely representational, and therefore bearers of truth. The problem, in the traditional conception, is that sentences, utterances, and mental states are representational because of the relations they bear to inherently representational Platonic complexes of universals and particulars. Since we have no way of understanding how such structures can be representational, independent of interpretations placed on them by agents, the problem is unsolvable when so conceived. However, when propositions are taken to be cognitive-event types, the order of explanation is reversed and a natural solution emerges. Propositions are representational because they are constitutively related to inherently representational cognitive acts. Strikingly original, What Is Meaning? is a major advance. (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)

W. V. Quine’s systematic development of mathematical logic has been widely praised for the new material presented and for the clarity of its exposition. This revised edition, in which the minor inconsistencies observed since its first publication have been eliminated, will be welcomed by all students and teachers in mathematics and philosophy who are seriously concerned with modern logic. Max Black, in Mind, has said of this book, “It will serve the purpose of inculcating, by precept and example, standards of (...) clarity and precision which are, even in formal logic, more often pursued than achieved.”. (shrink)

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.

Part one attempts to diffuse five different forms of truth skepticism, broadly conceived: the view that truth is indefinable, that it is unknowable, that it is inextricably metaphysical, that there is no such thing as truth, and the view that truth is inherently paradoxical, and so must either be abandoned, or revised. An intriguing formulation of the last of these views is due to Alfred Tarski, who argued that the Liar paradox shows natural languages to be inconsistent because they contain (...) defective, and ultimately incoherent, truth predicates. I argue in response that on a plausible interpretation of his puzzling notion of an inconsistent language, Tarski’s argument turns out to be logically valid, but almost certainly unsound, since one of its premises can be seen to be indefensible. Similar results are achieved for other forms of truth skepticism. (shrink)

My topic is the attempt by Donald Davidson, and those inspired by him, to explain knowledge of meaning in terms of knowledge of truth conditions. For Davidsonians, these attempts take the form of rationales for treating theories of truth, constructed along Tarskian lines, as empirical theories of meaning. In earlier work1, I argued that Davidson’s two main rationales – one presented in “Truth and Meaning”2 and “Radical Interpretation,”3 and the other in his “Reply to Foster ”4 – were unsuccessful. Here, (...) I extend my critique to cover an ingenious recent attempt by James Higginbotham to establish Davidson’s desired result. I will argue that it, too, fails, and that the trajectory of Davidsonian failures indicates that linguistic understanding, and knowledge of meaning, require more than knowledge of that which a Davidsonian truth theory provides. I begin with a look at the historical record. (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)

This paper argues that ‘that’-clauses are not singular terms (without denying that their semantical values are propositions). In its first part, three arguments are presented to support the thesis, two of which are defended against recent criticism. The two good arguments are based on the observation that substitution of ‘the proposition that p’ for ‘that p’ may result in ungrammaticality. The second part of the paper is devoted to a refutation of the main argument for the claim that ‘that’-clauses are (...) singular terms, namely that this claim is needed in order to account for the possibility of quantification into ‘that’-clause position. It is shown that not all quantification in natural languages is quantification into the position of singular terms, but that there is also so-called ‘non-nominal quantification’. A formal analysis of non-nominal quantification is given, and it is argued that quantification into ‘that’-clause position can be treated as another kind non-nominal quantification. (shrink)

This volume consists of the first of the John Dewey Lectures delivered under the auspices of Columbia University's Philosophy Department as well as other essays by the author. Intended to clarify the meaning of the philosophical doctrines propounded by Professor Quine in 'Word and Objects', the essays included herein both support and expand those doctrines.

While proper names in argument positions have received a lot of attention, this cannot be said about proper names in the naming construction, as in “Call me Al”. I argue that in a number of more or less familiar languages the syntax of naming constructions is such that proper names there have to be analyzed as predicates, whose content mentions the name itself (cf. “quotation theories”). If proper names can enter syntax as predicates, then in argument positions they should have (...) a complex structure, consisting of a determiner and its restriction, like common nouns (cf. “definite description theories of proper names”). Further consideration of the compositional semantics of proper names in the naming construction also shows that they have another argument slot, that of the naming convention. As a result, we will be able to account for the indexicality of proper names in argument positions and provide compositional semantics of complex and modified proper names (e.g., the famous detective Sherlock Holmes ). (shrink)

It is often said that a person P knows the meaning of a sentence S if P knows S’ s truth-conditions, in the sense that given any possible world, P knows whether S is true in that world. This idea of sentence-meaning corresponds fairly closely to what Frege, Russell, Carnap, and other philosophers have had in mind in speaking of the senses, propositional contents, or “locutionary” meanings of sentences; and, not unnaturally, it has encouraged semanticists such as David Lewis, Robert (...) Stalnaker and Max Cresswell to suggest that sentence-meanings or propositions simply are functions from the set of possible worlds onto the truth-values. (shrink)

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

Some expressions of English, like the demonstratives ‘this’ and ‘that’, are referentially promiscuous: distinct free occurrences of them in the same sentence can differ in content relative to the same context. One lesson of referentially promiscuous expressions is that basic logical properties like validity and logical truth obtain or fail to obtain only relative to a context. This approach to logic can be developed in just as rigorous a manner as David Kaplan’s classic logic of demonstratives. The result is a (...) logic that applies to arguments in English containing multiple occurrences of referentially promiscuous expressions. (shrink)

The standard truth-conditional semantics for substitutional quantification, due to Saul Kripke, does not specify what proposition is expressed by sentences containing the particular substitutional quantifier. In this paper, I propose an alternative semantics for substitutional quantification that does. The key to this semantics is identifying an appropriate propositional function to serve as the content of a bound occurrence of a formula containing a free substitutional variable. I apply this semantics to traditional philosophical reasons for interest in substitutional quantification, namely, theories (...) of truth and ontological commitment. (shrink)

In this paper I argue that names are predicates when they occur in the appellation position of 'called'-predications. This includes not only proper names, but all names -- including quote-names of proper names and quote-names of other words or phrases. Thus in "You can call me Al", the proper name 'Al' is a predicate. And in "You can call me 'Al'," the quote-name of 'Al' -- namely ' 'Al' ' -- is also a predicate.

One reason to think that names have a predicate-type semantic value is that they naturally occur in count-noun positions: ‘The Michaels in my building both lost their keys’; ‘I know one incredibly sharp Cecil and one that's incredibly dull’. Predicativism is the view that names uniformly occur as predicates. Predicativism flies in the face of the widely accepted view that names in argument position are referential, whether that be Millian Referentialism, direct-reference theories, or even Fregean Descriptivism. But names are predicates (...) in all of their occurrences; they are predicates that are true of their bearers. When a name appears as a bare singular in argument position, it really occupies the predicate position of what in this essay is called a denuded definite description: a definite description with an unpronounced definite article. Sloat provided good evidence for this. The definite article is sometimes pronounced with names in the singular: ‘The Ivan we all love doesn't feel well’. Sloat proposed a disjunctive generalization of when the definite article must be pronounced with a singular name. This essay shows that by slightly revising Sloat's generalization, we arrive at a simple, nondisjunctive, syntactic rule that governs the overt appearance of the definite article with singular names. But Ivan does not necessarily bear the name ‘Ivan’, so one might worry that the sentence “Ivan might not have had ‘Ivan’ as a name” would incorrectly be predicted false. This essay shows that Predicativism does not have this consequence by showing that incomplete definite descriptions in general and incomplete denuded descriptions, such as ‘Øthe Ivan’, in particular are rigid designators. (shrink)

Stefano Predelli explores the relationships between semantic notions of meaning and truth. He develops a 'Theory of Bias' in order to approach notorious semantic problems, offers a solution to Quine's 'Giorgione' puzzle and a new version of the demonstrative theory quotation, and defends a bare-boned approach to demonstratives and demonstrations.

Philosophy, science, and common sense all refer to propositions--things we believe and say, and things which are true or false. But there is no consensus on what sorts of things these entities are. Jeffrey C. King, Scott Soames, and Jeff Speaks argue that commitment to propositions is indispensable, and each defend their own views on the debate.

In this book, Scott Soames illuminates the notion of truth and the role it plays in our ordinary thought as well as in our logical, philosophical, and scientific theories. Soames aims to integrate and deepen the most significant insights on truth from a variety of sources. He powerfully brings together the best technical work and the most important philosophical reflection on truth and shows how each can illuminate the other. Investigating such questions as whether we need a truth predicate at (...) all, what theoretical tasks it allows us to accomplish, and how we are to understand the content of any predicate capable of accomplishing these tasks, Soames organizes his discussion into three parts. Part I addresses crucial foundational issues as it identifies the bearers of truth, provides a basis for distinguishing truth from other notions, and formulates positive responses to well-known forms of truth-skepticism. Part II explicates the formal theories of Alfred Tarski and Saul Kripke and evaluates the philosophical significance of their work. It discusses their treatments of the Liar paradox, the relationship between truth and proof, the notion of a partially defined predicate, the concepts of logical truth and logical consequence, and the connection between truth and meaning. Part III extends important lessons drawn from Tarski and Kripke into new domains: vague predicates, the Sorites paradox, and the development of a larger, deflationary perspective on truth. Throughout the book, Soames examines a wide range of deflationary theories of truth, and attempts to separate what is correct and worth preserving in them from what is not. In doing so, he seeks to clear up many of the most significant philosophical doubts about truth. Written for a general audience while offering engaging material to the specialist, this rich study will be profitably read by both. (shrink)

Reprint of the original, first published in 1869.

Introducing a new and ambitious position in the field, Kit Fine’s _Semantic Relationism_ is a major contribution to the philosophy of language. Written by one of today’s most respected philosophers Argues for a fundamentally new approach to the study of representation in language and thought Proposes that there may be representational relationships between expressions or elements of thought that are not grounded in the intrinsic representational features of the expressions or elements themselves Forms part of the prestigious new _Blackwell/Brown Lectures (...) in Philosophy_ series, based on an ongoing series of lectures by today’s leading philosophers. (shrink)

Transient Truths: An Essay in the Metaphysics of Propositions provides the first book-length exposition and defense of semantic temporalism, the view that propositions are contents or semantic values that can change their truth-values across time.