ON BROUWER, like other titles in the Wadsworth Philosopher's Series, offers a concise, yet comprehensive, introduction to this philosopher's most important ideas. Presenting the most important insights of well over a hundred seminal philosophers in both the Eastern and Western traditions, the Wadsworth Philosophers Series contains volumes written by scholars noted for their excellence in teaching and for their well-versed comprehension of each featured philosopher's major works and contributions. These titles have proven valuable in a number of ways. Serving as (...) standalone texts when tackling a philosophers' original sources or as helpful resources for focusing philosophy students' engagements with these philosopher's often conceptually daunting works, these titles have also gained extraordinary popularity with a lay readership and quite often serve as "refreshers" for philosophy instructors. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

In this paper I present some difficulties for Lewis’s and similar theories of counterfactuals, and suggest that the problem lies in the notion of absolute similarity. In order to explain the problem, I discuss the relation between Lewis’s and Goodman’s theory, and show that the two theories are not related in the way Lewis thought they were.

This chapter aims to provide materials with which to substantiate the claim that, under the appropriate circumstances, the notion of analyticity can help explain how one might have a priori knowledge even in the strong sense. It argues that Implicit Definition, properly understood, is completely independent of any form of irrealism about logic. The chapter defends the thesis of Implicit Definition against Quine's criticisms, and examines the sort of account of the apriority of logic that this doctrine is able to (...) provide. The chapter shows that, against the background of a rejection of indeterminacy, its insolubility cannot be conceded. It also argues that neither a non‐factualism about Frege‐analyticity, nor an error thesis about it, can plausibly fall short of an outright rejection of meaning itself. The chapter shows how the doctrine that appears to offer the most promising account of how we grasp the meanings of the logical constants. (shrink)

A study of Pyrrhonean scepticism, consisting of a new translation of Sextus Empiricus' Outlines of Pyrrhonism, accompanied by an analytic introduction and an in-depth, section-by-section commentary - the first of its kind available.

Since virtually every mathematical theory can be interpreted in set theory, the latter is a foundation for mathematics. Whether set theory, as opposed to any of its rivals, is the right foundation for mathematics depends on what a foundation is for. One purpose is philosophical, to provide the metaphysical basis for mathematics. Another is epistemic, to provide the basis of all mathematical knowledge. Another is to serve mathematics, by lending insight into the various fields. Another is to provide an arena (...) for exploring relations and interactions between mathematical fields, their relative strengths, etc. Given the different goals, there is little point to determining a single foundation for all of mathematics. (shrink)

SUGGESTED COURSES Introductory level A (Requires very little background in logic .): 4: -9 - - -7 -2 Introductory level B: -9,:+-+ -,2:+,2: -,3:20+-22+ -7 -2 ...

This exploration of a notorious mathematical problem is the work of the man who discovered the solution. Written by an award-winning professor at Stanford University, it employs intuitive explanations as well as detailed mathematical proofs in a self-contained treatment. This unique text and reference is suitable for students and professionals. 1966 edition. Copyright renewed 1994.

Equality1 gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between objects, or between names or signs of objects? In my Begriffsschrift I assumed the latter. The reasons which seem to favour this are the following: a = a and a = b are obviously statements of differing cognitive value; a = a holds a priori and, according to Kant, is to be labeled analytic, while statements of the form a = (...) b often contain very valuable extensions of our knowledge and cannot always be established a priori. The discovery that the rising sun is not new every morning, but always the same, was one of the most fertile astronomical discoveries. Even to-day the identification of a small planet or a comet is not always a matter of course. Now if we were to regard equality as a relation between that which the names ‘a’ and ‘b’ designate, it would seem that a = b could not differ from a = a (i.e. provided a = b is true). A relation would thereby be expressed of a thing to itself, and indeed one in which each thing stands to itself but to no other thing. What is intended to be said by a = b seems to be that the signs or names ‘a’ and ‘b’ designate the same thing, so that those signs themselves would be under discussion; a relation between them would be asserted. But this relation would hold between the names or signs only in so far as they named or designated something. It would be mediated by the connexion of each of the two signs with the same designated thing. But this is arbitrary. Nobody can be forbidden to use any arbitrarily producible event or object as a sign for something. In that case the sentence a = b would no longer refer to the subject matter, but only to its mode of designation; we would express no proper knowledge by its means. But in many cases this is just what we want to do. If the sign ‘a’ is distinguished from the sign ‘b’ only as object (here, by means of its shape), not as sign (i.e. not by the manner in which it designates something), the cognitive value of a = a becomes essentially equal to that of a = b, provided a = b is true.. (shrink)

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the theory of concept (...) possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

Several of these essays have been printed whole in journals; others are in varying degrees new. Two main themes run through them. One is the problem of meaning, particularly as involved in the notion of an analytic statement. The other is the notion of ontological, commitment, particularly as involved in the problem of universals.

Introduction As the title indicates, the chief focus of this book is epistemic justification. But just what is epistemic justification and what is its place ...

For this second edition, the editors have returned to Austin's original lecture notes, amending the printed text where it seemed necessary.

No study in the philosophy of science created such controversy in the seventies as Paul Feyerabend's Against Method. In this work, Feyerabend reviews that controversy, and extends his critique beyond the problem of scientific rules and methods, to the social function and direction of science today. In the first part of the book, he launches a sustained and irreverent attack on the prestige of science in the West. The lofty authority of the "expert" claimed by scientists is, he argues, incompatible (...) with any genuine democracy, and often merely serves to conceal entrenched prejudices and divided opinions with the scientific community itself. Feyerabend insists that these can and should be subjected to the arbitration of the lay population, whose closes interests they constantly affect—as struggles over atomic energy programs so powerfully attest. Calling for far greater diversity in the content of education to facilitate democratic decisions over such issues, Feyerabend recounts the origin and development of his own ideas—successively engaged by Brecht, Ehrenhaft, Popper, Mill and Lakatos—in a spirited intellectual self-portrait. Science in a Free Society is a striking intervention into one of the most topical debates in contemporary culture and politics. (shrink)

Ernest Sosa argues for two levels of knowledge, the animal and the reflective, each viewed as a distinctive human accomplishment.

Paul Horwich's main aim in Reflections on Meaning is to explain how mere noises, marks, gestures, and mental symbols are able to capture the world--that is, how words and sentences (in whatever medium) come to mean what they do, to stand for certain things, to be true or false of reality. His answer is a groundbreaking development of Wittgenstein's idea that the meaning of a term is nothing more than its use. While the chapters here have appeared as individual essays, (...) Horwich has edited them to make a continuous argument, focused on articulating and developing an important new conception of language. (shrink)

"A valuable collection both for original source material as well as historical formulations of current problems."-- The Review of Metaphysics "Much more than a mere collection of papers . . . a valuable addition to the literature."-- Mathematics of Computation An anthology of fundamental papers on undecidability and unsolvability by major figures in the field, this classic reference opens with Godel's landmark 1931 paper demonstrating that systems of logic cannot admit proofs of all true assertions of arithmetic. Subsequent papers by (...) Godel, Church, Turing, and Post single out the class of recursive functions as computable by finite algorithms. Additional papers by Church, Turing, and Post cover unsolvable problems from the theory of abstract computing machines, mathematical logic, and algebra, and material by Kleene and Post includes initiation of the classification theory of unsolvable problems. Suitable for graduate and undergraduate courses. 1965 ed. (shrink)

This new and expanded edition of The Logic of Real Arguments explains a distinctive method for analysing and evaluating arguments. It discusses many examples, ranging from newspaper articles to extracts from classic texts, and from easy passages to much more difficult ones. It shows students how to use the question 'What argument or evidence would justify me in believing P?', and also how to deal with suppositional arguments beginning with the phrase 'Suppose that X were the case.' It aims to (...) help students to think critically about the kind of sustained, theoretical arguments which they commonly encounter in the course of their studies, including arguments about the natural world, about society, about policy, and about philosophy. It will be valuable for students and their teachers in a wide range of disciplines including philosophy, law and the social sciences. (shrink)

Kit Fine develops a Fregean theory of abstraction, and suggests that it may yield a new philosophical foundation for mathematics, one that can account for both our reference to various mathematical objects and our knowledge of various mathematical truths. The Limits ofion breaks new ground both technically and philosophically.

Katherine Hawley explores and compares three theories of persistence -- endurance, perdurance, and stage theories - investigating the ways in which they attempt to account for the world around us. Having provided valuable clarification of its two main rivals, she concludes by advocating stage theory.

Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the (...) most powerful presentation yet of a neo-Fregean program. (shrink)

This book is concerned with the role of intuitions in the justification of philosophical theory. The author begins by demonstrating how contemporary philosophers, whether engaged in case-driven analysis or seeking reflective equilibrium, rely on intuitions as evidence for their theories. The author then provides an account of the nature of philosophical intuitions and distinguishes them from other psychological states. Finally, the author defends the use of intuitions as evidence by demonstrating that arguments for skepticism about their evidential value are either (...) self-defeating or guilty of arbitrary and unjustified partiality towards non-intuitive modes of knowledge. (shrink)

In this book, Balaguer demonstrates that there are no good arguments for or against mathematical platonism. He does this by establishing that both platonism and anti-platonism are defensible views. Introducing a form of platonism ("full-blooded platonism") that solves all problems traditionally associated with the view, he proceeds to defend anti-platonism (in particular, mathematical fictionalism) against various attacks, most notably the Quine-Putnam indispensability attack. He concludes by arguing that it is not simply that we do not currently have any good argument (...) for or against platonism, but that we could never have such an argument and, indeed, that there is no fact of the matter as to whether platonism is correct. (shrink)

This is the first single-volume edition and translation of Frege's philosophical writings to include his seminal papers as well as substantial selections from ...

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both disciplines.

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics (...) is about things that really exist. (shrink)

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

The book also comes with an exhaustive array of study aids that enable the reader to monitor and enhance the learning process.

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

Mathematicians tend to think of themselves as scientists investigating the features of real mathematical things, and the wildly successful application of mathematics in the physical sciences reinforces this picture of mathematics as an objective study. For philosophers, however, this realism about mathematics raises serious questions: What are mathematical things? Where are they? How do we know about them? Offering a scrupulously fair treatment of both mathematical and philosophical concerns, Penelope Maddy here delineates and defends a novel version of mathematical realism. (...) She answers the traditional questions and poses a challenging new one, refocusing philosophical attention on the pressing foundational issues of contemporary mathematics. (shrink)

Of course we all know now that mathematics has proved that logic doesn't really make sense, but Etchemendy (philosophy, Stanford Univ.) goes further and challenges the received view of the conceptual underpinnings of modern logic by arguing that Tarski's model-theoretic analysis of logical consequences is wrong. He may have found the soft underbelly of the dead horse. Annotation copyrighted by Book News, Inc., Portland, OR.

Anti-realism is a doctrine about logic, language, and meaning that is based on the work of Wittgenstein and Frege. In this book, Professor Tennant clarifies and develops Dummett's arguments for anti-realism and ultimately advocates a radical reform of our logical practices.

The basic question of this monograph is: how should we go about judging arguments to be reasonable or unreasonable? Our concern will be with argument in a broad sense, with realistic arguments in natural language. The basic object will be to engage in a normative study of determining what factors, standards, or procedures should be adopted or appealed to in evaluating an argument as "good," "not-so-good," "open to criticism," "fallacious," and so forth. Hence our primary concern will be with the (...) problems of how to criticize an argument, and when a criticism is reasonably justified. (shrink)

In his new foreword to this edition, Hilary Putnam forcefully rejects these nativist claims.

This is the third volume of Hilary Putnam's philosophical papers, published in paperback for the first time. The volume contains his major essays from 1975 to 1982, which reveal a large shift in emphasis in the 'realist'_position developed in his earlier work. While not renouncing those views, Professor Putnam has continued to explore their epistemological consequences and conceptual history. He now, crucially, sees theories of truth and of meaning that derive from a firm notion of reference as inadequate.

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)