Online research in philosophy

The specific characteristics of mathematical argumentation all depend on the centrality that writing has in the practice of mathematics, but blindness to this fact is near universal. What follows concerns just one of those characteristics, justification by proof. There is a prevalent view that long proofs pose a problem for the thesis that mathematical knowledge is justified by proof. I argue that there is no such problem: in fact, virtually all the justifications of mathematical knowledge are ‘long proofs’, but because these real justifications are distributed in the written archive of mathematics, proofs remain surveyable, hence good.

The authors present the main ideas of the computer-assisted proof of Mischaikow and Mrozek that chaos is really present in the Lorenz equations. Methodological consequences of this proof are examined. It is shown that numerical calculations can constitute an essential part of mathematical proof not only in the discrete mathematics but also in the mathematics of continua.

Translator's introduction -- Fundamental questions of geometry -- The decidability requirement -- The origin of the concept of number -- Implicit definition and the proper grounding of mathematics -- Rigid bodies in geometry -- Prelude to geometry : the essential ideas -- Physical and mathematical geometry -- Natural geometry -- The concept of the differential -- Reflections on the proper grounding of mathematics I -- Concepts and proofs in mathematics -- Dimension and space in mathematics -- Reflections on the proper grounding of mathematics II -- The axiomatic method in modern mathematics.

Chihara here develops a mathematical system in which there are no existence assertions but only assertions of the constructibility of certain sorts of things. He utilizes this system in the analysis of the nature of mathematics, and discusses many recent works in the philosophy of mathematics from the viewpoint of the constructibility theory developed. This innovative analysis will appeal to mathematicians and philosophers of logic, mathematics, and science.

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 centre 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.

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 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 oN 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, Poincare; and Frege.

A textbook on proof in mathematics, inspired by an Aristotelian point of view on mathematics and proof. It explains how to prove statements in mathematics, from evident premises. It deals with the proof of "all" statements, "some" statements, multiple quantifiers and mathematical induction.

The philosophy of mathematics of the last few decades is usually distinguished into mainstream and maverick.1 The mainstream philosophy of mathematics considers mathematics as a static body of knowledge; it is mainly concerned with the question of the justification of mathematical knowledge; it holds that there is an absolutely certain, or at least fairly reliable, foundation for mathematics; it considers mathematical logic as a canon for the philosophy of mathematics; it assumes that a detailed account of mathematical practice would be desirable but not really essential; it generally sets itself within the framework of analytic philosophy. The maverick philosophy of mathematics considers mathematics as a dynamic body of knowledge; it is mainly concerned with the question of the growth of mathematical knowledge, including the dynamics of mathematical discovery; it holds that there is no absolutely certain foundation for mathematics; it considers mathematical logic very useful to show the limitations of the mainstream philosophy of mathematics by means of the limitative results, but inadequate to deal with the question of the growth of mathematical knowledge; it assumes that only a detailed analysis of mathematical practice could lead to a philosophy of mathematics worth its name; it generally sets itself outside the framework of analytic philosophy. The mainstream philosophy of mathematics consists of the three big foundational schools of the first few decades of the twentieth century, namely logicism (Frege, Russell), formalism (Hilbert), intuitionism (Brouwer, Heyting), and the positions which ensued from them in the second half of the twentieth..

What is the nature of mathematical knowledge? Is it anything like scientific knowledge or is it sui generis? How do we acquire it? Should we believe what mathematicians themselves tell us about it? Are mathematical concepts innate or acquired? Eight new essays offer answers to these and many other questions. Written by some of the world's leading philosophers of mathematics, psychologists, and mathematicians, Mathematical Knowledge gives a lively sense of the current state of debate in this fascinating field. Contents 1. Mary Leng: Introduction 2. Michael Potter: What is the problem of mathematical knowledge? 3. Tim Gowers: Mathematics, memory, and mental arithmetic 4. Alan Baker: Is there a problem of induction for mathematics? 5. Marinella Cappelletti and Valeria Giardino: The cognitive basis of mathematical knowledge 6. Mary Leng: What's there to know? A fictionalist account of mathematical knowledge 7. Mark Colyvan: Mathematical recreation versus mathematical knowledge 8. Alexander Paseau: Scientific platonism 9. Crispin Wright: On quantifying into predicate position: Steps towards a (new)tralist position.

Proof, Logic and Formalization addresses the various problems associated with finding a philosophically satisfying account of mathematical proof. It brings together many of the most notable figures currently writing on this issue in an attempt to explain why it is that mathematical proof is given prominence over other forms of mathematical justification. The difficulties that arise in accounts of proof range from the rightful role of logical inference and formalization to questions concerning the place of experience in proof and the possibility of eliminating impredictive reasoning from proof. Students and lecturers of philosophy, philosophy of logic, and philosophy of mathematics will find this to be essential reading. A companion volume entitled Proof and Logic in Mathematics is also available from Routledge.