Orthodoxy says that the thesis that composition is identity (CAI) entails universalism: the claim that any collection of entities has a sum. If this is true it counts in favour of CAI, since a thesis about the nature of composition that settles the otherwise intractable special composition question (SCQ) is desirable. But I argue that it is false: CAI is compatible with the many forms of restricted composition, and SCQ is no easier to answer given CAI than otherwise. Furthermore, in (...) seeing why this is the case we reveal an objection to CAI: that it allows for the facts concerning what there is to be settled whilst leaving open the question about what is identical to what. (shrink)

This is a short response to Aaron Cotnoir's 'Composition as General Identity', in which I suggest some further applications of his ideas, and try to press the question of why we should think of his 'general identity relation' as a genuine identity relation.

Reasoning about situations we take to be impossible is useful for a variety of theoretical purposes. Furthermore, using a device of impossible worlds when reasoning about the impossible is useful in the same sorts of ways that the device of possible worlds is useful when reasoning about the possible. This paper discusses some of the uses of impossible worlds and argues that commitment to them can and should be had without great metaphysical or logical cost. The paper then provides an (...) account of reasoning with impossible worlds, by treating such reasoning as reasoning employing counterpossible conditionals, and provides a semantics for the proposed treatment. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

This book, based on Jaegwon Kim's 1996 Townsend Lectures, presents the philosopher's current views on a variety of issues in the metaphysics of the mind...

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

Thomas Reid was a philosopher who founded the Scottish school of 'common sense'. Much of Reid's work is a critique of his contemporary, David Hume, whose empiricism he rejects. In this work, written after Reid's appointment to a professorship at the university of Glasgow, and published in 1785, he turns his attention to ideas about perception, memory, conception, abstraction, judgement, reasoning and taste. He examines the work of his predecessors and contemporaries, arguing that 'when we find philosophers maintaining that there (...) is no heat in the fire, nor colour in the rainbow … we may be apt to think the whole to be only a dream of fanciful men, who have entangled themselves in cobwebs spun out of their own brain'. Written by one of the Scottish Enlightenment's most important thinkers, this work brings to life the intellectual debates of the time. (shrink)

In this study of events and their places in our language and thought, Bennett propounds and defends views about what kind of item an event is, how the language of events works, and about how these two themes are interrelated. He argues that most of the supposedly metaphysical literature is really about the semantics of their names, and that the true metaphysic of events--known by Leibniz and rediscovered by Kim--has not been universally accepted because it has been tarred with the (...) brush of a false semantic theory. (shrink)

Two things become one thing, something having parts, and something becoming something else, are cases of many things being identical with one thing. This apparent contradiction introduces others concerning transitivity of identity, discernibility of identicals, existence, and vague existence. I resolve the contradictions with a theory that identity, number, and existence are relative to standards for counting. What are many on some standard are one and the same on another. The theory gives an account of the discernibility of identicals using (...) phrases like “insofar as”. And it holds that standards for counting remain or shift depending on our purposes. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

are synthetic a priori judgements possible?" In both cases, i~thas usually been t'aken for granted in fife one case by Kant that synthetic a priori judgements were possible, and in the other case in contemporary,'d-". philosophical literature that contingent statements of identity are ppss. ible. I do not intend to deal with the Kantian question except to mention:ssj~".

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

Provides comprehensive coverage of logical structure as well as the techniques of formal reasoning.

Hailed by the Bulletin of the American Mathematical Society as "undoubtedly a major addition to the literature of mathematical logic," this volume examines the essential topics and theorems of mathematical reasoning. No background in logic is assumed, and the examples are chosen from a variety of mathematical fields. Starting with an introduction to symbolic logic, the first eight chapters develop logic through the restricted predicate calculus. Topics include the statement calculus, the use of names, an axiomatic treatment of the statement (...) calculus, descriptions, and equality. Succeeding chapters explore abstract set theory—with examinations of class membership as well as relations and functions—cardinal and ordinal arithmetic, and the axiom of choice. An invaluable reference book for all mathematicians, this text is suitable for advanced undergraduates and graduate students. Numerous exercises make it particularly appropriate for classroom use. (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.

This new volume on logic follows a recognizable format that deals in turn with the topics of mathematical logic, moving from concepts, via definitions and inferences, to theories and axioms. However, this fresh work offers a key innovation in its ‘pyramidal’ graph system for the logical formalization of all these items. The author has developed this new methodology on the basis of original research, traditional logical instruments such as Porphyrian trees, and modern concepts of classification, in which pyramids are the (...) central organizing concept. The pyramidal schema enables both the content of concepts and the relations between the concept positions in the pyramid to be read off from the graph. Logical connectors are analyzed in terms of the direction in which they connect within the pyramid. Additionally, the author shows that logical connectors are of fundamentally different types: only one sort generates propositions with truth values, while the other yields conceptual expressions or complex concepts. On this basis, strong arguments are developed against adopting the non-discriminating connector definitions implicit in Wittgensteinian truth-value tables. Special consideration is given to mathematical connectors so as to illuminate the formation of concepts in the natural sciences. To show what the pyramidal method can contribute to science, a pyramid of the number concepts prevalent in mathematics is constructed. The book also counters the logical dogma of ‘false’ contradictory propositions and sheds new light on the logical characteristics of probable propositions, as well as on syllogistic and other inferences. (shrink)

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

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

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

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...) the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

According to Peter van Inwagen, visible inanimate objects do not, strictly speaking, exist. In defending this controversial thesis, he offers fresh insights on such topics as personal identity, commonsense belief, existence over time, the phenomenon of vagueness, and the relation between metaphysics and ordinary language.

1. 1. PROGRAM It will be our aim to reconstruct, with precision, certain views which have been traditionally associated with nominalism and to investigate problems arising from these views in the construction of interpreted formal systems. Several such systems are developed in accordance with the demand that the sentences of a system which is acceptable to a nominalist must not imply the existence of any entities other than individuals. Emphasis will be placed on the constructionist method of philosophical analysis. To (...) follow this method is to introduce the central notions of the subject-matter to be investigated into a system governed by exact rules. For example, the constructionist method of investigating the properties of geometric figures may consist in formulating a system of postulates and definitions which, together with the apparatus of formal logic, generates all necessary truths concerning geometric figures. Similarly, a constructionist analysis of the notion of an individual may take the form of an axiomatic theory whose provable assertions are just those which seem essential to the role played by the concept of an individual in system atic contexts. Such axiomatic theories gain in interest if they are supple mented by precise semantical rules specifying the denotation of all terms and the truth conditions of all sentences of the theory. (shrink)

Thinking about space is thinking about spatial things. The table is on the carpet; hence the carpet is under the table. The vase is in the box; hence the box is not in the vase. But what does it mean for an object to be somewhere? How are objects tied to the space they occupy? This book is concerned with these and other fundamental issues in the philosophy of spatial representation. Our starting point is an analysis of the interplay between (...) mereology (the study of part/whole relations), topology (the study of spatial continuity and compactness), and the theory of spatial location proper. This leads to a unified framework for spatial representation understood quite broadly as a theory of the representation of spatial entities. The framework is then tested against some classical metaphysical questions such as: Are parts essential to their wholes? Is spatial colocation a sufficient criterion of identity? What (if anything) distinguishes material objects from events and other spatial entities? The concluding chapters deal with applications to topics as diverse as the logical analysis of movement and the semantics of maps. (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

Physical boundaries and the earliest topologists. Topology has a relatively short history; but its 19th century roots are embedded in philosophical problems about the nature of extended substances and their boundaries which go back to Zeno and Aristotle. Although it seems that there have always been philosophers interested in these matters, questions about the boundaries of three-dimensional objects were closest to center stage during the later medieval and modern periods. Are the boundaries of an object actually existing, less-than-three-dimensional parts of (...) the object—that is, are solids bounded by two-dimensional surfaces, surfaces by one-dimensional “edges” or “physical lines”, edges by dimensionless “simples”? If not, how does a perfectly spherical object manage to touch a perfectly flat object—what part of the sphere is in immediate contact with the plane, if the sphere has no unextended parts? But if such parts be admitted, are we not then saddled with “actual infinities” of simples, lines, and surfaces spread throughout each continuous object—the boundaries of all the object’s internal parts? Does it help to say that these internal boundaries exist only “potentially”? (shrink)

The view that actually has a reading on which it is a two-dimensional indexical modal operator has some problems.

Nihilists cannot square their position with common sense simply by paraphrasing away apparent ontological commitments in ordinary language. I argue for this claim by analogy. Paraphrase atheism says there is no God, but tries to square the truth of atheism with ordinary religious sentences by paraphrasing away apparent ontological commitments. Obviously, paraphrase does not reconcile atheism with ordinary language about God. I discuss two different reasons that paraphrase can fail and suggest that both reasons afflict paraphrase nihilism. Hence, paraphrase nihilism (...) cannot reconcile nihilism and common sense, and so nihilists must look for some other strategy that can evade the force of the Atheism Case. (shrink)

_Identity and Discrimination_, originally published in 1990 and the first book by respected philosopher Timothy Williamson, is now reissued and updated with the inclusion of significant new material. Williamson here proposes an original and rigorous theory linking identity, a relation central to metaphysics, and indiscriminability, a relation central to epistemology.__ Updated and reissued edition of Williamson’s first publication, with the inclusion of significant new material Argues for an original cognitive account of the relation between identity and discrimination that has been (...) influential in the philosophy of perception Pioneers the use of epistemic logic to solve puzzles about indiscriminability Develops the application of techniques from mathematical logic to understand issues about identity over time and across possible worlds. (shrink)