Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle's mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature (physics). Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness of the universe, surface of water, meteorology, metaphysics and mechanics such as levers, rudders, wedges, wheels and inertia. The last few short chapters address 'problems' that Aristotle posed but couldn't answer, related ethics issues and a summary of some short treatises that only briefly touch on mathematics.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

This Companion provides a comprehensive guide to ancient logic. The first part charts its chronological development, focussing especially on the Greek tradition, and discusses its two main systems: Aristotle's logic of terms and the Stoic logic of propositions. The second part explores the key concepts at the heart of the ancient logical systems: truth, definition, terms, propositions, syllogisms, demonstrations, modality and fallacy. The systematic discussion of these concepts allows the reader to engage with some specific logical and exegetical issues and to appreciate their transformations across different philosophical traditions. The intersections between logic, mathematics and rhetoric are also explored. The third part of the volume discusses the reception and influence of ancient logic in the history of philosophy and its significance for philosophy in our own times. Comprehensive coverage, chapters by leading international scholars and a critical overview of the recent literature in the field will make this volume essential for students and scholars of ancient logic.

This Element defends mathematical anti-realism against an underappreciated problem with that view-a problem having to do with modal truthmaking. Part I develops mathematical anti-realism, it defends that view against a number of well-known objections, and it raises a less widely discussed objection to anti-realism-an objection based on the fact that (a) mathematical anti-realists need to commit to the truth of certain kinds of modal claims, and (b) it's not clear that the truth of these modal claims is compatible with mathematical anti-realism. Part II considers various strategies that anti-realists might pursue in trying to solve this modal-truth problem with their view, it argues that there's only one viable view that anti-realists can endorse in order to solve the modal-truth problem, and it argues that the view in question-which is here called modal nothingism-is true.

What is the source of logical and mathematical truth? This volume revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. In Shadows of Syntax, Jared Warren offers the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. He argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims. In Part I, Warren explains exactly what conventionalism amounts to and what linguistic conventions are. Part II develops an unrestricted inferentialist theory of the meanings of logical constants that leads to logical conventionalism. This conventionalist theory is elaborated in discussions of logical pluralism, the epistemology of logic, and of the influential objections that led to the historical demise of conventionalism. Part III aims to extend conventionalism from logic to mathematics. Unlike logic, mathematics involves both ontological commitments and a rich notion of truth that cannot be generated by any algorithmic process. To address these issues Warren develops conventionalist-friendly but independently plausible theories of both metaontology and mathematical truth. Finally, Part IV steps back to address big picture worries and meta-worries about conventionalism. This book develops and defends a unified theory of logic and mathematics according to which logical and mathematical truths are reflections of our linguistic rules, mere shadows of syntax.

This wordless collection of strips by renowned artist/designer Rian Hughes reveals the lighter side of our obsession with social rankings. When everyone has a number, everyone knows their place. Lower numbers are better, higher numbers are less important, and that's just the way it is. But what if that number could change? You might try to buck the system and assert your individuality... or you might end up with a big fat zero. Big questions are explored and unexpected answers found in the first solo comics collection from award-winning designer & illustrator Rian Hughes. His whimsical, witty, and insightful strips will make you both smile and consider. Where do you stand in the pecking order? Is your number up?

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.

First published in 1990, this is a reissue of Professor Hilary Putnam's dissertation thesis, written in 1951, which concerns itself with The Meaning of the Concept of Probability in Application to Finite Sequences and the problems of the deductive justification for induction. Written under the direction of Putnam's mentor, Hans Reichenbach, the book considers Reichenbach's idealization of very long finite sequences as infinite sequences and the bearing this has upon Reichenbach's pragmatic vindication of induction.

In these essays Geoffrey Hellman presents a strong case for a healthy pluralism in mathematics and its logics, supporting peaceful coexistence despite what appear to be contradictions between different systems, and positing different frameworks serving different legitimate purposes. The essays refine and extend Hellman's modal-structuralist account of mathematics, developing a height-potentialist view of higher set theory which recognizes indefinite extendability of models and stages at which sets occur. In the first of three new essays written for this volume, Hellman shows how extendability can be deployed to derive the axiom of Infinity and that of Replacement, improving on earlier accounts; he also shows how extendability leads to attractive, novel resolutions of the set-theoretic paradoxes. Other essays explore advantages and limitations of restrictive systems - nominalist, predicativist, and constructivist. Also included are two essays, with Solomon Feferman, on predicative foundations of arithmetic.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Goedel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Goedel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Goedel's texts on foundations with materials from Goedel's Nachlass and from Hao Wang's discussions with Goedel. As well as providing discussions of Goedel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Goedel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

Originally published in 1938, this book focuses on the area of elliptic and hyperelliptic integrals and allied theory. The text was a posthumous publication by William Westropp Roberts (1850-1935), who held the position of Vice-Provost at Trinity College, Dublin from 1927 until shortly before his death. This book will be of value to anyone with an interest in the history of mathematics.

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.

There are things we routinely say that may strike us as literally false but that we are nonetheless reluctant to give up. This might be something mundane, like the way we talk about the sun setting in the west (it is the earth that moves), or it could be something much deeper, like engaging in talk that is ostensibly about numbers despite believing that numbers do not literally exist. Rather than regard such behaviour as self-defeating, a "fictionalist" is someone who thinks that this kind of discourse is entirely appropriate, even helpful, so long as we treat what is said as a useful fiction, rather than as the sober truth. "Fictionalism" can be broadly understood as a view that uses a notion of pretense or fiction in order to resolve certain puzzles or problems that otherwise do not necessarily have anything to do with literature or fictional creations. Within contemporary analytic philosophy, fictionalism has been on the scene for well over a decade and has matured during that time, growing in popularity. There are now myriad competing views about fictionalism and consequently the discussion has branched out into many more subdisciplines of philosophy. Yet there is widespread disagreement on what philosophical fictionalism actually amounts to and about how precisely it ought to be pursued. This volume aims to guide these discussions, collecting some of the most up-to-date work on fictionalism and tracing the view's development over the past decade. After a detailed discussion in the book's introductory chapter of how philosophers should think of fictionalism and its connection to metaontology more generally, the remaining chapters provide readers with arguments for and against this view from leading scholars in the fields of epistemology, ethics, metaphysics, philosophy of science, philosophy of language, and others.

Paraconsistent logic makes it possible to study inconsistent theories in a coherent way. From its modern start in the mid-20th century, paraconsistency was intended for use in mathematics, providing a rigorous framework for describing abstract objects and structures where some contradictions are allowed, without collapse into incoherence. Over the past decades, this initiative has evolved into an area of non-classical mathematics known as inconsistent or paraconsistent mathematics. This Element provides a selective introductory survey of this research program, distinguishing between `moderate' and `radical' approaches. The emphasis is on philosophical issues and future challenges.

First published in 2005. This study seeks to identify the specific mistakes that critics were alluding to in their passing asides on Wittgenstein's failure to grasp the mechanics of Godel's second incompleteness theorem. It also includes an understanding of his attack on meta-mathematics and Hilbert's Programme.

A remarkable account of Kurt Goedel, weaving together creative genius, mental illness, political corruption, and idealism in the face of the turmoil of war and upheaval. At age 24, a brilliant Austrian-born mathematician published a mathematical result that shook the world. Nearly a hundred years after Kurt Goedel's famous 1931 paper "On Formally Undecidable Propositions" appeared, his proof that every mathematical system must contain propositions that are true - yet never provable within that system - continues to pose profound questions for mathematics, philosophy, computer science, and artificial intelligence. His close friend Albert Einstein, with whom he would walk home every day from Princeton's famous Institute for Advanced Study, called him "the greatest logician since Aristotle." He was also a man who felt profoundly out of place in his time, rejecting the entire current of 20th century philosophical thought in his belief that mathematical truths existed independent of the human mind, and beset by personal demons of anxiety and paranoid delusions that would ultimately lead to his tragic end from self-starvation. Drawing on previously unpublished letters, diaries, and medical records, Journey to the Edge of Reason offers the most complete portrait yet of the life of one of the 20th century's greatest thinkers. Stephen Budiansky's account brings to life the remarkable world of philosophical and mathematical creativity of pre-war Vienna, and documents how it was barbarically extinguished by the Nazis. He charts Goedel's own hair's-breadth escape from Nazi Germany to the scholarly idyll of Princeton; and the complex, gently humorous, sensitive, and tormented inner life of this iconic but previously enigmatic giant of modern science. Weaving together Goedel's public and private lives, this is a tale of creative genius, mental illness, political corruption, and idealism in the face of the turmoil of war and upheaval.

This monograph presents a groundbreaking scholarly treatment of the German mathematician Jost Burgi's original work on logarithms, Arithmetische und Geometrische Progress Tabulen. It provides the first-ever English translation of Burgi's text and illuminates his role in the development of the conception of logarithms, for which John Napier is traditionally given priority. High-resolution scans of each page of the his handwritten text are reproduced for the reader and as a means of preserving an important work for which there are very few surviving copies. The book begins with a brief biography of Burgi to familiarize readers with his life and work, as well as to offer an historical context in which to explore his contributions. The second chapter then describes the extant copies of the Arithmetische und Geometrische Progress Tabulen, with a detailed description of the copy that is the focus of this book, the 1620 "Graz manuscript". A complete facsimile of the text is included in the next chapter, along with a corresponding transcription and an English translation; a transcription of a second version of the manuscript (the "Gdansk manuscript") is included alongside that of the Graz edition so that readers can easily and closely examine the differences between the two. The final chapter considers two important questions about Burgi's work, such as who was the copyist of the Graz manuscript and what the relationship is between the Graz and Gdansk versions. Appendices are also included that contain a timeline of Burgi's life, the underlying concept of Napier's construction of logarithms, and scans of all 58 sheets of the tables from Burgi's text. Anyone with an appreciation for the history of mathematics will find this book to be an insightful and interesting look at an important and often overlooked work. It will also be a valuable resource for undergraduates taking courses in the history of mathematics, researchers of the history of mathematics, and professors of mathematics education who wish to incorporate historical context into their teaching.

This is the first book-length analysis of the techniques and procedures of ancient mathematical commentaries. It focuses on examples in Chinese, Sanskrit, Akkadian and Sumerian, and Ancient Greek, presenting the general issues by constant detailed reference to these commentaries, of which substantial extracts are included in the original languages and in translation, sometimes for the first time. This makes the issues accessible to readers without specialized training in mathematics or in the languages involved. The result is a much richer understanding than was hitherto possible of the crucial role of commentaries in the history of mathematics in four different linguistic areas, of the nature of mathematical commentaries in general, of the contribution that the study of mathematical commentaries can make to the history of science and to the study of commentaries in general, and of the ways in which mathematical commentaries are like and unlike other kinds of commentaries.

Mathematics depends on proofs, and proofs must begin somewhere, from some fundamental assumptions. For nearly a century, the axioms of set theory have played this role, so the question of how these axioms are properly judged takes on a central importance. Approaching the question from a broadly naturalistic or second-philosophical point of view, Defending the Axioms isolates the appropriate methods for such evaluations and investigates the ontological and epistemological backdrop that makes them appropriate. In the end, a new account of the objectivity of mathematics emerges, one refreshingly free of metaphysical commitments.

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist.

What is mathematics about? Does the subject-matter of mathematics exist independently of the mind or are they mental constructions? How do we know mathematics? Is mathematical knowledge logical knowledge? And how is mathematics applied to the material world? In this introduction to the philosophy of mathematics, Michele Friend examines these and other ontological and epistemological problems raised by the content and practice of mathematics. Aimed at a readership with limited proficiency in mathematics but with some experience of formal logic it seeks to strike a balance between conceptual accessibility and correct representation of the issues. Friend examines the standard theories of mathematics - Platonism, realism, logicism, formalism, constructivism and structuralism - as well as some less standard theories such as psychologism, fictionalism and Meinongian philosophy of mathematics. In each case Friend explains what characterises the position and where the divisions between them lie, including some of the arguments in favour and against each. This book also explores particular questions that occupy present-day philosophers and mathematicians such as the problem of infinity, mathematical intuition and the relationship, if any, between the philosophy of mathematics and the practice of mathematics. Taking in the canonical ideas of Aristotle, Kant, Frege and Whitehead and Russell as well as the challenging and innovative work of recent philosophers like Benacerraf, Hellman, Maddy and Shapiro, Friend provides a balanced and accessible introduction suitable for upper-level undergraduate courses and the non-specialist.

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems, and the same problems will look different when we change the lens. In this book, Theodore Sider identifies how the shift from modal to "postmodal" conceptual tools in recent years has affected the metaphysics of science and mathematics. He highlights, for instance, how the increased consideration of concepts of ground, essence, and fundamentality has transformed the debate over structuralism in many ways. Sider then examines three structuralist positions through a postmodal lens. First, nomic essentialism, which says that scientific properties are secondary and lawlike relationships among them are primary. Second, structuralism about individuals, a general position of which mathematical structuralism and structural realism are instances, which says that scientific and mathematical objects are secondary and the pattern of relations among them is primary. And third, comparativism about quantities, which says that particular values of scientific quantities, such as having exactly 1000g mass, are secondary, and quantitative relations, such as being-twice-as-massive-as, are primary. Sider concludes these discussions by considering the meta-question of when theories are equivalent and how that impacts the debate over structuralism.

In many ways set theory lies at the heart of modern mathematics, and it does powerful work both philosophical and mathematical - as a foundation for the subject. However, certain philosophical problems raise serious doubts about our acceptance of the axioms of set theory. In a detailed and original reassessment of these axioms, Sharon Berry uses a potentialist (as opposed to actualist) approach to develop a unified determinate conception of set-theoretic truth that vindicates many of our intuitive expectations regarding set theory. Berry further defends her approach against a number of possible objections, and she shows how a notion of logical possibility that is useful in formulating Potentialist set theory connects in important ways with philosophy of language, metametaphysics and philosophy of science. Her book will appeal to readers with interests in the philosophy of set theory, modal logic, and the role of mathematics in the sciences.

Written by one of the preeminent researchers in the field, this book provides a comprehensive exposition of modern analysis of causation. It shows how causality has grown from a nebulous concept into a mathematical theory with significant applications in the fields of statistics, artificial intelligence, economics, philosophy, cognitive science, and the health and social sciences. Judea Pearl presents and unifies the probabilistic, manipulative, counterfactual, and structural approaches to causation and devises simple mathematical tools for studying the relationships between causal connections and statistical associations. The book will open the way for including causal analysis in the standard curricula of statistics, artificial intelligence, business, epidemiology, social sciences, and economics. Students in these fields will find natural models, simple inferential procedures, and precise mathematical definitions of causal concepts that traditional texts have evaded or made unduly complicated. The first edition of Causality has led to a paradigmatic change in the way that causality is treated in statistics, philosophy, computer science, social science, and economics. Cited in more than 5,000 scientific publications, it continues to liberate scientists from the traditional molds of statistical thinking. In this revised edition, Judea Pearl elucidates thorny issues, answers readers questions, and offers a panoramic view of recent advances in this field of research. Causality will be of interests to students and professionals in a wide variety of fields. Anyone who wishes to elucidate meaningful relationships from data, predict effects of actions and policies, assess explanations of reported events, or form theories of causal understanding and causal speech will find this book stimulating and invaluable."

This volume presents interviews that have been conducted from the 1980s to the present with important scholars of social choice and welfare theory. Starting with a brief history of social choice and welfare theory written by the book editors, it features 15 conversations with four Nobel Laureates and other key scholars in the discipline. The volume is divided into two parts. The first part presents four conversations with the founding fathers of modern social choice and welfare theory: Kenneth Arrow, John Harsanyi, Paul Samuelson, and Amartya Sen. The second part includes conversations with scholars who made important contributions to the discipline from the early 1970s onwards. This book will appeal to anyone interested in the history of economics, and the history of social choice and welfare theory in particular.