This is an extensively revised edition of Mr. Quine's introduction to abstract set theory and to various axiomatic systematizations of the subject.

" This is a key book for understanding the effort that a major philosopher has made a large part of his life's work: to naturalize epistemology in the twentieth ...

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

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

A renewal of philosophy is precisely the point of this book, drawn from the 1989 Gifford Lectures by one of America's most distinguished philosophers.

UNCLEAR as it is, the traditional doctrine that the notion "meaning" possesses the extension/intension ambiguity has certain typical consequences. The doctrine that the meaning of a term is a concept carried the implication that mean- ings are mental entities. Frege, however, rebelled against this "psy- chologism." Feeling that meanings are public property-that the same meaning can be "grasped" by more than one person and by persons at different times-he identified concepts (and hence "intensions" or meanings) with abstract entities rather than (...) mental entities. However, "grasping" these abstract entities was still an individual psychological act. None of these philosophers doubted that understanding a word (knowing its intension) was just a matter of being in a certain psychological state (somewhat in the way in which knowing how to factor numbers in one's head is just a mat- ter of being in a certain very complex psychological state). (shrink)

Introduction The contributors to this volume were asked to write on some aspect of a problem area which has been the focus of much controversy, ...

The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

The modal logician's notion of possible world and the computer scientist's notion of state of a machine provide a point of commonality which can form the foundation of a logic of action. Extending ordinary modal logic with the calculus of binary relations leads to a very natural logic for describing the behavior of computer programs.

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Since its publication in 1959, Individuals has become a modern philosophical classic. Bold in scope and ambition, it continues to influence debates in metaphysics, philosophy of logic and language, and epistemology. Peter Strawson's most famous work, it sets out to describe nothing less than the basic subject matter of our thought. It contains Strawson's now famous argument for descriptive metaphysics and his repudiation of revisionary metaphysics, in which reality is something beyond the world of appearances. Throughout, Individuals advances some highly (...) influential and controversial ideas, such as 'non-solipsistic consciousness' and the concept of a person a 'primitive concept'. (shrink)

In this book Terence Parsons revives the older tradition of taking such objects at face value. Using various modern techniques from logic and the philosophy of language, he formulates a metaphysical theory of nonexistent objects. The theory is given a formalization in symbolism rich enough to contain definite descriptions, modal operators, and epistemic contexts, and the book includes a discussion which relates the formalized theory explicitly to English.

The main puzzle about theoretical definitions is that nothing seems to decide which assumptions contribute to such definitions and which do not. I argue that theoretical definitions are indeed imprecise, but that this does not normally matter, since the definitional imprecision does not normally produce indeterminacy of referential value. Sometimes, however, the definitional imprecision is less benign, and does generate referential indeterminacy. In these special cases, but not otherwise, it is necessary to refine the term's definition.

Functionalism faces a problem in accounting for the semantic powers of beliefs and other mental states. Simple causal considerations will not solve this problem, nor will any appeal to the social utility of semantic interpretations. The correct analysis of semantic representation is a teleological one, in terms of the biological purposes of mental states: whereas functionalism focuses, so to speak, only on the structure of the cognitive mechanism, the semantic perspective requires in addition that we consider the purposes of the (...) cognitive mechanism's parts. (shrink)

In this paper I defend an etiological theory of biological functions (according to which the proper function of a trait is the effect for which it was selected by natural selection) against three objections which have been influential. I argue, contrary to Millikan, that it is wrong to base our defense of the theory on a rejection of conceptual analysis, for conceptual analysis does have an important role in philosophy of science. I also argue that biology requires a normative notion (...) of a "proper function", and that a normative notion is not ahistorical. (shrink)

Human beings have the unique ability to view the world in a detached way: We can think about the world in terms that transcend our own experience or interest, and consider the world from a vantage point that is, in Nagel's words, "nowhere in particular". At the same time, each of us is a particular person in a particular place, each with his own "personal" view of the world, a view that we can recognize as just one aspect of the (...) whole. How do we reconcile these two standpoints--intellectually, morally, and practically? To what extent are they irreconcilable and to what extent can they be integrated? Thomas Nagel's ambitious and lively book tackles this fundamental issue, arguing that our divided nature is the root of a whole range of philosophical problems, touching, as it does, every aspect of human life. He deals with its manifestations in such fields of philosophy as: the mind-body problem, personal identity, knowledge and skepticism, thought and reality, free will, ethics, the relation between moral and other values, the meaning of life, and death. Excessive objectification has been a malady of recent analytic philosophy, claims Nagel, it has led to implausible forms of reductionism in the philosophy of mind and elsewhere. The solution is not to inhibit the objectifying impulse, but to insist that it learn to live alongside the internal perspectives that cannot be either discarded or objectified. Reconciliation between the two standpoints, in the end, is not always possible. (shrink)

It has been maintained that we need not tolerate such entities as pains, events, tasks, and obligations. They are indeed not required in connection with sentences like ‘Jones has a pain’, ‘the event of the sun’s rising occurred at eight’, ‘Jones performed at eight the task of lifting a stone’, or ‘Jones has the obligation to give Smith a horse’, which can be paraphrased without reference to the entities in question—for instance, in the case of the second example, as ‘the (...) sun rose at eight’. (shrink)

This collection of essays serves both as an introduction to Ruth Millikan’s much-discussed volume Language, Thought, and Other Biological Categories and as an extension and application of Millikan’s central themes, especially in the philosophy of psychology. The title essay discusses meaning rationalism and argues that rationality is not in the head, indeed, that there is no legitimate interpretation under which logical possibility and necessity are known a priori. In other essays, Millikan clarifies her views on the nature of mental representation, (...) explores whether human thought is a product of natural selection, examines the nature of behavior as studied by the behavioral sciences, and discusses the issues of individualism in psychology, psychological explanation, indexicality in thought, what knowledge is, and the realism/antirealism debate. Table of Contents Preface Acknowledgments Introduction 1 In Defense of Proper Functions 2 Propensities, Exaptations, and the Brain 3 Thoughts without Laws 4 Biosemantics 5 On Mentalese Orthography, Part 1 6 Compare and Contrast Dretske, Fodor, and Millikan on Teleosemantics 7 What Is Behavior? A Philosophical Essay on Ethology and Individualism in Psychology, Part 1 8 The Green Grass Growing All Around: A Philosophical Essay on Ethology and Individualism in Psychology, Part 2 9 Explanation in Biopsychology 10 Metaphysical Antirealism? 11 Truth Rules, Hoverflies, and the Kripke-Wittgenstein Paradox 12 Naturalist Reflections on Knowledge 13 The Myth of the Essential Indexical 14 White Queen Psychology; or, The Last Myth of the Given References Index. (shrink)

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 ...