How should we think about the meaning of the words that make up our language? How does reference of these terms work, and what is their referent when these are connected to abstract objects rather than to concrete ones? Can logic help to address these questions? This collection of papers aims to unify the questions of syntax and semantics of language, which span across the fields of logic, philosophy and ontology of language. The leading motif of the presented selection is the differentiation between linguistic tokens (material, concrete objects) on the one hand and linguistic types (ideal, abstract objects) on the other. Through a promenade among articles that span over all of the Author's career, this book addresses the complex philosophical question of the ontology of language by following the crystalline conceptual tools offered by logic. At the core of Wybraniec-Skardowska's scholarship is the idea that language is an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. The application throughout the book of tools of classical logic and set theory results fosters the emergence of a general formal logical theory of syntax, semantics and of the pragmatics of language, which takes into account the duality token-type in the understanding of linguistic expressions. Via a functional approach to language itself, logic appears as ontologically neutral with respect to existential assumptions relating to the nature of linguistic expressions and their extra-linguistic counterparts. The book is addressed to readers both at the graduate and undergraduate level, but also to a more general audience interested in getting a firmer grip on the interplay between reality and the language we use to describe and understand it.

The Quantum of Explanation advances a bold new theory of how explanation ought to be understood in philosophical and cosmological inquiries. Using a complete interpretation of Alfred North Whitehead's philosophical and mathematical writings and an interpretive structure that is essentially new, Auxier and Herstein argue that Whitehead has never been properly understood, nor has the depth and breadth of his contribution to the human search for knowledge been assimilated by his successors. This important book effectively applies Whitehead's philosophy to problems in the interpretation of science, empirical knowledge, and nature. It develops a new account of philosophical naturalism that will contribute to the current naturalism debate in both Analytic and Continental philosophy. Auxier and Herstein also draw attention to some of the most important differences between the process theology tradition and Whitehead's thought, arguing in favor of a Whiteheadian naturalism that is more or less independent of theological concerns. This book offers a clear and comprehensive introduction to Whitehead's philosophy and is an essential resource for students and scholars interested in American philosophy, the philosophy of mathematics and physics, and issues associated with naturalism, explanation and radical empiricism.

Spherical Geometry and Its Applications introduces spherical geometry and its practical applications in a mathematically rigorous form. The text can serve as a course in spherical geometry for mathematics majors. Readers from various academic backgrounds can comprehend various approaches to the subject. The book introduces an axiomatic system for spherical geometry and uses it to prove the main theorems of the subject. It also provides an alternate approach using quaternions. The author illustrates how a traditional axiomatic system for plane geometry can be modified to produce a different geometric world - but a geometric world that is no less real than the geometric world of the plane. Features: A well-rounded introduction to spherical geometry Provides several proofs of some theorems to appeal to larger audiences Presents principal applications: the study of the surface of the earth, the study of stars and planets in the sky, the study of three- and four-dimensional polyhedra, mappings of the sphere, and crystallography Many problems are based on propositions from the ancient text Sphaerica of Menelaus

This book analyses the straw man fallacy and its deployment in philosophical reasoning. While commonly invoked in both academic dialogue and public discourse, it has not until now received the attention it deserves as a rhetorical device. Scott Aikin and John Casey propose that straw manning essentially consists in expressing distorted representations of one’s critical interlocutor. To this end, the straw man comprises three dialectical forms, and not only the one that is usually suggested: the straw man, the weak man and the hollow man. Moreover, they demonstrate that straw manning is unique among fallacies as it has no particular logical form in itself, because it is an instance of inappropriate meta-argument, or argument about arguments. They discuss the importance of the onlooking audience to the successful deployment of the straw man, reasoning that the existence of an audience complicates the dialectical boundaries of argument. Providing a lively, provocative and thorough analysis of the straw man fallacy, this book will appeal to postgraduates and researchers alike, working in a range of fields including fallacies, rhetoric, argumentation theory and informal logic.

This volume contains English translations of Goedel's chapters on logicism and the antinomies and on the calculi of pure logic, as well as outlines for a chapter on metamathematics. It also comprises most of his reading notes. This book is a testimony to Goedel's understanding of the situation of foundational research in mathematics after his great discovery, the incompleteness theorem of 1931. It is also a source for his views on his logical predecessors, from Leibniz, Frege, and Russell to his own times. Goedel's "own book on foundations," as he called it, is essential reading for logicians and philosophers interested in foundations. Furthermore, it opens a new chapter to the life and achievement of one of the icons of 20th century science and philosophy.

One of the only volumes that brings the humanities, social sciences and even the natural sciences under one remit to look at how they can be researched in an integrated and useful way, with policy and real world implications in terms of how we relate in and to the world. Interdisciplinarity and Transdisciplinarity have been around for a long time, but as as we move through a digital age they are becoming more and more important and interesting to the scholarly community and beyond. There is nothing on the market that pulls all of these subjects across disciplines together and works out a framework to construct the analysis in a way that asks and answers useful questions.

Mathematical Recreations from the Tournament of the Towns contains the complete list of problems and solutions to the International Mathematics Tournament of the Towns from Fall 2007 to Spring 2021. The primary audience for this book is the army of recreational mathematicians united under the banner of Martin Gardner. It should also have great value to students preparing for mathematics competitions and trainers of such students. This book also provides an entry point for students in upper elementary schools. Features Huge recreational value to mathematics enthusiasts Accessible to upper-level high school students Problems classified by topics such as two-player games, weighing problems, mathematical tasks etc.

Offers the latest research on the topic.

Offers an English translation and in-depth commentary on the ten extant books of Diophantus of Alexandria's Arithmetica.

This book explains exactly what human knowledge is. The key concepts in this book are structures and algorithms, i.e., what the readers "see" and how they make use of what they see. Thus in comparison with some other books on the philosophy (or methodology) of science, which employ a syntactic approach, the author's approach is model theoretic or structural. Properly understood, it extends the current art and science of mathematical modeling to all fields of knowledge. The link between structure and algorithms is mathematics. But viewing "mathematics" as such a link is not exactly what readers most likely learned in school; thus, the task of this book is to explain what "mathematics" should actually mean. Chapter 1, an introductory essay, presents a general analysis of structures, algorithms and how they are to be linked. Several examples from the natural and social sciences, and from the history of knowledge, are provided in Chapters 2-6. In turn, Chapters 7 and 8 extend the analysis to include language and the mind. Structures are what the readers see. And, as abstract cultural objects, they can almost always be seen in many different ways. But certain structures, such as natural numbers and the basic theory of grammar, seem to have an absolute character. Any theory of knowledge grounded in human culture must explain how this is possible. The author's analysis of this cultural invariance, combining insights from evolutionary theory and neuroscience, is presented in the book's closing chapter. The book will be of interest to researchers, students and those outside academia who seek a deeper understanding of knowledge in our present-day society.

New to the Fourth Edition Reorganised and revised chapter seven and thirteen New exercises and examples Expanded, updated references Further historical material on figures besides Galois: Omar Khayyam, Vandermonde, Ruffini, and Abel A new final chapter discussing other directions in which Galois Theory has developed: the inverse Galois problem, differential Galois theory, and a (very) brief introduction to p-adic Galois representations.

Russell's first book on philosophy and a fascinating insight into his early thinking A classic in the history and philosophy of mathematics and logic by one of the greatest philosophers of the 20th century This Routledge Classics edition includes a new foreword by Michael Potter, a renowned expert on analytic philosophy

Brilliant introduction to the philosophy of mathematics, from the question 'what is a number?' up to the concept of infinity, descriptions, classes and axioms Russell deploys all his skills and brilliant prose to write an introductory book - a real gem by one of the 20th century's most celebrated philosophers New foreword by Michael Potter to the Routledge Classics edition places the book in helpful context and explains why it's a classic

This book provides, for the first time, a critical edition and an English translation of the chapter on spheres (goladhyaya) from Nityananda's Sarvasiddhantaraja, a Sanskrit astronomical text written in seventeenth-century Mughal India.

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.

This book offers an alternative to current philosophy of mathematics: heuristic philosophy of mathematics. In accordance with the heuristic approach, the philosophy of mathematics must concern itself with the making of mathematics and in particular with mathematical discovery. In the past century, mainstream philosophy of mathematics has claimed that the philosophy of mathematics cannot concern itself with the making of mathematics but only with finished mathematics, namely mathematics as presented in published works. On this basis, mainstream philosophy of mathematics has maintained that mathematics is theorem proving by the axiomatic method. This view has turned out to be untenable because of Goedel's incompleteness theorems, which have shown that the view that mathematics is theorem proving by the axiomatic method does not account for a large number of basic features of mathematics. By using the heuristic approach, this book argues that mathematics is not theorem proving by the axiomatic method, but is rather problem solving by the analytic method. The author argues that this view can account for the main items of the mathematical process, those being: mathematical objects, demonstrations, definitions, diagrams, notations, explanations, applicability, beauty, and the role of mathematical knowledge.

This book introduces the reader to Serres' unique manner of 'doing philosophy' that can be traced throughout his entire oeuvre: namely as a novel manner of bearing witness. It explores how Serres takes note of a range of epistemologically unsettling situations, which he understands as arising from the short-circuit of a proprietary notion of capital with a praxis of science that commits itself to a form of reasoning which privileges the most direct path (simple method) in order to expend minimal efforts while pursuing maximal efficiency. In Serres' universal economy, value is considered as a function of rarity, not as a stock of resources. This book demonstrates how Michel Serres has developed an architectonics that is coefficient with nature. Mathematic and Information in the Philosophy of Michel Serres acquaints the reader with Serres' monist manner of addressing the universality and the power of knowledge - that is at once also the anonymous and empty faculty of incandescent, inventive thought. The chapters of the book demarcate, problematize and contextualize some of the epistemologically unsettling situations Serres addresses, whilst also examining the particular manner in which he responds to and converses with these situations.

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is that mathematics should be founded on the human ability to create language - and specifically, the ability to institute conventions for the truth conditions of sentences. This philosophical stance leads to an alternative way of practicing mathematics: instead of "building" objects out of sets, a mathematician should introduce new syntactical sentence types, together with their truth conditions, as he or she develops a theory. Semantic conventionalism is justified first through criticism of Cantorian set theory, intuitionism, logicism, and predicativism; then on its own terms; and finally, exemplified by a detailed reconstruction of arithmetic and real analysis. Also included is a simple solution to the liar paradox and the other paradoxes that have traditionally been recognized as semantic. And since it is argued that mathematics is semantics, this solution also applies to Russell's paradox and the other mathematical paradoxes of self-reference. In addition to philosophers who care about the metaphysics and epistemology of mathematics or the paradoxes of self-reference, this book should appeal to mathematicians interested in alternative approaches.

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.

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.

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.

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.