The book presents the state of the art of research into the legacy of interwar Polish analytic philosophy and exemplifies different approaches to the history of philosophy. It contains discussions and reconstructions of aspects of Polish philosophy and logic as well as reactions to and developments of this tradition.

This collection of specially commissioned essays by leading scholars presents research on Isaac Newton and his main philosophical interlocutors and critics. The essays analyze Newton's relation to his contemporaries, especially Barrow, Descartes, Leibniz and Locke and discuss the ways in which a broad range of figures, including Hume, Maclaurin, Maupertuis and Kant, reacted to his thought. The wide range of topics discussed includes the laws of nature, the notion of force, the relation of mathematics to nature, Newton's argument for universal gravitation, his attitude toward philosophical empiricism, his use of 'fluxions', his approach toward measurement problems and his concept of absolute motion, together with new interpretations of Newton's matter theory. The volume concludes with an extended essay that analyzes the changes in physics wrought by Newton's Principia. A substantial introduction and bibliography provide essential reference guides.

The idea that mathematics is reducible to logic has a long history, but it was Frege who gave logicism an articulation and defense that transformed it into a distinctive philosophical thesis with a profound influence on the development of philosophy in the twentieth century. This volume of classic, revised and newly written essays by William Demopoulos examines logicism's principal legacy for philosophy: its elaboration of notions of analysis and reconstruction. The essays reflect on the deployment of these ideas by the principal figures in the history of the subject - Frege, Russell, Ramsey and Carnap - and in doing so illuminate current concerns about the nature of mathematical and theoretical knowledge. Issues addressed include the nature of arithmetical knowledge in the light of Frege's theorem; the status of realism about the theoretical entities of physics; and the proper interpretation of empirical theories that postulate abstract structural constraints.

An important mathematician and astronomer in medieval India, Bhascara Acharya (1114 85) wrote treatises on arithmetic, algebra, geometry and astronomy. He is also believed to have been head of the astronomical observatory at Ujjain, which was the leading centre of mathematical sciences in India. Forming part of his Sanskrit magnum opus Siddh nta Shiromani, the present work is his treatise on algebra. It was first published in English in 1813 after being translated from a Persian text by the East India Company civil servant Edward Strachey (1774 1832). The topics covered include operations involving positive and negative numbers, surds and zero, as well as algebraic, simultaneous and indeterminate equations. Strachey also appends useful notes made by the orientalist Samuel Davis (1760 1819). Of enduring interest in the history of mathematics, this was notably the first work to acknowledge that a positive number has two square roots.

This systematic and historical treatment of Russell's contributions to analytic philosophy, from his embrace of analysis in 1898 to his landmark theory of descriptions in 1905, draws important connections between his philosophically motivated conception of analysis and the technical apparatus he devised to facilitate analyses in mathematics

To mark the centenary of the 1910 to 1913 publication of the monumental Principia Mathematica by Alfred N. Whitehead and Bertrand Russell, this collection of fifteen new essays by distinguished scholars considers the influence and history of PM over the last hundred years.

An investigatation of the influence of psychology and early phenomenology on the origins of analytic philosophy. This book is also of value for those interested in judgement, proposition, psychologism, logical realism, the problem of error, Gestalt theories, and tropes.

The mathematician and engineer Charles Babbage (1791 1871) is best remembered for his 'calculating machines', which are considered the forerunner of modern computers. Over the course of his life he wrote a number of books based on his scientific investigations, but in this volume, published in 1864, Babbage writes in a more personal vein. He points out at the beginning of the work that it 'does not aspire to the name of autobiography', though the chapters sketch out the contours of his life, beginning with his family, his childhood and formative years studying at Cambridge, and moving through various episodes in his scientific career. However, the work also diverges into his observations on other topics, as indicated by chapter titles such as 'Street Nuisances' and 'Wit'. Babbage's colourful recollections give an intimate portrait of the life of one of Britain's most influential inventors.

Contemporary philosophy of mathematics offers us an embarrassment of riches. Among the major areas of work one could list developments of the classical foundational programs, analytic approaches to epistemology and ontology of mathematics, and developments at the intersection of history and philosophy of mathematics. But anyone familiar with contemporary philosophy of mathematics will be aware of the need for new approaches that pay closer attention to mathematical practice. This book is the first attempt to give a coherent and unified presentation of this new wave of work in philosophy of mathematics. The new approach is innovative at least in two ways. First, it holds that there are important novel characteristics of contemporary mathematics that are just as worthy of philosophical attention as the distinction between constructive and non-constructive mathematics at the time of the foundational debates. Secondly, it holds that many topics which escape purely formal logical treatment--such as visualization, explanation, and understanding--can nonetheless be subjected to philosophical analysis.
The Philosophy of Mathematical Practice comprises an introduction by the editor and eight chapters written by some of the leading scholars in the field. Each chapter consists of a short introduction to the general topic of the chapter followed by a longer research article in the area. The eight topics selected represent a broad spectrum of contemporary philosophical reflection on different aspects of mathematical practice: diagrammatic reasoning and representational systems; visualization; mathematical explanation; purity of methods; mathematical concepts; the philosophical relevance of category theory; philosophical aspects of computer science in mathematics; the philosophical impact of recent developments in mathematical physics.

A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.

In this excellent book Sebastien Gandon focuses mainly on Russell's two major texts, Principa Mathematica and Principle of Mathematics , meticulously unpicking the details of these texts and bringing a new interpretation of both the mathematical and the philosophical content. Winner of The Bertrand Russell Society Book Award 2013.

This book has two objectives: to be a contribution to the understanding of Frege's theory of truth - especially a defence of his notorious critique of the correspondence theory - and to be an introduction to the practice of interpreting philosophical texts.

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities.

This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.

Visual thinking - visual imagination or perception of diagrams and symbol arrays, and mental operations on them - is omnipresent in mathematics. Is this visual thinking merely a psychological aid, facilitating grasp of what is gathered by other means? Or does it also have epistemological functions, as a means of discovery, understanding, and even proof? By examining the many kinds of visual representation in mathematics and the diverse ways in which they are used, Marcus Giaquinto argues that visual thinking in mathematics is rarely just a superfluous aid; it usually has epistemological value, often as a means of discovery. Drawing from philosophical work on the nature of concepts and from empirical studies of visual perception, mental imagery, and numerical cognition, Giaquinto explores a major source of our grasp of mathematics, using examples from basic geometry, arithmetic, algebra, and real analysis. He shows how we can discern abstract general truths by means of specific images, how synthetic a priori knowledge is possible, and how visual means can help us grasp abstract structures.
Visual Thinking in Mathematics reopens the investigation of earlier thinkers from Plato to Kant into the nature and epistemology of an individual's basic mathematical beliefs and abilities, in the new light shed by the maturing cognitive sciences. Clear and concise throughout, it will appeal to scholars and students of philosophy, mathematics, and psychology, as well as anyone with an interest in mathematical thinking.

The primary intent of this volume is to give the English reader access to all the philosophical texts published by Husserl between the appearance of his first book, Philosophie der Arithmetik, and that of his second book, Logische Untersuchungen- roughly, from 1890 through 1901. Along with these texts we have included a number of unpublished manuscripts from the same period and dealing with the same or closely related topics. A few of the texts here translated (the review of Pahigyi, the five "report" articles of 1903-1904, the "notes" in Lalande's Vocabulaire, and the brief discussion. article on Marty of 1910) obviously fall outside this time period, so far as their publication dates are concerned; but in content they seem clearly confined to it. The final piece translated, a set of personal notes that date from 1906 through 1908, provides insight into how Husserl experienced his early labors and their results, and into how he saw their relation to work before him: a phenomenological critique of reason in all of its forms. Thus the texts here translated - which obviously are to be read in conjunction with his first two books - cover the progression of Husserl's Problematik from the relatively narrow one of clarifying the epistemic structure of general arithmetic, to the all-encompassing one of establishing in principle, through phenomenological research, the line between legitimate and illegitimate claims to know or to be rational, regardless of the domain concerned.

Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.

Offering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I 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.

Most scholars think of David Hilbert's program as the most demanding and ideologically motivated attempt to provide a foundation for mathematics, and because they see technical obstacles in the way of realizing the program's goals, they regard it as a failure. Against this view, Curtis Franks argues that Hilbert's deepest and most central insight was that mathematical techniques and practices do not need grounding in any philosophical principles. He weaves together an original historical account, philosophical analysis, and his own development of the meta-mathematics of weak systems of arithmetic to show that the true philosophical significance of Hilbert's program is that it makes the autonomy of mathematics evident. The result is a vision of the early history of modern logic that highlights the rich interaction between its conceptual problems and technical development.

In the social sciences norms are sometimes taken to play a key explanatory role. Yet norms differ from group to group, from society to society, and from species to species. How are norms formed and how do they change? This 'state-of-the-art' collection of essays presents some of the best contemporary research into the dynamic processes underlying the formation, maintenance, metamorphosis and dissolution of norms. The volume combines formal modelling with more traditional analysis, and considers biological and cultural evolution, individual learning, and rational deliberation. In filling a significant gap in the current literature this volume will be of particular interest to economists, political scientists and sociologists, in addition to philosophers of the social sciences.

Our understanding of how the human brain performs mathematical calculations is far from complete, but in recent years there have been many exciting breakthroughs by scientists all over the world. Now, in The Number Sense, Stanislas Dehaene offers a fascinating look at this recent research, in an enlightening exploration of the mathematical mind. Dehaene begins with the eye-opening discovery that animals--including rats, pigeons, raccoons, and chimpanzees--can perform simple mathematical calculations, and that human infants also have a rudimentary number sense. Dehaene suggests that this rudimentary number sense is as basic to the way the brain understands the world as our perception of color or of objects in space, and, like these other abilities, our number sense is wired into the brain. These are but a few of the wealth of fascinating observations contained here. We also discover, for example, that because Chinese names for numbers are so short, Chinese people can remember up to nine or ten digits at a time--English-speaking people can only remember seven. The book also explores the unique abilities of idiot savants and mathematical geniuses, and we meet people whose minute brain lesions render their mathematical ability useless. This new and completely updated edition includes all of the most recent scientific data on how numbers are encoded by single neurons, and which brain areas activate when we perform calculations. Perhaps most important, The NumberSense reaches many provocative conclusions that will intrigue anyone interested in learning, mathematics, or the mind.
"A delight."
--Ian Stewart, New Scientist
"Read The Number Sense for its rich insights into matters as varying as the cuneiform depiction of numbers, why Jean Piaget's theory of stages in infant learning is wrong, and to discover the brain regions involved in the number sense."
--The New York Times Book Review
"Dehaene weaves the latest technical research into a remarkably lucid and engrossing investigation. Even readers normally indifferent to mathematics will find themselves marveling at the wonder of minds making numbers."
--Booklist

What is abstraction? To what extent can it account for the existence and identity of abstract objects? And to what extent can it be used as a foundation for mathematics? Kit Fine provides rigorous and systematic answers to these questions along the lines proposed by Frege, in a book concerned both with the technical development of the subject and with its philosophical underpinnings.
Fine proposes an account of what it is for a principle of abstraction to be acceptable, and these acceptable principles are exactly characterized. A formal theory of abstraction is developed and shown to be capable of providing a foundation for both arithmetic and analysis. Fine argues that the usual attempts to see principles of abstraction as forms of stipulative definition have been largely unsuccessful but there may be other, more promising, ways of vindicating the various forms of contextual definition.
The Limits of Abstraction breaks new ground both technically and philosophically, and will be essential reading for all who work on the philosophy of mathematics.

Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away on May 10, 2017, at the age of 91. Takeuti was one of the founders of Proof Theory, a branch of mathematical logic that originated from Hilbert's program about the consistency of mathematics. Based on Gentzen's pioneering works of proof theory in the 1930s, he proposed a conjecture in 1953 concerning the essential nature of formal proofs of higher-order logic now known as Takeuti's fundamental conjecture and of which he gave a partial positive solution. His arguments on the conjecture and proof theory in general have had great influence on the later developments of mathematical logic, philosophy of mathematics, and applications of mathematical logic to theoretical computer science. Takeuti's work ranged over the whole spectrum of mathematical logic, including set theory, computability theory, Boolean valued analysis, fuzzy logic, bounded arithmetic, and theoretical computer science. He wrote many monographs and textbooks both in English and in Japanese, and his monumental monograph Proof Theory, published in 1975, has long been a standard reference of proof theory. He had a wide range of interests covering virtually all areas of mathematics and extending to physics. His publications include many Japanese books for students and general readers about mathematical logic, mathematics in general, and connections between mathematics and physics, as well as many essays for Japanese science magazines. This volume is a collection of papers based on the Symposium on Advances in Mathematical Logic 2018. The symposium was held September 18-20, 2018, at Kobe University, Japan, and was dedicated to the memory of Professor Gaisi Takeuti.

In this ambitious study, David Corfield attacks the widely held view that it is the nature of mathematical knowledge which has shaped the way in which mathematics is treated philosophically and claims that contingent factors have brought us to the present thematically limited discipline. Illustrating his discussion with a wealth of examples, he sets out a variety of approaches to new thinking about the philosophy of mathematics, ranging from an exploration of whether computers producing mathematical proofs or conjectures are doing real mathematics, to the use of analogy, the prospects for a Bayesian confirmation theory, the notion of a mathematical research programme and the ways in which new concepts are justified. His inspiring book challenges both philosophers and mathematicians to develop the broadest and richest philosophical resources for work in their disciplines and points clearly to the ways in which this can be done.