Remarks on the Foundations of Mathematics


Ludwig Wittgenstein - 1956
    It was his feeling that a proper analysis of the use of language would clarify concepts and lead to the solution of (what seem to be) philosophical problems.Sometimes, Wittgenstein's expository method is pre-Socratic: a flow of disconnected statements, not unlike Heraclitean fragments, that range from clear aphorisms to cryptic oracles. Elsewhere, there are brief Socratic dialogues with imaginary persons, opponents of equally severe seriousness, representatives of the other half of Wittgenstein strove for total clarity of language as a means of solving philosophical problems, but some of his most meaningful statements here are expressed suggestively, subjectively, poetically.

Language, Truth, and Logic


A.J. Ayer - 1936
    Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex

Philosophy of Mathematics: Selected Readings


Paul Benacerraf - 1983
    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

The Logical Structure of the World and Pseudoproblems in Philosophy


Rudolf Carnap - 1928
    In The Logical Structure of the World, Carnap adopts the position of “methodological solipsism” and shows that it is possible to describe the world from the immediate data of experience. In his Pseudoproblems in Philosophy, he asserts that many philosophical problems are meaningless.

Introduction to Mathematical Philosophy


Bertrand Russell - 1918
    In it, Russell offers a nontechnical, undogmatic account of his philosophical criticism as it relates to arithmetic and logic. Rather than an exhaustive treatment, however, the influential philosopher and mathematician focuses on certain issues of mathematical logic that, to his mind, invalidated much traditional and contemporary philosophy.In dealing with such topics as number, order, relations, limits and continuity, propositional functions, descriptions, and classes, Russell writes in a clear, accessible manner, requiring neither a knowledge of mathematics nor an aptitude for mathematical symbolism. The result is a thought-provoking excursion into the fascinating realm where mathematics and philosophy meet — a philosophical classic that will be welcomed by any thinking person interested in this crucial area of modern thought.

Proofs and Refutations: The Logic of Mathematical Discovery


Imre Lakatos - 1976
    Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.

The Frege Reader


Gottlob Frege - 1997
    It is intended to provide the essential primary texts for students of logic, metaphysics and philosophy of language.It contains, in particular, Frege's four essays 'Function and Concept', 'On Sinn and Bedeutung', 'On Concept and Object' and 'Thought', and new translations of key parts of the Begriffschrift, Grundlagen and Grundgesetze. Additional selections have also been made from his Collected Papers, Posthumous Writings and Correspondence. The editor's introduction provides an overview of the development and significance of Frege's philosophy, highlighting some of the main issues of interpretation. Footnotes, appendices and other editorial material have been supplied to facilitate understanding of the works of one of the central figures in modern philosophy.

Pursuit of Truth


Willard Van Orman Quine - 1990
    V. Quine gives us his latest word on issues to which he has devoted many years. As he says in the preface: "In these pages I have undertaken to update, sum up, and clarify my variously intersecting views on cognitive meaning, objective reference, and the grounds of knowledge?'The pursuit of truth is a quest that links observation, theory, and the world. Various faulty efforts to forge such links have led to much intellectual confusion. Quine's efforts to get beyond the confusion begin by rejecting the very idea of binding together word and thing, rejecting the focus on the isolated word. For him, observation sentences and theoretical sentences are the alpha and omega ofthe scientific enterprise. Notions like "idea" and "meaning" are vague, but a sentence-now there's something you can sink your teeth into.Starting thus with sentences, Quine sketches an epistemological setting for the pursuit of truth. He proceeds to show how reification and reference contribute to the elaborate structure that can indeed relate science to its sensory evidence.In this book Quine both summarizes and moves ahead. Rich, lively chapters dissect his major concerns-evidence, reference, meaning, intension, and truth. "Some points;' he writes, "have become clearer in my mind in the eight years since Theories and Things. Some that were already clear in my mind have become clearer on paper. And there are some that have meanwhile undergone substantive change for the better." 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 century. The book is concise and elegantly written, as one would expect, and does not assume the reader's previous acquaintance with Quine's writings. Throughout, it is marked by Quine's wit and economy of style.

Naming and Necessity


Saul A. Kripke - 1980
    It redirected philosophical attention to neglected questions of natural and metaphysical necessity and to the connections between these and theories of reference, in particular of naming, and of identity. From a critique of the dominant tendency to assimilate names to descriptions and more generally to treat their reference as a function of their Fregean sense, surprisingly deep and widespread consequences may be drawn. The largely discredited distinction between accidental and essential properties, both of individual things (including people) and of kinds of things, is revived. So is a consequent view of science as what seeks out the essences of natural kinds. Traditional objections to such views are dealt with by sharpening distinctions between epistemic and metaphysical necessity; in particular by the startling admission of necessary a posteriori truths. From these, in particular from identity statements using rigid designators whether of things or of kinds, further remarkable consequences are drawn for the natures of things, of people, and of kinds; strong objections follow, for example to identity versions of materialism as a theory of the mind.This seminal work, to which today's thriving essentialist metaphysics largely owes its impetus, is here published with a substantial new Preface by the author.

Inquiries Into Truth and Interpretation


Donald Davidson - 1984
    The original volume remains a central point of reference, and a focus of controversy, with its impact extending into linguistic theory, philosophy of mind, and epistemology. Addressing a central question--what it is for words to mean what they do--and featuring a previously uncollected, additional essay, this work will appeal to a wide audience of philosophers, linguists, and psychologists.

On the Plurality of Worlds


David Kellogg Lewis - 1985
    Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

An Introduction to Probability and Inductive Logic


Ian Hacking - 2001
    The book has been designed to offer maximal accessibility to the widest range of students (not only those majoring in philosophy) and assumes no formal training in elementary symbolic logic. It offers a comprehensive course covering all basic definitions of induction and probability, and considers such topics as decision theory, Bayesianism, frequency ideas, and the philosophical problem of induction. The key features of the book are: * A lively and vigorous prose style* Lucid and systematic organization and presentation of the ideas* Many practical applications* A rich supply of exercises drawing on examples from such fields as psychology, ecology, economics, bioethics, engineering, and political science* Numerous brief historical accounts of how fundamental ideas of probability and induction developed.* A full bibliography of further reading Although designed primarily for courses in philosophy, the book could certainly be read and enjoyed by those in the social sciences (particularly psychology, economics, political science and sociology) or medical sciences such as epidemiology seeking a reader-friendly account of the basic ideas of probability and induction. Ian Hacking is University Professor, University of Toronto. He is Fellow of the Royal Society of Canada, Fellow of the British Academy, and Fellow of the American Academy of Arts and Sciences. he is author of many books including five previous books with Cambridge (The Logic of Statistical Inference, Why Does Language Matter to Philosophy?, The Emergence of Probability, Representing and Intervening, and The Taming of Chance).

Dialogues on Mathematics


Alfréd Rényi - 1967
    

Philosophy and the Mirror of Nature


Richard Rorty - 1979
    Richard Rorty, a Princeton professor who had contributed to the analytic tradition in philosophy, was now attempting to shrug off all the central problems with which it had long been preoccupied. After publication, the Press was barely able to keep up with demand, and the book has since gone on to become one of its all-time best-sellers in philosophy. Rorty argued that, beginning in the seventeenth century, philosophers developed an unhealthy obsession with the notion of representation. They compared the mind to a mirror that reflects reality. In their view, knowledge is concerned with the accuracy of these reflections, and the strategy employed to obtain this knowledge--that of inspecting, repairing, and polishing the mirror--belongs to philosophy. Rorty's book was a powerful critique of this imagery and the tradition of thought that it spawned. He argued that the questions about truth posed by Descartes, Kant, Hegel, and modern epistemologists and philosophers of language simply couldn't be answered and were, in any case, irrelevant to serious social and cultural inquiry. This stance provoked a barrage of criticism, but whatever the strengths of Rorty's specific claims, the book had a therapeutic effect on philosophy. It reenergized pragmatism as an intellectual force, steered philosophy back to its roots in the humanities, and helped to make alternatives to analytic philosophy a serious choice for young graduate students. Twenty-five years later, the book remains a must-read for anyone seriously concerned about the nature of philosophical inquiry and what philosophers can and cannot do to help us understand and improve the world.

Gödel's Proof


Ernest Nagel - 1958
    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.