This book is a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics. The book is divided into three parts. Part I, Reason, Science, and Mathematics contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay of phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, Poincave and Frege.

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.

Not all scientific explanations work by describing causal connections between events or the world's overall causal structure. Some mathematical proofs explain why the theorems being proved hold. In this book, Marc Lange proposes philosophical accounts of many kinds of non-causal explanations in science and mathematics. These topics have been unjustly neglected in the philosophy of science and mathematics. One important kind of non-causal scientific explanation is termed explanation by constraint. These explanations work by providing information about what makes certain facts especially inevitable - more necessary than the ordinary laws of nature connecting causes to their effects. Facts explained in this way transcend the hurly-burly of cause and effect. Many physicists have regarded the laws of kinematics, the great conservation laws, the coordinate transformations, and the parallelogram of forces as having explanations by constraint. This book presents an original account of explanations by constraint, concentrating on a variety of examples from classical physics and special relativity. This book also offers original accounts of several other varieties of non-causal scientific explanation. Dimensional explanations work by showing how some law of nature arises merely from the dimensional relations among the quantities involved. Really statistical explanations include explanations that appeal to regression toward the mean and other canonical manifestations of chance. Lange provides an original account of what makes certain mathematical proofs but not others explain what they prove. Mathematical explanation connects to a host of other important mathematical ideas, including coincidences in mathematics, the significance of giving multiple proofs of the same result, and natural properties in mathematics. Introducing many examples drawn from actual science and mathematics, with extended discussions of examples from Lagrange, Desargues, Thomson, Sylvester, Maxwell, Rayleigh, Einstein, and Feynman, Because Without Cause's proposals and examples should set the agenda for future work on non-causal explanation.

Emily Grosholz offers an original investigation of demonstration in mathematics and science, examining how it works and why it is persuasive. Focusing on geometrical demonstration, she shows the roles that representation and ambiguity play in mathematical discovery. She presents a wide range of case studies in mechanics, topology, algebra, logic, and chemistry, from ancient Greece to the present day, but focusing particularly on the seventeenth and twentieth centuries. She argues that reductive methods are effective not because they diminish but because they multiply and juxtapose modes of representation. Such problem-solving is, she argues, best understood in terms of Leibnizian "analysis"--the search for conditions of intelligibility. Discovery and justification are then two aspects of one rational way of proceeding, which produces the mathematician's formal experience.
Grosholz defends the importance of iconic, as well as symbolic and indexical, signs in mathematical representation, and argues that pragmatic, as well as syntactic and semantic, considerations are indispensable fore mathematical reasoning. By taking a close look at the way results are presented on the page in mathematical (and biological, chemical, and mechanical) texts, she shows that when two or more traditions combine in the service of problem solving, notations and diagrams are subtly altered, multiplied, and juxtaposed, and surrounded by prose in natural language which explains the novel combination. Viewed this way, the texts yield striking examples of language and notation that are irreducibly ambiguous and productive because they are ambiguous. Grosholtz's arguments, which invoke Descartes, Locke, Hume, and Kant, will be of considerable interest to philosophers and historians of mathematics and science, and also have far-reaching consequences for epistemology and philosophy of language.

Twentieth-century China has been caught between a desire to increase its wealth and power in line with other advanced nations, which, by implication, means copying their institutions, practices and values, whilst simultaneously seeking to preserve China's independence and historically formed identity. Over time, Chinese philosophers, writers, artists and politicians have all sought to reconcile these goals and this book shows how this search for a Chinese way penetrated even the most central, least contested area of modernity: science. Reviving Ancient Chinese Mathematics is a study of the life of one of modern China's most admired scientific figures, the mathematician Wu Wen-Tsun. Negotiating the conflict between progress and tradition, he found a path that not only ensured his political and personal survival, but which also brought him renown as a mathematician of international status who claimed that he stood outside the dominant western tradition of mathematics. Wu Wen-Tsun's story highlights crucial developments and contradictions in twentieth -century China, the significance of which extends far beyond the field of mathematics. On one hand lies the appeal of radical scientific modernity, "mechanisation" in all its forms, and competitiveness within the international scientific community. On the other is an anxiety to preserve national traditions and make them part of the modernisation project. Moreover, Wu's intellectual development also reflects the complex relationship between science and Maoist ideology, because his turn to history was powered by his internalisation of certain aspects of Maoist ideology, including its utilitarian philosophy of science. This book traces how Wu managed to combine political success and international scientific eminence, a story that has wider implications for a new century of increasing Chinese activity in the sciences. As such, it will be of great interest to students and scholars of Chinese history, the history of science and the history and philosophy of mathematics.

There is a long tradition, in the history and philosophy of science, of studying Kant's philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant's reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason, Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason, Kant compares the Formula of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement, where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant's Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant's philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy.

This collection presents the first sustained examination of the nature and status of the idea of principles in early modern thought. Principles are almost ubiquitous in the seventeenth and eighteenth centuries: the term appears in famous book titles, such as Newton's Principia; the notion plays a central role in the thought of many leading philosophers, such as Leibniz's Principle of Sufficient Reason; and many of the great discoveries of the period, such as the Law of Gravitational Attraction, were described as principles. Ranging from mathematics and law to chemistry, from natural and moral philosophy to natural theology, and covering some of the leading thinkers of the period, this volume presents ten compelling new essays that illustrate the centrality and importance of the idea of principles in early modern thought. It contains chapters by leading scholars in the field, including the Leibniz scholar Daniel Garber and the historian of chemistry William R. Newman, as well as exciting, emerging scholars, such as the Newton scholar Kirsten Walsh and a leading expert on experimental philosophy, Alberto Vanzo. The Idea of Principles in Early Modern Thought: Interdisciplinary Perspectives charts the terrain of one of the period's central concepts for the first time, and opens up new lines for further research.

The Quantum of Explanation advances a bold new theory of how explanation ought to be understood in philosophical and cosmological inquiries. Using a complete interpretation of Alfred North Whitehead's philosophical and mathematical writings and an interpretive structure that is essentially new, Auxier and Herstein argue that Whitehead has never been properly understood, nor has the depth and breadth of his contribution to the human search for knowledge been assimilated by his successors. This important book effectively applies Whitehead's philosophy to problems in the interpretation of science, empirical knowledge, and nature. It develops a new account of philosophical naturalism that will contribute to the current naturalism debate in both Analytic and Continental philosophy. Auxier and Herstein also draw attention to some of the most important differences between the process theology tradition and Whitehead's thought, arguing in favor of a Whiteheadian naturalism that is more or less independent of theological concerns. This book offers a clear and comprehensive introduction to Whitehead's philosophy and is an essential resource for students and scholars interested in American philosophy, the philosophy of mathematics and physics, and issues associated with naturalism, explanation and radical empiricism.

Think of a number, any number, or properties like fragility and humanity. These and other abstract entities are radically different from concrete entities like electrons and elbows. While concrete entities are located in space and time, have causes and effects, and are known through empirical means, abstract entities like meanings and possibilities are remarkably different. They seem to be immutable and imperceptible and to exist "outside" of space and time. This book provides a comprehensive critical assessment of the problems raised by abstract entities and the debates about existence, truth, and knowledge that surround them. It sets out the key issues that inform the metaphysical disagreement between platonists who accept abstract entities and nominalists who deny abstract entities exist. Beginning with the essentials of the platonist-nominalist debate, it explores the key arguments and issues informing the contemporary debate over abstract reality: arguments for platonism and their connections to semantics, science, and metaphysical explanation the abstract-concrete distinction and views about the nature of abstract reality epistemological puzzles surrounding our knowledge of mathematical entities and other abstract entities. arguments for nominalism premised upon concerns about paradox, parsimony, infinite regresses, underdetermination, and causal isolation nominalist options that seek to dispense with abstract entities. Including chapter summaries, annotated further reading, and a glossary, Abstract Entities is essential reading for anyone seeking a clear and authoritative introduction to the problems raised by abstract entities.

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes' set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science.

George Spencer Brown, a polymath and author of Laws of Form, brought together mathematics, electronics, engineering and philosophy to form an unlikely bond. This book investigates Design with NOR, the title of the yet unpublished 1961 typescript by Spencer Brown. The typescript formed through the author's experiences as technical engineer and developer of a new form of switching algebra for Mullard Equipment Ltd., a British manufacturer of electronic components, and is published here for the first time. Related essays contextualise the typescript drawing on a variety backgrounds from mathematics and engineering to philosophy and sociology, and thus invite readers to a reverse-engineering of both the form and its laws.

The Philosophy of Mathematics Today gives a panorama of the best current work in this lively field, through twenty essays specially written for this collection by leading figures. The topics include indeterminacy, logical consequence, mathematical methodology, abstraction, and both Hilbert's and Frege's foundational programmes. The collection will be an important source for research in the philosophy of mathematics for years to come.

Contributors Paul Benacerraf, George Boolos, John P. Burgess, Charles S. Chihara, Michael Detlefsen, Michael Dummett, Hartry Field, Kit Fine, Bob Hale, Richard G. Heck, Jnr., Geoffrey Hellman, Penelope Maddy, Karl-Georg Niebergall, Charles D. Parsons, Michael D. Resnik, Matthias Schirn, Stewart Shapiro, Peter Simons, W.W. Tait, Crispin Wright.

The twentieth century witnessed the birth of analytic philosophy. This volume covers some of its key movements and philosophers, including Frege and Wittgenstein's Tractatus.

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

This book explores an important central thread that unifies Russell's thoughts on logic in two works previously considered at odds with each other, the Principles of Mathematics and the later Principia Mathematica. This thread is Russell's doctrine that logic is an absolutely general science and that any calculus for it must embrace wholly unrestricted variables. The heart of Landini's book is a careful analysis of Russell's largely unpublished "substitutional" theory. On Landini's showing, the substitutional theory reveals the unity of Russell's philosophy of logic and offers new avenues for a genuine solution of the paradoxes plaguing Logicism.

Kurt Gödel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gödels writings. The first three volumes, already published, consist of the papers and essays of Gödel. The final two volumes of the set deal with Gödel's correspondence with his contemporary mathematicians, this fifth volume consists of material from correspondents from H-Z.

The development of mathematical competence -- both by humans as a species over millennia and by individuals over their lifetimes -- is a fascinating aspect of human cognition. This book explores when and why the rudiments of mathematical capability first appeared among human beings, what its fundamental concepts are, and how and why it has grown into the richly branching complex of specialties that it is today. It discusses whether the 'truths' of mathematics are discoveries or inventions, and what prompts the emergence of concepts that appear to be descriptive of nothing in human experience. Also covered is the role of esthetics in mathematics: What exactly are mathematicians seeing when they describe a mathematical entity as 'beautiful'? There is discussion of whether mathematical disability is distinguishable from a general cognitive deficit and whether the potential for mathematical reasoning is best developed through instruction. This volume is unique in the vast range of psychological questions it covers, as revealed in the work habits and products of numerous mathematicians. It provides fascinating reading for researchers and students with an interest in cognition in general and mathematical cognition in particular. Instructors of mathematics will also find the book's insights illuminating.

Kurt Gödel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gödels writings. The first three volumes, already published, consist of the papers and essays of Gödel. The final two volumes of the set deal with Gödel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

There is a long tradition, in the history and philosophy of science, of studying Kant's philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant's reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason, Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason, Kant compares the Formula of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement, where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant's Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant's philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy.

Paradoxes of the Infinite presents one of the most insightful, yet strangely unacknowledged, mathematical treatises of the 19th century: Dr Bernard Bolzano's Paradoxien. This volume contains an adept translation of the work itself by Donald A. Steele S.J., and in addition an historical introduction to the masterpiece, which includes a brief biography as well as an evaluation of Bolzano the mathematician, logician and physicist.

Gilles Deleuze's engagements with mathematics, replete in his work, rely upon the construction of alternative lineages in the history of mathematics, which challenge some of the self imposed limits that regulate the canonical concepts of the discipline. For Deleuze, these challenges provide an opportunity to reconfigure particular philosophical problems - for example, the problem of individuation - and to develop new concepts in response to them. The highly original research presented in this book explores the mathematical construction of Deleuze's philosophy, as well as addressing the undervalued and often neglected question of the mathematical thinkers who influenced his work. In the wake of Alain Badiou's recent and seemingly devastating attack on the way the relation between mathematics and philosophy is configured in Deleuze's work, Simon B.Duffy offers a robust defence of the structure of Deleuze's philosophy and, in particular, the adequacy of the mathematical problems used in its construction. By reconciling Badiou and Deleuze's seemingly incompatible engagements with mathematics, Duffy succeeds in presenting a solid foundation for Deleuze's philosophy, rebuffing the recent challenges against it.

Two features of mathematics stand out: its menagerie of seemingly eternal objects (numbers, spaces, patterns, functions, categories, morphisms, graphs, and so on), and the hieroglyphics of special notations, signs, symbols, and diagrams associated with them. The author challenges the widespread belief in the extra-human origins of these objects and the understanding of mathematics as either a purely mental activity about them or a formal game of manipulating symbols. Instead, he argues that mathematics is a vast and unique man-made imagination machine controlled by writing.
"Mathematics as Sign" addresses both aspects--mental and linguistic--of this machine. The opening essay, "Toward a Semiotics of Mathematics" (long acknowledged as a seminal contribution to its field), sets out the author's underlying model. According to this model, "doing" mathematics constitutes a kind of waking dream or thought experiment in which a proxy of the self is propelled around imagined worlds that are conjured into intersubjective being through signs.
Other essays explore the status of these signs and the nature of mathematical objects, how mathematical ideograms and diagrams differ from each other and from written words, the probable fate of the real number continuum and calculus in the digital era, the manner in which Platonic and Aristotelean metaphysics are enshrined in the contemporary mathematical infinitude of endless counting, and the possibility of creating a new conception of the sequence of whole numbers based on what the author calls non-Euclidean counting.
Reprising and going beyond the critique of number in "Ad Infinitum," the essays in this volume offer an accessible insight into Rotman's project, one that has been called "one of the most original and important recent contributions to the philosophy of mathematics."

This collection of new essays offers a "state-of-the-art" conspectus of major trends in the philosophy of logic and philosophy of mathematics. A distinguished group of philosophers addresses issues at the center of contemporary debate: semantic and set-theoretic paradoxes, the set/class distinction, foundations of set theory, mathematical intuition and many others. The volume includes Hilary Putnam's 1995 Alfred Tarski lectures published here for the first time. The essays are presented to honor the work of Charles Parsons.

The first European Congress of Mathematics was held in Paris from July 6 to July 10, 1992, at the Sorbonne and Pantheon-Sorbonne universities. It was hoped that the Congress would constitute a symbol of the development of the community of European nations. More than 1,300 persons attended the Congress. The purpose of the Congress was twofold. On the one hand, there was a scientific facet which consisted of forty-nine invited mathematical lectures that were intended to establish the state of the art in the various branches of pure and applied mathematics. This scientific facet also included poster sessions where participants had the opportunity of presenting their work. Furthermore, twenty four specialized meetings were held before and after the Congress. The second facet of the Congress was more original. It consisted of sixteen round tables whose aim was to review the prospects for the interactions of mathe matics, not only with other sciences, but also with society and in particular with education, European policy and industry. In connection with this second goal, the Congress also succeeded in bringing mathematics to a broader public. In addition to the round tables specifically devoted to this question, there was a mini-festival of mathematical films and two mathematical exhibits. Moreover, a Junior Mathematical Congress was organized, in parallel with the Congress, which brought together two hundred high school students."

The nature of truth in mathematics is a problem which has exercised the minds of thinkers from at least the time of the ancient Greeks. The great advances in mathematics and philosophy in the twentieth century--and in particular the proof of Gödel's theorem and the development of the notion of independence in mathematics--have led to new viewpoints on his question. This book is the result of the interaction of a number of outstanding mathematicians and philosophers--including Yurii Manin, Vaughan Jones, and Per Martin-Löf--and their discussions of this problem. It provides an overview of the forefront of current thinking, and is a valuable introduction and reference for researchers in the area.