This book is about philosophy, mathematics and logic, giving a philosophical account of Pluralism which is a family of positions in the philosophy of mathematics. There are four parts to this book, beginning with a look at motivations for Pluralism by way of Realism, Maddy’s Naturalism, Shapiro’s Structuralism and Formalism. In the second part of this book the author covers: the philosophical presentation of Pluralism; using a formal theory of logic metaphorically; rigour and proof for the Pluralist; and mathematical fixtures. In the third part the author goes on to focus on the transcendental presentation of Pluralism, and in part four looks at applications of Pluralism, such as a Pluralist approach to proof in mathematics and how Pluralism works in regard to together-inconsistent philosophies of mathematics. The book finishes with suggestions for further Pluralist enquiry. In this work the author takes a deeply radical approach in developing a new position that will either convert readers, or act as a strong warning to treat the word ‘pluralism’ with care.
This Festschrift contains numerous colorful and eclectic essays from well-known mathematicians, philosophers, logicians, and linguists celebrating the 90th birthday of Reuben Hersh. The essays offer, in part, attempts to answer the following questions set forth by Reuben himself as a focus for this volume: Can practicing mathematicians, as such, contribute anything to the philosophy of math? Can or should philosophers of math, as such, say anything to practicing mathematicians? Twenty or fifty years from now, what will be similar, and what will, or could, or should be altogether different: About the philosophy of math? About math education? About math research institutions? About data processing and scientific computing? The essays also offer glimpses into Reuben’s fertile mind and his lasting influence on the mathematical community, as well as revealing the diverse roots, obstacles and philosophical dispositions that characterize the working lives of mathematicians. With contributions from a veritable “who’s who” list of 20th century luminaries from mathematics and philosophy, as well as from Reuben himself, this volume will appeal to a wide variety of readers from curious undergraduates to prominent mathematicians.
The first volume in this new series explores, through extensive co-operation, new ways of achieving the integration of science in all its diversity. The book offers essays from important and influential philosophers in contemporary philosophy, discussing a range of topics from philosophy of science to epistemology, philosophy of logic and game theoretical approaches. It will be of interest to philosophers, computer scientists and all others interested in the scientific rationality.
Consequence is at the heart of logic, and an account of consequence offers a vital tool in the evaluation of arguments. This text presents what the authors term as 'logical pluralism' arguing that the notion of logical consequence doesn't pin down one deductive consequence relation; it allows for many of them.
This edited work presents contemporary mathematical practice in the foundational mathematical theories, in particular set theory and the univalent foundations. It shares the work of significant scholars across the disciplines of mathematics, philosophy and computer science. Readers will discover systematic thought on criteria for a suitable foundation in mathematics and philosophical reflections around the mathematical perspectives. The volume is divided into three sections, the first two of which focus on the two most prominent candidate theories for a foundation of mathematics. Readers may trace current research in set theory, which has widely been assumed to serve as a framework for foundational issues, as well as new material elaborating on the univalent foundations, considering an approach based on homotopy type theory (HoTT). The third section then builds on this and is centred on philosophical questions connected to the foundations of mathematics. Here, the authors contribute to discussions on foundational criteria with more general thoughts on the foundations of mathematics which are not connected to particular theories. This book shares the work of some of the most important scholars in the fields of set theory (S. Friedman), non-classical logic (G. Priest) and the philosophy of mathematics (P. Maddy). The reader will become aware of the advantages of each theory and objections to it as a foundation, following the latest and best work across the disciplines and it is therefore a valuable read for anyone working on the foundations of mathematics or in the philosophy of mathematics.
Mathematical pluralism is the view that there is an irreducible plurality of pure mathematical structures, each with their own internal logics; and that qua pure mathematical structures they are all equally legitimate. Mathematical pluralism is a relatively new position on the philosophical landscape. This Element provides an introduction to the position.
Scientific pluralism is an issue at the forefront of philosophy of science. This landmark work addresses the question, Can pluralism be advanced as a general, philosophical interpretation of science? Scientific Pluralism demonstrates the viability of the view that some phenomena require multiple accounts. Pluralists observe that scientists present various—sometimes even incompatible—models of the world and argue that this is due to the complexity of the world and representational limitations. Including investigations in biology, physics, economics, psychology, and mathematics, this work provides an empirical basis for a consistent stance on pluralism and makes the case that it should change the ways that philosophers, historians, and social scientists analyze scientific knowledge. Contributors: John Bell, U of Western Ontario; Michael Dickson, U of South Carolina; Carla Fehr, Iowa State U; Ronald N. Giere, U of Minnesota; Geoffrey Hellman, U of Minnesota; Alan Richardson, U of British Columbia; C. Wade Savage, U of Minnesota; Esther-Mirjam Sent, U of Nijmegen. Stephen H. Kellert is professor of philosophy at Hamline University and a fellow of the Minnesota Center for Philosophy of Science. Helen E. Longino is professor of philosophy at Stanford University. C. Kenneth Waters is associate professor of philosophy and director of the Minnesota Center for Philosophy of Science.
Logical pluralism is the view that different logics are equally appropriate, or equally correct. Logical relativism is a pluralism according to which validity and logical consequence are relative to something. In Varieties of Logic, Stewart Shapiro develops several ways in which one can be a pluralist or relativist about logic. One of these is an extended argument that words and phrases like "valid" and "logical consequence" are polysemous or, perhaps better, are cluster concepts. The notions can be sharpened in various ways. This explains away the "debates" in the literature between inferentialists and advocates of a truth-conditional, model-theoretic approach, and between those who advocate higher-order logic and those who insist that logic is first-order. A significant kind of pluralism flows from an orientation toward mathematics that emerged toward the end of the nineteenth century, and continues to dominate the field today. The theme is that consistency is the only legitimate criterion for a theory. Logical pluralism arises when one considers a number of interesting and important mathematical theories that invoke a non-classical logic, and are rendered inconsistent, and trivial, if classical logic is imposed. So validity is relative to a theory or structure. The perspective raises a host of important questions about meaning. The most significant of these concern the semantic content of logical terminology, words like 'or', 'not', and 'for all', as they occur in rigorous mathematical deduction. Does the intuitionistic 'not', for example, have the same meaning as its classical counterpart? Shapiro examines the major arguments on the issue, on both sides, and finds them all wanting. He then articulates and defends a thesis that the question of meaning-shift is itself context-sensitive and, indeed, interest-relative. He relates the issue to some prominent considerations concerning open texture, vagueness, and verbal disputes. Logic is ubiquitous. Whenever there is deductive reasoning, there is logic. So there are questions about logical pluralism that are analogous to standard questions about global relativism. The most pressing of these concerns foundational studies, wherein one compares theories, sometimes with different logics, and where one figures out what follows from what in a given logic. Shapiro shows that the issues are not problematic, and that is usually easy to keep track of the logic being used and the one mentioned.
Scientific pluralism is an issue at the forefront of philosophy of science. This landmark work addresses the question, Can pluralism be advanced as a general, philosophical interpretation of science? Scientific Pluralism demonstrates the viability of the view that some phenomena require multiple accounts. Pluralists observe that scientists present various—sometimes even incompatible—models of the world and argue that this is due to the complexity of the world and representational limitations. Including investigations in biology, physics, economics, psychology, and mathematics, this work provides an empirical basis for a consistent stance on pluralism and makes the case that it should change the ways that philosophers, historians, and social scientists analyze scientific knowledge. Contributors: John Bell, U of Western Ontario; Michael Dickson, U of South Carolina; Carla Fehr, Iowa State U; Ronald N. Giere, U of Minnesota; Geoffrey Hellman, U of Minnesota; Alan Richardson, U of British Columbia; C. Wade Savage, U of Minnesota; Esther-Mirjam Sent, U of Nijmegen. Stephen H. Kellert is professor of philosophy at Hamline University and a fellow of the Minnesota Center for Philosophy of Science. Helen E. Longino is professor of philosophy at Stanford University. C. Kenneth Waters is associate professor of philosophy and director of the Minnesota Center for Philosophy of Science.
An introduction to the philosophy of mathematics grounded in mathematics and motivated by mathematical inquiry and practice. In this book, Joel David Hamkins offers an introduction to the philosophy of mathematics that is grounded in mathematics and motivated by mathematical inquiry and practice. He treats philosophical issues as they arise organically in mathematics, discussing such topics as platonism, realism, logicism, structuralism, formalism, infinity, and intuitionism in mathematical contexts. He organizes the book by mathematical themes--numbers, rigor, geometry, proof, computability, incompleteness, and set theory--that give rise again and again to philosophical considerations.
