First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.

First published in 1982, this reissue contains a critical exposition of the views of Frege, Dedekind and Peano on the foundations of arithmetic. The last quarter of the 19th century witnessed a remarkable growth of interest in the foundations of arithmetic. This work analyses both the reasons for this growth of interest within both mathematics and philosophy and the ways in which this study of the foundations of arithmetic led to new insights in philosophy and striking advances in logic. This historical-critical study provides an excellent introduction to the problems of the philosophy of mathematics - problems which have wide implications for philosophy as a whole. This reissue will appeal to students of both mathematics and philosophy who wish to improve their knowledge of logic.

First published in 1974. Despite the tendency of contemporary analytic philosophy to put logic and mathematics at a central position, the author argues it failed to appreciate or account for their rich content. Through discussions of such mathematical concepts as number, the continuum, set, proof and mechanical procedure, the author provides an introduction to the philosophy of mathematics and an internal criticism of the then current academic philosophy. The material presented is also an illustration of a new, more general method of approach called substantial factualism which the author asserts allows for the development of a more comprehensive philosophical position by not trivialising or distorting substantial facts of human knowledge.

First published in 1989, this book considers Bertrand Russell’s philosophy through his correspondence with others. Indeed, his exchanges with his elders in philosophy, with his contemporaries, and with one of his most outstanding pupils are brought to life in this judicious exposition: meticulously documented before being judged with insight and sympathy, as well as impartiality. Elizabeth Ramsden Eames here explores the issues that emerged from Russell’s exchanges with certain other philosophers, and interprets the resulting reciprocal influences and reactions. The conversations presented cover subjects such as: the nature of relations; pluralism versus monism; the relation of the subject and object in knowledge; the analysis of experience; the definition of truth; the analysis of belief; and the theory of meaning. These have been in the forefront of philosophical discussion in our time, and Russell’s dialogue with his contemporaries promises to illumine them.

This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.

This fully revised third edition of this Concise Encyclopedia brings it completely up-to-date. Featuring lively and engaging entries by some of the leading philosophers of our age, it is a readable reference work and engaging introduction.

Mathematical platonism is the view that mathematical statements are true of real mathematical objects like numbers, shapes, and sets. One central problem with platonism is that numbers, shapes, sets, and the like are not perceivable by our senses. In contemporary philosophy, the most common defense of platonism uses what is known as the indispensability argument. According to the indispensabilist, we can know about mathematics because mathematics is essential to science. Platonism is among the most persistent philosophical views. Our mathematical beliefs are among our most entrenched. They have survived the demise of millennia of failed scientific theories. Once established, mathematical theories are rarely rejected, and never for reasons of their inapplicability to empirical science. Autonomy Platonism and the Indispensability Argument is a defense of an alternative to indispensability platonism. The autonomy platonist believes that mathematics is independent of empirical science: there is purely mathematical evidence for purely mathematical theories which are even more compelling to believe than empirical science. Russell Marcus begins by contrasting autonomy platonism and indispensability platonism. He then argues against a variety of indispensability arguments in the first half of the book. In the latter half, he defends a new approach to a traditional platonistic view, one which includes appeals to a priori but fallible methods of belief acquisition, including mathematical intuition, and a natural adoption of ordinary mathematical methods. In the end, Marcus defends his intuition-based autonomy platonism against charges that the autonomy of mathematics is viciously circular. This book will be useful to researchers, graduate students, and advanced undergraduates with interests in the philosophy of mathematics or in the connection between science and mathematics.