Willard Van Orman Quine begins this influential work by declaring, "Language is asocial art.

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

This anthology of essays on the work of David Kaplan, a leading contemporary philosopher of language, sprang from a conference, "Themes from Kaplan," organized by the Center for the Study of Language and Information at Stanford University.

This is identical with the first edition (see 21: 2716) except for the addition of a Supplement containing 5 previously published articles and the bringing of the bibliography (now 73 items) up to date. The 5 added articles present clarifications or modifications of views expressed in the first edition. (PsycINFO Database Record (c) 2009 APA, all rights reserved).

But Findlay's remark, like so much that has been written on the subject of time in the present century, was provoked in the first place by McTaggart's ...

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

Coherent, well organized text familiarizes readers with complete theory of logical inference and its applications to math and the empirical sciences. Part I deals with formal principles of inference and definition; Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Last section introduces numerous examples of axiomatically formulated theories in both discussion and exercises. Ideal for undergraduates; no background in math or philosophy required.

Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.

Chapter One: Constructions. Entities, constructions, and functions When one travels from Los Angeles to New York, going, say, by way of St. Louis, Chicago, ...

In this book, which thoroughly revises and greatly expands his classic work Sameness and Substance, David Wiggins retrieves and refurbishes in the light of twentieth-century logic and logical theory certain conceptions of identity, of substance and of persistence through change that philosophy inherits from its past. In this new version, he vindicates the absoluteness, necessity, determinateness and all or nothing character of identity against rival conceptions. He defends a form of essentialism that he calls individuative essentialism, and then a form (...) of realism that he calls conceptualist realism. In a final chapter he advocates a human being-based conception of the identity and individuation of persons, arguing that any satisfactory account of personal memory must make reference to the life of the rememberer himself. This important book will appeal to a wide range of readers in metaphysics, philosophical logic, and analytic philosophy. (shrink)

Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...) it stems naturally from a systematic picture of the physical world. (shrink)

If it is not now determined whether there will be a sea battle tomorrow, can an assertion that there will be one be true? The problem has persisted because there are compelling arguments on both sides. If there are objectively possible futures which would make the prediction true and others which would make it false, symmetry considerations seem to forbid counting it either true or false. Yet if we think about how we would assess the prediction tomorrow, when a sea (...) battle is raging (or not), it seems we must assign the utterance a definite truth-value. I argue that both arguments must be given their due, and that this requires relativizing utterance-truth to a context of assessment. I show how this relativization can be handled in a rigorous formal semantics, and I argue that we can make coherent sense of assertion without assuming that utterances have their truth-values absolutely. (shrink)

Taking into account significant developments in the metaphysical thinking of E. J. Lowe over the past 20 years, _More Kinds of Being:A Further Study of Individuation, Identity, and the Logic of Sortal Terms_ presents a thorough reworking and expansion of the 1989 edition of _Kinds of Being_ Brings many of the original ideas and arguments put forth in _Kinds of Being_ thoroughly up to date in light of new developments Features a thorough reworking and expansion of the earlier work, rather (...) than just a new edition Reflects the author's conversion to what he calls 'the four-category ontology,' a metaphysical system that takes its inspiration from Aristotle Provides a unified discussion of individuation and identity that should prove to be essential reading for philosophers working in metaphysics. (shrink)

Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.

Kaplan claims in Demonstratives that no operator may manipulate the context of evaluation of natural language indexicals. We show that this is not so. In fact, attitude reports always manipulate a context parameter (or, rather, a context variable). This is shown by (i) the existence of De Se readings of attitude reports in English (which Kaplan has no account for), and (ii) the existence of a variety of indexicals across languages whose point of evaluation can be shifted, but only in (...) attitude reports. We develop an alternative account within an extensional framework with overt quantification over times, worlds and contexts. Various typological facts are discussed, esp. the distinction between English, Amharic and Ewe pronouns, and that between English and Russian tenses. (shrink)

CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...

This will be the best way of explaining ‘Paris is the lover of Helen’, that is, ‘Paris loves, and by that very fact [et eo ipso] Helen is loved’. Here, therefore, two propositions have been brought together and abbreviated as one. Or, ‘Paris is a lover, and by that very fact Helen is a loved one’.

This paper forms part of a wider campaign: to deny pointillisme, the doctrine that a physical theory's fundamental quantities are defined at points of space or of spacetime, and represent intrinsic properties of such points or point-sized objects located there; so that properties of spatial or spatiotemporal regions and their material contents are determined by the point-by-point facts. More specifically, this paper argues against pointillisme about the concept of velocity in classical mechanics; especially against proposals by Tooley, Robinson and Lewis. (...) A companion paper argues against pointillisme about -geometry, as proposed by Bricker. To avoid technicalities, I conduct the argument almost entirely in the context of "Newtonian" ideas about space and time, and the classical mechanics of point-particles, i.e. extensionless particles moving in a void. But both the debate and my arguments carry over to relativistic physics. Introduction The wider campaign 2.1 Connecting physics and metaphysics 2.1.1 Avoiding controversy about the intrinsic–extrinsic distinction 2.1.2 Distinction from three mathematical distinctions 2.2 Classical mechanics is not pointilliste, and can be perdurantist 2.2.1 Two versions of pointillisme 2.2.2 Two common claims 2.2.3 My contrary claims 2.3 In more detail... 2.3.1 Four violations of pointillisme 2.3.2 For perdurantism Velocity as intrinsic? 3.1 Can properties represented by vectors be intrinsic to a point? 3.2 Orthodox velocity is extrinsic but local 3.2.1 A question and a debate 3.2.2 The verdict 3.3 Against intrinsic velocity 3.3.1 A common view—and a common problem 3.3.2 Tooley's proposal and his arguments 3.3.3 Tooley's further discussion "Shadow velocities": Lewis and Robinson 4.1 The proposal 4.2 Criticism: the vector field remains unspecified 4.3 Avoiding the presupposition of persistence, using Hilbert's symbol 4.4 Comparison with Robinson and Lewis. (shrink)

According to four dimensionalism, the material world is divided into momentary stages. In a four-dimensional world, which objects are the ordinary things, the things we normally name and quantify over? Aggregates of stages, according to most four-dimensionalists, but according to stage theorists (or exdurantists), ordinary objects are instead to be identified with the stages themselves. (A temporal counterpart theoretic account of de re temporal predication is then given.) This paper argues that a stage theorist is best positioned to accept David (...) Lewis's argument from temporary intrinsics for four-dimensionalism, since stage theorists are the only four-dimensionalists who attribute monadic temporary intrinsic properties to ordinary things. (shrink)

This will be the best way of explaining ‘Paris is the lover of Helen’, that is, ‘Paris loves, and by that very fact [et eo ipso] Helen is loved’. Here, therefore, two propositions have been brought together and abbreviated as one. Or, ‘Paris is a lover, and by that very fact Helen is a loved one’.

The thin red line ( TRL ) is a theory about the semantics of future-contingents. The central idea is that there is such a thing as the ‘actual future’, even in the presence of indeterminism. It is inspired by a famous solution to the problem of divine foreknowledge associated with William of Ockham, in which the freedom of agents is argued to be compatible with God’s omniscience. In the modern branching time setting, the theory of the TRL is widely regarded (...) to suffer from several fundamental problems. In this paper we propose several new TRL semantics, each with differing degrees of success. This leads up to our final semantics, which is a cross between the TRL and supervaluationism. We discuss the notions of truth, validity and semantic consequence which result from our final semantics, and demonstrate some of its pleasing results. This account, we believe, answers the main objection in the literature, and thus places the TRL on the same level as any other competing semantics for future contingents. (shrink)

This paper deals with the historical and philosophical background of the introduction of the notion of branching time in philosophical logic as it is revealed in the hitherto unpublished mail-correspondence between Saul Kripke and A.N. Prior in the late 1950s. The paper reveals that the idea was first suggested by Saul Kripke in a letter to A.N. Prior, dated September 3, 1958, and it is shown how the elaboration of the idea in the course of the correspondence was intimately intervowen (...) with considerations of how to represent indeterminism and of the adequacy of tensed logic in light of special relativity. The correspondence underpins the point that Prior's later development of branching time may be understood as a crucial part of his attempt at the formulating a conceptual framework integrating basic human notions of time and free choice. (shrink)