Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside The Open Society and Its Enemies as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

Graham Priest presents an expanded edition of his exploration of the nature and limits of thought. Embracing contradiction and challenging traditional logic, he engages with issues across philosophical borders, from the historical to the modern, Eastern to Western, continental to analytic.

In the fiftieth anniversary of this book’s first release, Winch’s argument remains as crucial as ever. Originally published in 1958, _The Idea of a Social Science and Its Relation to Philosophy_ was a landmark exploration of the social sciences, written at a time when that field was still young and had not yet joined the Humanities and the Natural Sciences as the third great domain of the Academy. A passionate defender of the importance of philosophy to a full understanding of (...) 'society' against those who would deem it an irrelevant 'ivory towers' pursuit, Winch draws from the works of such thinkers as Ludwig Wittgenstein, J.S. Mill and Max Weber to make his case. In so doing he addresses the possibility and practice of a comprehensive 'science of society'. (shrink)

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

In the fiftieth anniversary of this book’s first release, Winch’s argument remains as crucial as ever. Originally published in 1958, _The Idea of a Social Science and Its Relation to Philosophy_ was a landmark exploration of the social sciences, written at a time when that field was still young and had not yet joined the Humanities and the Natural Sciences as the third great domain of the Academy. A passionate defender of the importance of philosophy to a full understanding of (...) 'society' against those who would deem it an irrelevant 'ivory towers' pursuit, Winch draws from the works of such thinkers as Ludwig Wittgenstein, J.S. Mill and Max Weber to make his case. In so doing he addresses the possibility and practice of a comprehensive 'science of society'. (shrink)

Hume's brilliant and dispassionate essay Of Miracles has been added in this expanded edition of his _Dialogues Concerning Natural Religion_, which also includes Of the Immortality of the Soul, Of Suicide, and Richard Popkin's illuminating Introduction.

In this book van Fraassen develops an alternative to scientific realism by constructing and evaluating three mutually reinforcing theories.

Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...) coherent and places the problem of reliability within the province of the philosophy of mathematics. (shrink)

Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...) coherent (in an informal sense) and places the problem of reliability within the province of the philosophy of mathematics. (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)

Philosophers who regard some mathematical proofs as explaining why theorems hold, and others as merely proving that they do hold, disagree sharply about the explanatory value of proofs by mathematical induction. I offer an argument that aims to resolve this conflict of intuitions without making any controversial presuppositions about what mathematical explanations would be.

From ancient times to the present, the discovery and presentation of new proofs of previously established theorems has been a salient feature of mathematical practice. Why? What purposes are served by such endeavors? And how do mathematicians judge whether two proofs of the same theorem are essentially different? Consideration of such questions illuminates the roles that proofs play in the validation and communication of mathematical knowledge and raises issues that have yet to be resolved by mathematical logicians. The Appendix, in (...) which several proofs of the Fundamental Theorem of Arithmetic are compared, provides a miniature case study. (shrink)

How do we know that God exists? One of Britain's greatest 18th-century philosophers addresses the age-old question in this timeless dialogue. Equally captivating as a philosophical argument and as a work of literature, this classic is particularly relevant in terms of its criticism of the reasoning behind Intelligent Design.

This book presents an attempt to develop a theory of knowledge and a philosophy of mind using ideas derived from the mathematical theory of communication developed by Claude Shannon. Information is seen as an objective commodity defined by the dependency relations between distinct events. Knowledge is then analyzed as information caused belief. Perception is the delivery of information in analog form for conceptual utilization by cognitive mechanisms. The final chapters attempt to develop a theory of meaning by viewing meaning as (...) a certain kind of information-carrying role. (shrink)

This book not only outlines the indispensability argument in considerable detail but also defends it against various challenges.

Although in the past three decades interest in mathematical explanation revived, recent literature on the subject seems to neglect the strict connection between explanation and discovery. In this paper I sketch an alternative approach that takes such connection into account. My approach is a revised version of one originally considered by Descartes. The main difference is that my approach is in terms of the analytic method, which is a method of discovery prior to axiomatized mathematics, whereas Descartes’s approach is in (...) terms of the analytic–synthetic method, which is a heuristic pattern in already axiomatized mathematics. (shrink)

On a traditional view, the primary role of a mathematical proof is to warrant the truth of the resulting theorem. This view fails to explain why it is very often the case that a new proof of a theorem is deemed important. Three case studies from elementary arithmetic show, informally, that there are many criteria by which ordinary proofs are valued. I argue that at least some of these criteria depend on the methods of inference the proofs employ, and that (...) standard models of formal deduction are not well-equipped to support such evaluations. I discuss a model of proof that is used in the automated deduction community, and show that this model does better in that respect. (shrink)

This book draws its inspiration from Hilbert, Wittgenstein, Cavaillès and Lakatos and is designed to reconfigure contemporary philosophy of mathematics by making the growth of knowledge rather than its foundations central to the study of mathematical rationality, and by analyzing the notion of growth in historical as well as logical terms. Not a mere compendium of opinions, it is organised in dialogical forms, with each philosophical thesis answered by one or more historical case studies designed to support, complicate or question (...) it. The first part of the book examines the role of scientific theory and empirical fact in the growth of mathematical knowledge. The second examines the role of abstraction, analysis and axiomatization. The third raises the question of whether the growth of mathematical knowledge constitutes progress, and how progress may be understood. Readership: Students and scholars concerned with the history and philosophy of mathematics and the formal sciences. (shrink)

This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics ...

This is a philosophical investigation of the nature of the limits of thought. Drawing on recent developments in the field of logic, Graham Priest shows that the description of such limits leads to contradiction, and argues that these contradictions are in fact veridical. Beginning with an analysis of the way in which these limits arise in pre-Kantian philosophy, Priest goes on to illustrate how the nature of these limits was theorised by Kant and Hegel. He offers new interpretations of Berkeley's (...) master argument for idealism and Kant on the antimonies. He explores the paradoxes of self reference, and provides a unified account of the structure of such paradoxes. The book concludes by tracing the theme of the limits of thought in modern philosophy of language, including discussions of the ideas of Wittgenstein and Derrida. (shrink)

Since the publication of Carl Hempel and Paul Oppenheim's ground-breaking work "Studies in the Logic of Explanation," the theory of explanation has remained a major topic in the philosophy of science. This valuable collection provides readers with the opportunity to study some of the classic essays on the theory of explanation along with the best examples of the most recent work being done on the topic. In addition to the original Hempel and Oppenheim paper, the volume includes Scriven's critical reaction (...) to it, Wilfrid Sellars's discussion of the problem of theoretical explanation, and pieces by Salmon, Railton, van Fraassen, Friedman, Kitcher, and Achinstein in which they demonstrate the vitality of the subject by extending the scope of the inquiry. (shrink)

Reprint of the original, first published in 1869.

In his long-awaited new edition of Philosophy of Mathematics, James Robert Brown tackles important new as well as enduring questions in the mathematical sciences. Can pictures go beyond being merely suggestive and actually prove anything? Are mathematical results certain? Are experiments of any real value?" "This clear and engaging book takes a unique approach, encompassing nonstandard topics such as the role of visual reasoning, the importance of notation, and the place of computers in mathematics, as well as traditional topics such (...) as formalism, Platonism, and constructivism. The combination of topics and clarity of presentation make it suitable for beginners and experts alike. The revised and updated second edition of Philosophy of Mathematics contains more examples, suggestions for further reading, and expanded material on several topics including a novel approach to the continuum hypothesis."--BOOK JACKET. (shrink)

As Aristotle stated, scientific explanation is based on deductive argument--yet, Wesley C. Salmon points out, not all deductive arguments are qualified explanations. The validity of the explanation must itself be examined. _Four Decades of Scientific Explanation_ provides a comprehensive account of the developments in scientific explanation that transpired in the last four decades of the twentieth century. It continues to stand as the most comprehensive treatment of the writings on the subject during these years. Building on the historic 1948 essay (...) by Carl G. Hempel and Paul Oppenheim, "Studies in the Logic of Explanation,” which introduced the deductive-nomological model on which most work on scientific explanation was based for the following four decades, Salmon goes beyond this model's inherent basis of describing empirical knowledge to tells us “not only _what,_ but also _why_.” Salmon examines the predominant models in chronological order and describes their development, refinement, and criticism or rejection. _Four Decades of Scientific Explanation_ underscores the need for a consensus of approach and ongoing evaluations of methodology in scientific explanation, with the goal of providing a better understanding of natural phenomena. (shrink)

Philosophers have paid little attention to mathematical explanations . I present a variety of examples of mathematical explanation and examine two cases in detail. I argue that mathematical explanations have important implications for the philosophy of mathematics and of science. ;The first case study compares many proofs of Pick's theorem, a simple geometrical result. Though a simple proof surfaces to establish the result, some of the proofs explain the result better than others. The second case study comes from George Polya's (...) Mathematics and Plausible Reasoning. He gives a proof that, while entirely satisfactory in establishing its conclusion, is insufficiently explanatory. To provide a better explanation, he supplements the proof with additional exposition. ;These case studies illustrate at least two distinct explanatory virtues, and suggest there may be more. First, an explanatory improvement occurs when a sense of "arbitrariness" is reduced in the proofs. Proofs more explanatory in this way place greater restrictions on the steps that can be used to reach the conclusion. Second, explanatoriness is judged by directness of representation. More explanatory proofs allow one to ascribe geometric meaning to the terms of Pick's formula as they arise. ;I trace the lack of attention to mathematical explanations to an implicit assumption, justificationism, that only justificational aspects of mathematical reasoning are epistemically important. I propose an anti-justificationist epistemic position, the epistemic virtues view, which holds that justificational virtues, while important, are not the only ones of philosophical interest in mathematics. Indeed, explanatory benefits are rarely justificational. I show how the epistemic virtues view and the recognition of mathematical explanation can shed new light on philosophical debates. ;Mathematical explanations have consequences for philosophy of science as well. I show that mathematical explanations provide serious challenges to any theory, such as Bas van Fraassen's, that considers explanations to be fundamentally answers to why-questions. I urge a closer interaction between philosophy of mathematics and philosophy of science; both will be needed for a fuller understanding of mathematical explanation. (shrink)