David Lewis argues that centered worlds give us a way to capture de se, or self-locating, contents in philosophy of language and philosophy of mind. In recent years, centered worlds have also gained other uses in areas ranging widely from metaphysics to ethics. In this paper, I raise a problem for centered worlds and discuss the costs and benefits of different solutions. My investigation into the nature of centered worlds brings out potentially problematic implicit commitments of the theories that employ (...) them. In addition, my investigation shows that the conception of centered worlds widely attributed to David Lewis is not only problematic, but in fact not his. (shrink)

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

_Naming and Necessity_ has had a great and increasing influence. It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of naming, and of identity. This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here reissued in a newly corrected form with a new preface by the author. If there is such a thing as essential reading in metaphysics, or in philosophy of language, this is (...) it. (shrink)

Truth is one of the most debated topics in philosophy; Wolfgang Kunne presents a comprehensive critical examination of all major theories, from Aristotle to the present day. He argues that it is possible to give a satisfactory 'modest' account of truth without invoking problematic notions like correspondence, fact, or meaning. The clarity of exposition and the wealth of examples will make Conceptions of Truth an invaluable and stimulating guide for advanced students and scholars.

This book traces the development of formal logic from its origins inancient Greece to the present day. The authors first discuss the work oflogicians from Aristotle to Frege, showing how they were influenced by thephilosophical or mathematical ideas of their time. They then examinedevelopments in the present century.

Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...) philosophical speculation to the realm of science. This was accomplished by the work of Kurt Gode1, Alan Turing, and Alonzo Church, who gave three apparently different precise definitions of computable. When they all turned out to be equivalent, there was a collective realization that this was indeed the right notion. Kleene played a key role in this process. One could say that he was there at the beginning of modern logic. He showed the equivalence of lambda calculus with Turing machines and with Godel's recursion equations, and developed the modern machinery of partial recursive functions. This textbook played an invaluable part in educating the logicians of the present. It played an important role in their own logical education.". (shrink)

The Problems of Philosophy is a 1912 book by Bertrand Russell, in which Russell attempts to create a brief and accessible guide to the problems of philosophy. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics: If it is uncertain that external objects exist, how can we then have knowledge of them but by probability. There is no reason to doubt the existence of external objects simply because of sense data. Russell (...) guides the reader through his famous 1910 distinction between knowledge by acquaintance and knowledge by description and introduces important theories of Plato, Aristotle, René Descartes, David Hume, John Locke, Immanuel Kant, Georg Wilhelm Friedrich Hegel and others to lay the foundation for philosophical inquiry by general readers and scholars alike. "In the following pages I have confined myself in the main to those problems of philosophy in regard to which I thought it possible to say something positive and constructive, since merely negative criticism seemed out of place. For this reason, theory of knowledge occupies a larger space than metaphysics in the present volume, and some topics much discussed by philosophers are treated very briefly, if at all. (shrink)

Kaplan says that monsters violate Principle 2 of his theory. Principle 2 is that indexicals, pure and demonstrative alike, are directly referential. In providing this explanation of there being no monsters, Kaplan feels his theory has an advantage over double-indexing theories like Kamp’s or Segerberg’s (or Stalnaker’s), which either embrace monsters or avoid them only by ad hoc stipulation, in the sharp conceptual distinction it draws between circumstances of evaluation and contexts of utterance. We shall argue that Kaplan’s prohibition is (...) also essentially stipulative, and that it is too general. The main difference between ourselves and Kaplan is that the basic carriers of a truth-value is a sentence-in-a-context; our account is utterance-based. (shrink)

The work of mathematician and logician Alfred Tarski (1901--1983) marks the transition from substantial to deflationary views about truth.

Wilfrid Hodges; VIII*—Truth in a Structure, Proceedings of the Aristotelian Society, Volume 86, Issue 1, 1 June 1986, Pages 135–152, https://doi.org/10.1093/ari.

Written by two of the leading figures in the field, this is a lucid and systematic introduction to semantics as applied to transformational grammars of the ...

This book critically examines some widespread views about the semantic phenomenon of reference and the cognitive phenomenon of singular thought. It begins with a defense of the view that neither is tied to a special relation of causal or epistemic acquaintance. It then challenges the alleged semantic rift between definite and indefinite descriptions on the one hand, and names and demonstratives on the other—a division that has been motivated in part by appeals to considerations of acquaintance. Drawing on recent work (...) in semantics, the book explores a more unified account of all four types of expression, according to which none of them paradigmatically fits the profile of a referential term. On the proposed framework, all four involve existential quantification but admit of uses that exhibit many of the traits associated with reference—a phenomenon that is due to the presence of what we call a ‘singular restriction’ on the existentially quantified domain. The book concludes by drawing out some implications of the proposed semantic picture for the traditional categories of reference and singular thought. (shrink)

This volume reprints eight of Anil Gupta's essays, some with additional material. The essays bring a refreshing new perspective to central issues in philosophical logic, philosophy of language, and epistemology.

About twenty-five years ago, Charles Parsons published a paper that began by asking why we still discuss the Liar Paradox. Today, the question seems all the more apt. In the ensuing years we have seen not only Parsons’ work (1974), but seminal work of Saul Kripke (1975), and a huge number of other important papers. Too many to list. Surely, one of them must have solved it! In a way, most of them have. Most papers on the Liar Paradox offer (...) some explanation of the behavior of paradoxical sentences, and most also offer some extension for the predicate ‘true’ that they think is adequate, at least in some restricted setting. But if this is a solution, then the problem we face is far from a lack of solutions; rather, we have an overabundance of conflicting ones. Kripke’s work alone provides us with uncountably many different extensions for the truth predicate. Even if it so happens that one of these is a conclusive solution, we do not seem to know which one, or why. We should also ask, given that we are faced with many technically elegant but contradictory views, if they are really all addressing the same problem. What we lack is not solutions, but a way to compare and evaluate the many ones we have. (shrink)

If we try to evaluate the sentence on line 1 we ¯nd ourselves going in an unending cycle. For this reason alone we may conclude that the sentence is not true. Moreover we are driven to this conclusion by an elementary argument: If the sentence is true then what it asserts is true, but what it asserts is that the sentence on line 1 is not true. Consequently the sentence on line 1 is not true. But when we write this (...) true conclusion on line 2 we ¯nd ourselves repeating the very same sentence. It seems that we are unable to deny the truth of the sentence on line 1 without asserting it at the same time. (shrink)

There is an obvious difference between what a term designates and what it means. At least it is obvious that there is a difference. In some way, meaning determines designation, but is not synonymous with it. After all, “the morning star” and “the evening star” both designate the planet Venus, but don't have the same meaning. Intensional logic attempts to study both designation and meaning and investigate the relationships between them.

Contents: Preface VII; Introduction 1; 1. The General Framework 5; 2. Some Standard Systems 61; 3. Systems in General 147; 4. Non-Standard Systems 177; Bibliography 210; General Index 215; Index of Symbols 219-220.

A correspondence theory of truth explains truth in terms of various correspondence relations (e.G., Reference) between words and the extralinguistic world. What are the consequences of quine's doctrine of indeterminacy for correspondence theories? in "ontological relativity" quine implicitly claims that correspondence theories are impossible; that is what the doctrine of 'relative reference' amounts to. But quine's doctrine of relative reference is incoherent. Those who think the indeterminacy thesis valid should not try to relativize reference, They should abandon the relation and (...) replace it by certain more general correspondence relations between words and extralinguistic objects. Doing so will not interfere with the task of defining truth in terms of correspondence relations. (shrink)

The main thesis of this paper is that we sometimes are disposed to accept false and even jointly inconsistent claims by virtue of our semantic competence, and that this comes to light in the sorites and liar paradoxes. Among the subsidiary theses are that this is an important source of indeterminacy in truth conditions, that we must revise basic assumptions about semantic competence, and that classical logic and bivalence can be upheld in the face of the sorites paradox.

It is widely supposed that every entity falls into one of twocategories: Some are concrete; the rest abstract. The distinction issupposed to be of fundamental significance for metaphysics andepistemology. This article surveys a number of recent attempts to sayhow it should be drawn.

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)

In Situations and Individuals, Paul Elbourne argues that the natural language expressions that have been taken to refer to individuals — pronouns, proper names, and definite descriptions — have a common syntax and semantics, roughly that of definite descriptions as construed in the tradition of Frege. In the course of his argument, Elbourne shows that proper names have previously undetected donkey anaphoric readings.This is contrary to previous theorizing and, if true, would undermine what philosophers call the direct reference theory (which (...) holds that the sole contribution of a proper name to the truth conditions of a sentence is an individual) as well as the related doctrine that proper names are rigid designators. Elbourne begins by addressing donkey anaphora, relating other concerns about pronouns to the solution of this notorious problem. His subsequent argumentation provides a unified semantics for the donkey anaphoric and bound and referential uses of pronouns and discusses the prospect of unifying the syntax and semantics of pronouns with the syntax and semantics of normal definite descriptions. Elbourne's aim is not only to advance his proposal of a unified syntax and semantics but also to urge linguists and philosophers dealing with pronoun interpretation to consider a wider range of theories than they do at present, and to test the competing claims of description-based theories and dynamic semantics against the data. (shrink)

Kevin Scharp proposes an original theory of the nature and logic of truth on which truth is an inconsistent concept that should be replaced for certain theoretical purposes. He argues that truth is best understood as an inconsistent concept, and proposes a detailed theory of inconsistent concepts that can be applied to the case of truth. Truth also happens to be a useful concept, but its inconsistency inhibits its utility; as such, it should be replaced with consistent concepts that can (...) do truth's job without giving rise to paradoxes. To this end, Scharp offers a pair of replacements, which he dubs ascending truth and descending truth, along with an axiomatic theory of them and a new kind of possible-worlds semantics for this theory. He goes to develop Davidson's idea that truth is best understood as the core of a measurement system for rational phenomena, and offers a semantic theory that treats truth predicates as assessment-sensitive and solves the problems posed by the liar and other paradoxes. (shrink)

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)

Bertrand Russell was one of the greatest logicians since Aristotle, and one of the most important philosophers of the past two hundred years. As we approach the 125th anniversary of the Nobel laureate's birth, his works continue to spark debate, resounding with unmatched timeliness and power. The Problems of Philosophy, one of the most popular works in Russell's prolific collection of writings, has become core reading in philosophy. Clear and accessible, this little book is an intelligible and stimulating guide to (...) those problems of philosophy which often mistakenly lead to its status as too lofty and abstruse for the lay mind. Focusing on problems he believes will provoke positive and constructive discussion, Russell concentrates on knowledge rather than metaphysics, steering the reader through his famous 1910 distinction between "knowledge by acquaintance and knowledge by description," and introducing important theories of Descartes, Kant, Hegel, Hume, Locke, Plato, and others to lay the foundation for philosophical inquiry by general readers and scholars alike.With a new introduction by John Perry, this valuable work is a perfect introduction to the field and will continue to stimulate philosophical discussion as it has done for nearly forty years. (shrink)

This is an attempt at reviving Kneale's version of the description theory of names, which says that a proper name is synonymous with a definite description of the form ‘the individual named so-and-so’. To begin with, I adduce a wide range of observations to show that names and overt definites are alike in all relevant respects. I then turn to Kripke's main objection against Kneale's proposal, and endeavour to refute it. In the remainder of the paper I elaborate on Kneale's (...) analysis, adopting a theory of presupposition proposed by van der Sandt. (shrink)

In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...) Century began. Advances in these disciplines make even the most unaccomplished of its practitioners vastly more sophisticated than Kant. There were previous periods in which the problems of language and logic were studied extensively (e.g. the medieval period). But from the perspective of the progress made in the last 120 years, previous work is at most a source of interesting data or occasional insight. All systematic theorizing about content that meets contemporary standards of rigor has been done subsequently. (shrink)

THE PHILOSOPHY which I advocate is generally regarded as a species of realism, and accused of inconsistency because of the elements in it which seem contrary to that doctrine. For my part, I do not regard the issue between realists and their opponents as a funda- mental one; I could alter my view on this issue without changing my mind as to any of the doctrines upon which I wish to lay stress. I hold that logic is what is fundamental (...) in philosophy, and that schools should be characterized rather by their logic than by their metaphysic. My own logic is atomic, and it is this aspect upon which I should wish to lay stress. Therefore I prefer to describe my philosophy as "logical atomism," rather than as "realism," whether with or without some prefixed adjective. (shrink)

In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.

The essays in this volume represent an approach to human knowledge that has had a profound influence on many recent thinkers. Popper breaks with a traditional commonsense theory of knowledge that can be traced back to Aristotle. A realist and fallibilist, he argues closely and in simple language that scientific knowledge, once stated in human language, is no longer part of ourselves but a separate entity that grows through critical selection.

The problem of absolute generality has attracted much attention in recent philosophy. Agustin Rayo and Gabriel Uzquiano have assembled a distinguished team of contributors to write new essays on the topic. They investigate the question of whether it is possible to attain absolute generality in thought and language and the ramifications of this question in the philosophy of logic and mathematics.

In epistemology and in philosophy of language there is fierce debate about the role of context in knowledge, understanding, and meaning. Many contemporary epistemologists take seriously the thesis that epistemic vocabulary is context-sensitive. This thesis is of course a semantic claim, so it has brought epistemologists into contact with work on context in semantics by philosophers of language. This volume brings together the debates, in a set of twelve specially written essays representing the latest work by leading figures in the (...) two fields. All future work on contextualism will start here. Contributors: Kent Bach, Herman Cappelen, Andy Egan, Michael Glanzberg, John Hawthorne, Ernest Lepore, Peter Ludlow, Peter Pagin, Georg Peter, Paul M. Pietroski, Gerhard Preyer, Jonathan Schaffer, Jason Stanley, Brian Weatherson, Timothy Williamson. (shrink)