If numbers were objects, how could there be human knowledge of number? Numbers are not physical objects: must we conclude that we have a mysterious power of perceiving the abstract realm? Or should we instead conclude that numbers are fictions? This book argues that numbers are not objects: they are magnitude properties. Properties are not fictions and we certainly have scientific knowledge of them. Much is already known about magnitude properties such as inertial mass and electric charge, and much continues to be discovered. The book says the same is true of numbers. In the theory of magnitudes, the categorial distinction between quantity and individual is of central importance, for magnitudes are properties of quantities, not properties of individuals. Quantity entails divisibility, so the logic of quantity needs mereology, the a priori logic of part and whole. The three species of quantity are pluralities, continua and series, and the book presents three variants of mereology, one for each species of quantity. Given Euclid's axioms of equality, it is possible without the use of set theory to deduce the axioms of the natural, real and ordinal numbers from the respective mereologies of pluralities, continua and series. Knowledge and the Philosophy of Number carries out these deductions, arriving at a metaphysics of number that makes room for our a priori knowledge of mathematical reality.

The Ga?itatilaka and its Commentary: Two Medieval Sanskrit Mathematical Texts presents the first English annotated translation and analysis of the Ga?itatilaka by Sripati and its Sanskrit commentary by the Jaina monk Si?hatilakasuri (13th century CE). Si?hatilakasuri's commentary upon the Ga?itatilaka is a key text for the study of Sanskrit mathematical jargon and a precious source of information on mathematical practices of medieval India; this is, in fact, the first known Sanskrit mathematical commentary written by a Jaina monk, about whom we have substantial information, to survive to the present day. In presenting the first annotated translation of these two Sanskrit mathematical texts, this volume focusses on language in mathematics and puts forward a novel, fresh approach to Sanskrit mathematical literature which favours linguistic, literary features and textual data. This key resource makes these important texts available in English for the first time for students of Sanskrit, ancient and medieval mathematics, South Asian history, and philology.

This volume contains seventeen papers that were presented at the 2015 Annual Meeting of the Canadian Society for History and Philosophy of Mathematics/La Societe Canadienne d'Histoire et de Philosophie des Mathematiques, held in Washington, D.C. In addition to showcasing rigorously reviewed modern scholarship on an interesting variety of general topics in the history and philosophy of mathematics, this meeting also honored the memories of Jacqueline (Jackie) Stedall and Ivor Grattan-Guinness; celebrated the Centennial of the Mathematical Association of America; and considered the importance of mathematical communities in a special session. These themes and many others are explored in these collected papers, which cover subjects such as New evidence that the Latin translation of Euclid's Elements was based on the Arabic version attributed to al-Hajjaj Work done on the arc rampant in the seventeenth century The history of numerical methods for finding roots of nonlinear equations An original play featuring a dialogue between George Boole and Augustus De Morgan that explores the relationship between them Key issues in the digital preservation of mathematical material for future generations A look at the first twenty-five years of The American Mathematical Monthly in the context of the evolving American mathematical community The growth of Math Circles and the unique ways they are being implemented in the United States Written by leading scholars in the field, these papers will be accessible to not only mathematicians and students of the history and philosophy of mathematics, but also anyone with a general interest in mathematics.

Science Without Numbers caused a stir in philosophy on its original publication in 1980, with its bold nominalist approach to the ontology of mathematics and science. Hartry Field argues that we can explain the utility of mathematics without assuming it true. Part of the argument is that good mathematics has a special feature ("conservativeness") that allows it to be applied to "nominalistic" claims (roughly, those neutral to the existence of mathematical entities) in a way that generates nominalistic consequences more easily without generating any new ones. Field goes on to argue that we can axiomatize physical theories using nominalistic claims only, and that in fact this has advantages over the usual axiomatizations that are independent of nominalism. There has been much debate about the book since it first appeared. It is now reissued in a revised contains a substantial new preface giving the author's current views on the original book and the issues that were raised in the subsequent discussion of it.

Prime numbers are beautiful, mysterious, and beguiling mathematical objects. The mathematician Bernhard Riemann made a celebrated conjecture about primes in 1859, the so-called Riemann hypothesis, which remains one of the most important unsolved problems in mathematics. Through the deep insights of the authors, this book introduces primes and explains the Riemann hypothesis. Students with a minimal mathematical background and scholars alike will enjoy this comprehensive discussion of primes. The first part of the book will inspire the curiosity of a general reader with an accessible explanation of the key ideas. The exposition of these ideas is generously illuminated by computational graphics that exhibit the key concepts and phenomena in enticing detail. Readers with more mathematical experience will then go deeper into the structure of primes and see how the Riemann hypothesis relates to Fourier analysis using the vocabulary of spectra. Readers with a strong mathematical background will be able to connect these ideas to historical formulations of the Riemann hypothesis.

People tend to rank values of all kinds linearly from good to bad, but there is little reason to think that this is reasonable or correct. This book argues, to the contrary, that values are often partially ordered and hence frequently incomparable. Proceeding logically from a small set of axioms, John Nolt examines the great variety of partially ordered value structures, exposing fallacies that arise from overlooking them. He reveals various ways in which incomparability is obscured: using linear indices to summarize partially ordered data, relying on an inadequately defined concept of parity, or conflating incomparability with vagueness. Incomparability can enrich and clarify a range of topics including the paradoxes of Derek Parfit, rational decision theory, and the infinite values of theology. Finally, Nolt shows how to generalize many of the concepts introduced earlier, explores the intricate depths of certain noteworthy partially ordered value structures, and argues for the finitude of value. Incomparable Values will be of interest to scholars and advanced students working in ethics, value theory, rational decision theory, and logic.

This book gathers the proceedings of the conference "Cultures of Mathematics and Logic," held in Guangzhou, China. The event was the third in a series of interdisciplinary, international conferences emphasizing the cultural components of philosophy of mathematics and logic. It brought together researchers from many disciplines whose work sheds new light on the diversity of mathematical and logical cultures and practices. In this context, the cultural diversity can be diachronical (different cultures in different historical periods), geographical (different cultures in different regions), or sociological in nature.

The book is a research monograph on the notions of truth and assertibility as they relate to the foundations of mathematics. It is aimed at a general mathematical and philosophical audience. The central novelty is an axiomatic treatment of the concept of assertibility. This provides us with a device that can be used to handle difficulties that have plagued philosophical logic for over a century. Two examples relate to Frege's formulation of second-order logic and Tarski's characterization of truth predicates for formal languages. Both are widely recognized as fundamental advances, but both are also seen as being seriously flawed: Frege's system, as Russell showed, is inconsistent, and Tarski's definition fails to capture the compositionality of truth. A formal assertibility predicate can be used to repair both problems. The repairs are technically interesting and conceptually compelling. The approach in this book will be of interest not only for the uses the author has put it to, but also as a flexible tool that may have many more applications in logic and the foundations of mathematics.

A lively and engaging look at logic puzzles and their role in mathematics, philosophy, and recreation Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century and have been popular ever since. Games like Sudoku and Mastermind are fun and engrossing recreational activities, but they also share deep foundations in mathematical logic and are worthy of serious intellectual inquiry. Games for Your Mind explores the history and future of logic puzzles while enabling you to test your skill against a variety of puzzles yourself. In this informative and entertaining book, Jason Rosenhouse begins by introducing readers to logic and logic puzzles and goes on to reveal the rich history of these puzzles. He shows how Carroll's puzzles presented Aristotelian logic as a game for children, yet also informed his scholarly work on logic. He reveals how another pioneer of logic puzzles, Raymond Smullyan, drew on classic puzzles about liars and truthtellers to illustrate Kurt Goedel's theorems and illuminate profound questions in mathematical logic. Rosenhouse then presents a new vision for the future of logic puzzles based on nonclassical logic, which is used today in computer science and automated reasoning to manipulate large and sometimes contradictory sets of data. Featuring a wealth of sample puzzles ranging from simple to extremely challenging, this lively and engaging book brings together many of the most ingenious puzzles ever devised, including the "Hardest Logic Puzzle Ever," metapuzzles, paradoxes, and the logic puzzles in detective stories.

1) Written by renowned astrophysicist Jayant Narlikar (known for Hoyle-Narlikar theory of Gravity) this book provides the journey of science and mathematics for general readers. 2) This book relates to the mutual help and cooperation that links science and mathematics. 3) This book will be of interest to departments of philosophy and South Asian studies across UK.

Logic Works is a critical and extensive introduction to logic. It asks questions about why systems of logic are as they are, how they relate to ordinary language and ordinary reasoning, and what alternatives there might be to classical logical doctrines. The book covers classical first-order logic and alternatives, including intuitionistic, free, and many-valued logic. It also considers how logical analysis can be applied to carefully represent the reasoning employed in academic and scientific work, better understand that reasoning, and identify its hidden premises. Aiming to be as much a reference work and handbook for further, independent study as a course text, it covers more material than is typically covered in an introductory course. It also covers this material at greater length and in more depth with the purpose of making it accessible to those with no prior training in logic or formal systems. Online support material includes a detailed student solutions manual with a running commentary on all starred exercises, and a set of editable slide presentations for course lectures. Key Features Introduces an unusually broad range of topics, allowing instructors to craft courses to meet a range of various objectives Adopts a critical attitude to certain classical doctrines, exposing students to alternative ways to answer philosophical questions about logic Carefully considers the ways natural language both resists and lends itself to formalization Makes objectual semantics for quantified logic easy, with an incremental, rule-governed approach assisted by numerous simple exercises Makes important metatheoretical results accessible to introductory students through a discursive presentation of those results and by using simple case studies

1) Written by renowned astrophysicist Jayant Narlikar (known for Hoyle-Narlikar theory of Gravity) this book provides the journey of science and mathematics for general readers. 2) This book relates to the mutual help and cooperation that links science and mathematics. 3) This book will be of interest to departments of philosophy and South Asian studies across UK.

This book offers a plurality of perspectives on the historical origins of logicism and on contemporary developments of logicist insights in philosophy of mathematics. It uniquely provides up-to-date research and novel interpretations on a variety of intertwined themes and historical figures related to different versions of logicism. The essays, written by prominent scholars, are divided into three thematic sections. Part I focuses on major authors like Frege, Dedekind, and Russell, providing a historical and theoretical exploration of such figures in the philosophical and mathematical milieu in which logicist views were first expounded. Part II sheds new light on the interconnections between these founding figures and a number of influential other traditions, represented by authors like Hilbert, Husserl, and Peano, as well as on the reconsideration of logicism by Carnap and the logical empiricists. Finally, Part III assesses the legacy of such authors and of logicist themes for contemporary philosophy of mathematics, offering new perspectives on highly debated topics-neo-logicism and its extension to accounts of ordinal numbers and set-theory, the comparison between neo-Fregean and neo-Dedekindian varieties of logicism, and the relation between logicist foundational issues and empirical research on numerical cognition-which define the prospects of logicism in the years to come. This book offers a comprehensive account of the development of logicism and its contemporary relevance for the logico-philosophical foundations of mathematics. It will be of interest to graduate students and researchers working in philosophy of mathematics, philosophy of logic, and the history of analytic philosophy.

* This is a textbook on philosophy of mathematics from the point of view of a mathematician, aimed to attract mathematicians into foundational and philosophical problems in mathematics and help them learn how and to what extent a philosophical view can change the mathematical practice. * It contains up to date and current book available. * The text will appeal to both mathematicians and philosophy departments where Philosophy of Mathematics or Philosophy of Science is taught.

* This is a textbook on philosophy of mathematics from the point of view of a mathematician, aimed to attract mathematicians into foundational and philosophical problems in mathematics and help them learn how and to what extent a philosophical view can change the mathematical practice. * It contains up to date and current book available. * The text will appeal to both mathematicians and philosophy departments where Philosophy of Mathematics or Philosophy of Science is taught.

Two veteran math educators demonstrate how some "magnificent mistakes" had profound consequences for our understanding of mathematics' key concepts.
In the nineteenth century, English mathematician William Shanks spent fifteen years calculating the value of pi, setting a record for the number of decimal places. Later, his calculation was reproduced using large wooden numerals to decorate the cupola of a hall in the Palais de la Decouverte in Paris. However, in 1946, with the aid of a mechanical desk calculator that ran for seventy hours, it was discovered that there was a mistake in the 528th decimal place. Today, supercomputers have determined the value of pi to trillions of decimal places.
This is just one of the amusing and intriguing stories about mistakes in mathematics in this layperson's guide to mathematical principles. In another example, the authors show that when we "prove" that every triangle is isosceles, we are violating a concept not even known to Euclid - that of "betweenness." And if we disregard the time-honored Pythagorean theorem, this is a misuse of the concept of infinity. Even using correct procedures can sometimes lead to absurd - but enlightening - results.
Requiring no more than high-school-level math competency, this playful excursion through the nuances of math will give you a better grasp of this fundamental, all-important science.

This book presents Goedel's incompleteness theorems and the other limitative results which are most significant for the philosophy of mathematics. Results are stated in the form most relevant for use in the philosophy of mathematics. An appendix considers their implications for Hilbert's Program for the foundations of mathematics. The text is self-contained, all notions being explained in full detail, but of course previous exposure to the very first rudiments of mathematical logic will help.

Ludwig Wittgenstein's brief Tractatus Logico-Philosophicus (1922) is one of the most important philosophical works of the twentieth century, yet it offers little orientation for the reader. The first-time reader is left wondering what it could be about, and the scholar is left with little guidance for interpretation. In Tractatus in Context, James C. Klagge presents the vital background necessary for appreciating Wittgenstein's gnomic masterpiece. Tractatus in Context contains the early reactions to the Tractatus, including the initial reviews written in 1922-1924. And while we can't talk with Wittgenstein, we can do the next best thing-hear what he had to say about the Tractatus. Klagge thus presents what Wittgenstein thought about germane issues leading up to his writing the book, in discussions and correspondence with others about his ideas, and what he had to say about the Tractatus after it was written-in letters, lectures and conversations. It offers, you might say, Wittgenstein's own commentary on the book. Key Features: Illuminates what is at stake in the Tractatus, by providing the views of others that engaged Wittgenstein as he was writing it. Includes Wittgenstein's earlier thoughts on ideas in the book as recorded in his notebooks, letters, and conversations as well as his later, retrospective comments on those ideas. Draws on new or little-known sources, such as Wittgenstein's coded notebooks, Hermine's notes, Frege's letters, Hansel's diary, Ramsey's notes, and Skinner's dictations. Draws connections between the background context and specific passages in the Tractatus, using a proposition-by-proposition commentary.

Features Provides an accessible introduction to mathematics in art Supports the narrative with a self-contained mathematical theory, with complete proofs of the main results (including the classification theorem for similarities) Presents hundreds of figures, illustrations, computer-generated graphics, designs, photographs, and art reproductions, mainly presented in full color Includes 21 projects and about 280 exercises, about half of which are fully solved Covers Euclidean geometry, golden section, Fibonacci numbers, symmetries, tilings, similarities, fractals, cellular automata, inversion, hyperbolic geometry, perspective drawing, Platonic and Archimedean solids, and topology New to the Second Edition New exercises, projects and artworks Revised, reorganised and expanded chapters More use of color throughout

The Routledge Companion to Philosophy of Physics is a comprehensive and authoritative guide to the state of the art in the philosophy of physics. It comprisess 54 self-contained chapters written by leading philosophers of physics at both senior and junior levels, making it the most thorough and detailed volume of its type on the market - nearly every major perspective in the field is represented. The Companion's 54 chapters are organized into 12 parts. The first seven parts cover all of the major physical theories investigated by philosophers of physics today, and the last five explore key themes that unite the study of these theories. I. Newtonian Mechanics II. Special Relativity III. General Relativity IV. Non-Relativistic Quantum Theory V. Quantum Field Theory VI. Quantum Gravity VII. Statistical Mechanics and Thermodynamics VIII. Explanation IX. Intertheoretic Relations X. Symmetries XI. Metaphysics XII. Cosmology The difficulty level of the chapters has been carefully pitched so as to offer both accessible summaries for those new to philosophy of physics and standard reference points for active researchers on the front lines. An introductory chapter by the editors maps out the field, and each part also begins with a short summary that places the individual chapters in context. The volume will be indispensable to any serious student or scholar of philosophy of physics.

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then G del's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.

This collection addresses metaphysical issues at the intersection between philosophy and science. A unique feature is the way in which it is guided both by history of philosophy, by interaction between philosophy and science, and by methodological awareness. In asking how metaphysics is possible in an age of science, the contributors draw on philosophical tools provided by three great thinkers who were fully conversant with and actively engaged with the sciences of their day: Kant, Husserl, and Frege. Part I sets out frameworks for scientifically informed metaphysics in accordance with the meta-metaphysics outlined by these three self-reflective philosophers. Part II explores the domain for co-existent metaphysics and science. Constraints on ambitious critical metaphysics are laid down in close consideration of logic, meta-theory, and specific conditions for science. Part III exemplifies the role of language and science in contemporary metaphysics. Quine's pursuit of truth is analysed; Cantor's absolute infinitude is reconstrued in modal terms; and sense is made of Weyl's take on the relationship between mathematics and empirical aspects of physics. With chapters by leading scholars, Metametaphysics and the Sciences is an in-depth resource for researchers and advanced students working within metaphysics, philosophy of science, and the history of philosophy.

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege's logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand Tarski's and Goedel's work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy's mathematical naturalism and Shapiro's mathematical structuralism. Last but not least, the book introduces Biancani's Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century.

This Handbook explores the history of mathematics under a series of themes which raise new questions about what mathematics has been and what it has meant to practice it. It addresses questions of who creates mathematics, who uses it, and how. A broader understanding of mathematical practitioners naturally leads to a new appreciation of what counts as a historical source. Material and oral evidence is drawn upon as well as an unusual array of textual sources. Further, the ways in which people have chosen to express themselves are as historically meaningful as the contents of the mathematics they have produced. Mathematics is not a fixed and unchanging entity. New questions, contexts, and applications all influence what counts as productive ways of thinking. Because the history of mathematics should interact constructively with other ways of studying the past, the contributors to this book come from a diverse range of intellectual backgrounds in anthropology, archaeology, art history, philosophy, and literature, as well as history of mathematics more traditionally understood.
The thirty-six self-contained, multifaceted chapters, each written by a specialist, are arranged under three main headings: 'Geographies and Cultures', 'Peoples and Practices', and 'Interactions and Interpretations'. Together they deal with the mathematics of 5000 years, but without privileging the past three centuries, and an impressive range of periods and places with many points of cross-reference between chapters. The key mathematical cultures of North America, Europe, the Middle East, India, and China are all represented here as well as areas which are not often treated in mainstream history of mathematics, such as Russia, the Balkans, Vietnam, and South America. This Handbook will be a vital reference for graduates and researchers in mathematics, historians of science, and general historians.

Originally published in 1985. This book is about a single famous line of argument, pioneered by Descartes and deployed to full effect by Kant. That argument was meant to refute scepticism once and for all, and make the world safe for science. 'I think, so I exist' is valid reasoning, but circular as proof. In similar vein, Kant argues from our having a science of geometry to Space being our contribution to experience: a different conclusion, arrived at by a similar fallacy. Yet these arguments do show something: that certain sets of opinions, if professed, show an inbuilt inconsistency. It is this second-strike capacity that has kept transcendental arguments going for so long. Attempts to re-build metaphysics by means of such transcendental reasoning have been debated. This book offers an introduction to the field, and ventures its own assessment, in non-technical language, without assuming previous training in logic or philosophy.