Philosophy of Mathematics

The aim of this paper is threefold. Firstly, §1 and §2 introduce the novel concept logical akrasia by analogy to epistemic akrasia. If successful, the initial sections will draw attention to an interesting akratic phenomenon which has not received much attention in the literature on akrasia (although it has been discussed by logicians in different terms). Secondly, §3 and §4 present a dilemma related to logical akrasia. From a case involving the consistency of Peano Arithmetic and Gödel’s Second Incompleteness Theorem (...) it’s shown that either we must be agnostic about the consistency of Peano Arithmetic or akratic in our arithmetical theorizing. If successful, these sections will underscore the pertinence and persistence of akrasia in arithmetic (by appeal to Gödel’s seminal work). Thirdly, §5 concludes by suggesting a way of translating the dilemma of arithmetical akrasia into a case of regular epistemic akrasia; and further how one might try to escape the dilemma when it’s framed this way. (shrink)

Monism is the claim that only one object exists. While few contemporary philosophers endorse monism, it has an illustrious history – stretching back to Bradley, Spinoza and Parmenides. In this paper, I show that plausible assumptions about the higher-order logic of property identity entail that monism is true. Given the higher-order framework I operate in, this argument generalizes: it is also possible to establish that there is a single property, proposition, relation, etc. I then show why this form of monism (...) is inconsistent; because all propositions are identical, p is identical to ~p – and so they have the same truth-value. At least one of the assumptions that generate higher-order monism must be rejected. (shrink)

Arithmetic is one of the foundations of our educational systems, but what exactly is it? Numbers are everywhere in our modern societies, but what is our knowledge of numbers really about? This book provides a philosophical account of arithmetical knowledge that is based on the state-of-the-art empirical studies of numerical cognition. It explains how humans have developed arithmetic from humble origins to its modern status as an almost universally possessed knowledge and skill. Central to the account is the realisation that, (...) while arithmetic is a human creation, the development of arithmetic is constrained by our evolutionarily developed cognitive architecture. Arithmetic is a sophisticated cultural development, but it is ultimately based on abilities with numerosities that we already possess as infants and share with many non-human animals. Therefore, arithmetic is not purely conventional, an arbitrary game akin to chess. Instead, arithmetic is deeply connected to our basic cognitive capacities. (shrink)

This collection brings together recent scholarship on Frege, including new translations of German material which is made available to Anglophone scholars for the first time.

Conservation of the Circle is the core (and, thus, the only) dynamic in Nature.

The Tanglewood Trilogy (2002) Book One: Relative Realities, Book Two: Opposite Approach, Book Three: Partial Truth. Conservation of the Circle explains General Relativity, Complementary Opposition, and 50-50 Reality (50-50 as the constant and the norm). This gives humans the basis for everything in mathematics, science, art, and athletics (symbolic systems universally). Conservation of the Circle solves the grounding problem (where the absolute is relative because the relative is absolute) because an uber-universal circular-linear relationship (technically, pi in mathematics) is the only (...) 'actor' in Nature. Meaning there is a mandatory circular-linear 'relationship' between any X and-or Y (where it is impossible to have 'or' without 'and') (forcing humans to examine their existential relationship with 'technology'). The Tanglewood Trilogy: Relative Realities: Circle, triangle, square, one, three, two, any shape, articulates a circle, because the line is always diameter and circumference of a circle. If a line is real it must articulate a circle. Thus, all movement articulates a line, diameter of a circle. The line is all around us as (the most basic element in) nature. Opposite Approach: Complementarity is the basis for identity, all disciplines. Partial Truth: Duplication and negation form the basis for unification, all disciplines. Most recent technical explanation see 2024 paper 'Conservation of a Circle' also on Phil Papers. (shrink)

Nền kinh tế nước ta đang chuyển biến mạnh mẽ từ nền kinh tế bao cấp sang kinh tế thị trường, nhất là từ khi nước ta gia nhập WTO. Đảng và chính phủ đã đề ra rất nhiều các chính sách để cải tiến các thể chế quản lý nền kinh tế và tài chính. Thị trường chứng khoán Việt Nam đã ra đời và đang đóng một vai trò quan trọng trong việc huy động vốn phục vụ cho (...) việc phát triển nền kinh tế quốc dân. Việc phân tích tác động của các chính sách đến nền kinh tế vĩ mô và nền tài chính, những đối sách của chính phủ ta và chính phủ các nước đối với cuộc khủng khoảng tài chính toàn cầu là các vấn đề rất thời sự đang thu hút sự chú ý của nhiều nhà kinh tế và toán học. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

A famous mathematical theorem says that the sum of an infinite series of numbers can depend on the order in which those numbers occur. Suppose we interpret the numbers in such a series as representing instances of some physical quantity, such as the weights of a collection of items. The mathematics seems to lead to the result that the weight of a collection of items can depend on the order in which those items are weighed. But that is very hard (...) to believe. A puzzle then arises: How do we interpret the metaphysical significance of this mathematical theorem? I first argue that prior solutions to the puzzle lead to implausible consequences. Then I develop my own solution, where the basic idea is that the weight of a collection of items is equal to the limit of the weights of its finite subcollections contained within ever-expanding regions of space. I show how my solution is intuitively plausible and philosophically motivated, how it reveals an underexplored line of metaphysical inquiry about quantities and locations, and how it elucidates some classic puzzles concerning supertasks. (shrink)

A traditional question in the philosophy of mathematics is to give an answer to the question: What is the nature of mathematical objects? This chapter considers the main answers that have been given to this question, specifically those according to which mathematical objects are independently existing entities, or abstractions, or logical objects, or simplifications, or mental constructions, or structures, or fictions, or idealizations of sensible things, or idealizations of operations. The chapter also shows the shortcomings of these answers, and considers (...) an alternative answer, according to which mathematical objects are hypotheses introduced to solve mathematical problems by the analytic method. (shrink)

If we want to understand why mathematical knowledge is extraordinarily reliable, we need to consider both the nature of mathematical arguments and mathematical practice as a social practice. Mathematical knowledge is extraordinarily reliable because arguments in mathematics take the form of deductive mathematical proofs. Deductive mathematical proofs are surveyable in the sense that they can be checked step by step by different experts, and a purported proof is only accepted as a proof by the mathematical community once a number of (...) experts have checked the proof. Hence, the reliability of the body of mathematical knowledge is in part obtained through the surveyability of proofs and the social process of proof validation. This chapter reviews work relating to (1) the norm in the mathematical community of only counting as argument deductive mathematical proof, and (2) the norm of only counting as deductive mathematical proof an argument that has been confirmed to be a deductive mathematical proof by a number of experts. The chapter also presents cases of unusual mathematical proofs or arguments that challenge these norms. (shrink)

A new approach to informal rigorous mathematical proof is offered. To this end, algorithmic devices are characterized and their central role in mathematical proof delineated. It is then shown how all the puzzling aspects of mathematical proof, including its peculiar capacity to convince its practitioners, are explained by algorithmic devices. Diagrammatic reasoning is also characterized in terms of algorithmic devices, and the algorithmic device view of mathematical proof is compared to alternative construals of informal proof to show its superiority.

Silence is a multifaceted concept which is not merely as an absence of sound but a presence with significant ontological, existential, and phenomenological implications. Through a thematic analysis, this paper deconstructs silence into various dimensions—its ontology, linguistic universality, and its function as cessation of speech, a form of listening, an act of kenosis, a form of ascesis, and a way of life. The study employs philosophical discourse and mathematical notation to delve into these aspects, demonstrating that while each perspective sheds (...) light on certain facets of silence, none can comprehensively encapsulate its essence. The research underscores the paradoxical nature of silence. It is both a universal phenomenon recognised across cultures and an intimate, personal experience that resists definitive categorisation. The paper concludes that the true nature of silence, particularly when considering the state of "being silent," remains indefinable and elusive, inviting deeper contemplation on its role in human experience. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of it from (...) the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

Practical approaches to the notions of subsets and extension sets are compared, coming from broadly set-theoretic and category-theoretic traditions of mathematics. I argue that the set-theoretic approach is the most practical for ‘looking down’ or ‘in’ at subsets and the category-theoretic approach is the most practical for ‘looking up’ or ‘out’ at extensions, and suggest some guiding principles for using these approaches without recourse to either category theory or axiomatic set theory.

The mathematical universe hypothesis is a theory that the physical universe is not merely described by mathematics, but is mathematics, specifically a mathematical structure. Our research provides evidence that the mathematical structure of the universe is biological in nature and all systems, processes, and objects within the universe function in harmony with biological patterns. Living organisms are the result of the universe’s biological pattern and are embedded within their physiology the patterns of this biological universe. Therefore physiological patterns in living (...) organisms can be used as models to structurally map analogies from the biological domain to any target domain to reveal and understand the biological nature of the target domain. Our paper explores various analogies, structurally mapping a red blood cell to a cup; proteins produced from ribosomes to music produced from instruments; a beating heart to the melting and freezing of Antartica; cells, tissue, organs and blood, to people, organizations, industries, and money, and; bio-economic concepts in cellular society to socioeconomic concepts in human society. It also discusses how phenomena in cellular mitosis can help explain phenomena in the universe, such as black holes, dark matter, dark energy, and the structure of the universe. Building upon the concept of perennial wisdom, our research has provided evidence that the ideas of a biological universe were expressed across many past cultures and historical periods. The implications of this theory are vast, encompassing fields such as physics, science, philosophy, religion, law, economics, politics, and engineering, thus serving as a unifying theory for all knowledge. Our theory is supported by meta-analysis of scientific, historic, and religious literature, observations and first principles logic. (shrink)

Drawing on perspectives ranging from generative syntax, optimality theory, computational linguistics, sign language phonology, and language evolution studies, this book explores the current philosophical issues in theoretical linguistics. It is an essential read for linguists, cognitive scientists and philosophers working in language studies.

Mới đây, chương trình máy tính ‘bayesvl’ chạy trên môi trường R do TS. Vương Quân Hoàng và kĩ sư Lã Việt Phương (Trung tâm Nghiên cứu Xã hội Liên ngành ISR, Đại học Phenikaa) thiết kế và phát triển chính thức được ra mắt trên CRAN - hệ thống thư viện chuẩn của R...

A perspective in the philosophy of mathematics is developed from a consideration of the strengths and limitations of both logicism and platonism, with an early focus on Frege’s work. Importantly, although many set-theoretic structures may be developed each of which offers limited isomorphism with the system of natural numbers, no one of them may be identified with it. Furthermore, the timeless, ever present nature of mathematical concepts and results itself offers direct access, in the face of a platonist account which (...) generates a supposed problem of access. Crucially too, pure mathematics has its own distinctive method of confirming or validating results - mathematical proof - which supplies a higher level of confidence and objectivity than that available elsewhere. The dichotomy of invention and discovery is too jejune a framework for analysing creative mathematical activity. The Gödelian platonist perspective is evaluated and queried through scrutiny of the part played by mathematical resources and constraints in relation to human activity. It appears that there can be non-causal mathematical explanations and mathematical constraint on purely natural processes. Valuable implications of Quine’s naturalism are explored, but one must be cautious of his thesis of confirmational holism. The distinction between algebraic and non-algebraic mathematical theories usefully contributes to our understanding of the internally differentiated nature of the subject. (shrink)

We argue that two well-known examples (strawberry distribution and Konigsberg bridges) generally considered genuine cases of distinctively _mathematical_ explanation can also be understood as cases of distinctively _generic_ explanation. The latter answer resemblance questions (e.g., why did neither person A nor B manage to cross all bridges) by appealing to ‘generic task laws’ instead of mathematical necessity (as is done in distinctively mathematical explanations). We submit that distinctively generic explanations derive their explanatory force from their role in ontological unification. Additionally, (...) we argue that distinctively generic explanations are better seen as standardly mathematical instead of distinctively mathematical. Finally, we compare and contrast our proposal with the work of Christopher Pincock on abstract explanations in science and the views of Michael Strevens on abstract causal event explanations. (shrink)

Topics covered in Discrete Mathematics have become essential tools in many areas of studies in recent years. This is primarily due to the revolution in technology, communications, and cyber security. The book treats major themes in a typical introductory modern Discrete Mathematics course: Propositional and predicate logic, proof techniques, set theory (including Boolean algebra, functions and relations), introduction to number theory, combinatorics and graph theory. An accessible, precise, and comprehensive approach is adopted in the treatment of each topic. The ability (...) of abstract thinking and the art of writing valid arguments are emphasized through detailed proof of (almost) every result. Developing the ability to think abstractly and roguishly is key in any areas of science, information technology and engineering. Every result presented in the book is followed by examples and applications to consolidate its comprehension. The hope is that the reader ends up developing both the abstract reasoning as well as acquiring practical skills. All efforts are made to write the book at a level accessible to first-year students and to present each topic in a way that facilitates self-directed learning. Each chapter starts with basic concepts of the subject at hand and progresses gradually to cover more ground on the subject. Chapters are divided into sections and subsections to facilitate readings. Each section ends with its own carefully chosen set of practice exercises to reenforce comprehension and to challenge and stimulate readers. As an introduction to Discrete Mathematics, the book is written with the smallest set of prerequisites possible. Familiarity with basic mathematical concepts (usually acquired in high school) is sufficient for most chapters. However, some mathematical maturity comes in handy to grasp some harder concepts presented in the book. (shrink)

Emphasizing the creative nature of mathematics, this conversational textbook guides students through the process of discovering a proof as they transition to advanced mathematics. Using several strategies, students will develop the thinking skills needed to tackle mathematics when there is no clear algorithm or recipe to follow.

The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Fifth Edition provides basic logic of mathematical proofs and shows how mathematical proofs work. It offers techniques for both reading and writing proofs. The second chapter of the book discusses the techniques in proving if/then statements by contrapositive and proofing by contradiction. It also includes the negation statement, and/or. It examines various theorems, such as the if and only-if, or equivalence theorems, the existence theorems, and the uniqueness theorems. In (...) addition, use of counter examples, mathematical induction, composite statements including multiple hypothesis and multiple conclusions, and equality of numbers are covered in this chapter. The book also provides mathematical topics for practicing proof techniques. Included here are the Cartesian products, indexed families, functions, and relations. The last chapter of the book provides review exercises on various topics. Undergraduate students in engineering and physical science will find this book accessible as well as invaluable. (shrink)

The goal of this unique text is to provide an "experience" that would facilitate a better transition for mathematics majors to the advanced proof-based courses required for their major. If you "love mathematics, but I hate proofs" this book is for you. Example-based courses such as introductory Calculus transition somewhat abruptly, and without a warning label, to proof-based courses, and may leave students with the unpleasant feeling that a subject they loved has turned into material they find hard to understand. (...) The book exposes students and readers to the fundamental nature and principles of constructing mathematical proofs and in the context of main courses required for the major, e.g., probability, linear algebra, real analysis, and abstract algebra. Four short chapters, each chapter focusing on a particular course, provide a short but rigorous introduction. Students then get a preview of the discipline, its focus, language, mathematical objects of interests, and common methods of proof presented in those courses. Because which ideas apply to which future courses may not be obvious in many transition courses, this structure addresses this need. The book may also be used as a review tool at the end of course and for readers who want to learn the language and scope of the broad disciplines of linear algebra, abstract algebra, real analysis, and probability, before transitioning to these courses. (shrink)

Written for any motivated reader with a high-school knowledge of mathematics, and the discipline to follow logical arguments, this book presents the proofs for revolutionary impossibility theorems in an accessible way, with less jargon and notation, and more background, intuition, examples, explanations, and exercises.

This book brings the most important aspects of modern topology within reach of a second-year undergraduate student. It successfully unites the most exciting aspects of modern topology with those that are most useful for research, leaving readers prepared and motivated for further study. Written from a thoroughly modern perspective, every topic is introduced with an explanation of why it is being studied, and a huge number of examples provide further motivation. The book is ideal for self-study and assumes only a (...) familiarity with the notion of continuity and basic algebra. (shrink)

Among the best available reference introductions to general topology, this volume is appropriate for advanced undergraduate and beginning graduate students. Includes historical notes and over 340 detailed exercises. 1970 edition. Includes 27 figures.

Zero has been axial in human development, but the origin and discovery of zero has never been satisfactorily addressed by a comprehensive, systematic and above all interdisciplinary research program. In this volume, over 40 international scholars explore zero under four broad themes: history; religion, philosophy & linguistics; arts; and mathematics & the sciences. Some propose that the invention/discovery of zero may have been facilitated by the prior evolution of a sophisticated concept of Nothingness or Emptiness (as it is understood in (...) non-European traditions); and conversely, inhibited by the absence of, or aversion to, such a concept of Nothingness in the West. But not all scholars agree. Join the debate. (shrink)

This essay examines the philosophical significance of $\Omega$-logic in Zermelo-Fraenkel set theory with choice (ZFC). The categorical duality between coalgebra and algebra permits Boolean-valued algebraic models of ZFC to be interpreted as coalgebras. The hyperintensional profile of $\Omega$-logical validity can then be countenanced within a coalgebraic logic. I argue that the philosophical significance of the foregoing is two-fold. First, because the epistemic and modal and hyperintensional profiles of $\Omega$-logical validity correspond to those of second-order logical consequence, $\Omega$-logical validity is genuinely (...) logical. Second, the foregoing provides a hyperintensional account of the interpretation of mathematical and metamathematical vocabulary. (shrink)

It is often assumed that concepts from the formal sciences, such as mathematics and logic, have to be treated differently from concepts from non-formal sciences. This is especially relevant in cases of concept defectiveness, as in the empirical sciences defectiveness is an essential component of lager disruptive or transformative processes such as concept change or concept fragmentation. However, it is still unclear what role defectiveness plays for concepts in the formal sciences. On the one hand, a common view sees formal (...) concepts to be protected against defects because of their precise and stable nature. On the other, studies going back as far as Lakatos (1963) showcase the changeability of such concepts. -/- In this paper, I will investigate if and how defectiveness based on the occurrence of inconsistencies can appear with formal concepts. To make the case as strong as possible, I employ a strict notion of formal concept that assumes the concept to have a fixed and definite extension. I will show that there are indeed certain types of defectiveness that cannot occur with such concepts; but that there are other types of defectiveness that do occur. This means that while formal concepts have to be treated differently than non-formal concepts, questions about defectiveness---as raised in the conceptual engineering debate and philosophy of science---can still be applied to them. I will highlight this point by showing how formal sciences have special strategies available to them that allow them to resolve defectiveness of their concepts in a flexible and informative manner. (shrink)

This analysis shows Cantor's diagonal definition in his 1891 paper was not compatible with his horizontal enumeration of the infinite set M. The diagonal sequence was a counterfeit which he used to produce an apparent exclusion of a single sequence to prove the cardinality of M is greater than the cardinality of the set of integers N.

Informally rigorous mathematical reasoning is relevant. So too should be the premises to the conclusions of formal proofs that regiment it. The rule Ex Falso Quodlibet induces spectacular irrelevance. We therefore drop it. The resulting systems of Core Logic C and Classical Core Logic C+ can formalize all the informally rigorous reasoning in constructive and classical mathematics respectively. We effect a revised match-up between deducibility in Classical Core Logic and a new notion of relevant logical consequence. It matches better the (...) deducibility relation of Classical Core Logic than does the Tarskian notion of consequence. It is implosive, not explosive. (shrink)

I propose a revision of Cantor’s account of set size that understands comparisons of set size fundamentally in terms of surjections rather than injections. This revised account is equivalent to Cantor's account if the Axiom of Choice is true, but its consequences differ from those of Cantor’s if the Axiom of Choice is false. I argue that the revised account is an intuitive generalization of Cantor’s account, blocks paradoxes—most notably, that a set can be partitioned into a set that is (...) bigger than it—that can arise from Cantor’s account if the Axiom of Choice is false, illuminates the debate over whether the Axiom of Choice is true, is a mathematically fruitful alternative to Cantor’s account, and sheds philosophical light on one of the oldest unsolved problems in set theory. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what the (...) world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (shrink)

We propose a characterization of mathematical experiments in terms of a setup, a process with an outcome, and an interpretation. Using a broad notion of process, this allows us to consider arithmetic calculations and geometric constructions as components of mathematical experiments. Moreover, we argue that mathematical experiments should be considered within a broader context of an experimental research project. Finally, we present a particular case study of the genesis of a geometric construction to illustrate the experimental use of hand drawings (...) and computers in mathematical practice. (shrink)

In "Plato's Ghost" Jeremy Gray presented many connections between mathematical practices in the nineteenth century and the rise of mathematical platonism in the context of more general developments, which he refers to as modernism. In this paper, I take up this theme and present a condensed discussion of some arguments put forward in favor of and against the view of mathematical platonism. In particular, I highlight some pressures that arose in the work of Frege, Cantor, and Gödel, which support adopting (...) a platonist position. The aim of this discussion is to provide an historically informed introduction to the philosophical position of mathematical platonism and to point at some of its mathematical and philosophical roots in the nineteenth century. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

Sand drawings are introduced in relation to the fieldwork of British anthropologists John Layard and Bernard Deacon early in the twentieth century, and the status of sand drawings as mathematics is discussed in the light of Wittgenstein’s idea that “in mathematics process and result are equivalent”. Included are photographs of the illustrations in Layard’s own copy of Deacon’s “Geometrical Drawings from Malekula and other Islands of the New Hebrides” (1934). This is a brief companion to my article “Wittgenstein on string (...) figures as mathematics” (2022), published in the journal Philosophical Investigations. (shrink)

Sollen wir Euklids Vorgehen in den Elementen als ein axiomatisches System verstehen—oder als ein System des natürlichen Schließens, in dem die Regeln und Prinzipien, denen wir in unserem Schließen folgen, dargelegt werden? Im Folgenden werde ich darstellen, wie Kenneth Manders, Danielle Macbeth, Marco Panza und andere in jüngster Zeit diese letztere Sicht als eine alternative Lesart von Euklids Elementen dargestellt haben. Insbesondere werde ich versuchen zu zeigen, dass wir in dieser Lesart Euklids eine Art der Argumentation vorfinden, die nicht bloß (...) auf Diagrammen basiert (wie dies auch in anderen diagrammatischen Darstellungen der Fall ist), sondern dass die Euklidische Geometrie hier als wesentlich diagrammatisch aufgefasst wird: Wir argumentieren und denken hier in dem Diagramm, und nicht bloß auf seiner Grundlage. (shrink)