Philosophy of Mathematics

Until recently, discussion of virtues in the philosophy of mathematics has been fleeting and fragmentary at best. But in the last few years this has begun to change. As virtue theory has grown ever more influential, not just in ethics where virtues may seem most at home, but particularly in epistemology and the philosophy of science, some philosophers have sought to push virtues out into unexpected areas, including mathematics and its philosophy. But there are some mathematicians already there, ready to (...) meet them, who have explicitly invoked virtues in discussing what is necessary for a mathematician to succeed. In both ethics and epistemology, virtue theory tends to emphasize character virtues, the acquired excellences of people. But people are not the only sort of thing whose excellences may be identified as virtues. Theoretical virtues have attracted attention in the philosophy of science as components of an account of theory choice. Within the philosophy of mathematics, and mathematics itself, attention to virtues has emerged from a variety of disparate sources. Theoretical virtues have been put forward both to analyse the practice of proof and to justify axioms; intellectual virtues have found multiple applications in the epistemology of mathematics; and ethical virtues have been offered as a basis for understanding the social utility of mathematical practice. Indeed, some authors have advocated virtue epistemology as the correct epistemology for mathematics (and perhaps even as the basis for progress in the metaphysics of mathematics). This topical collection brings together several of the researchers who have begun to study mathematical practices from a virtue perspective with the intention of consolidating and encouraging this trend. (shrink)

Frege’s Basic Law V and its successor, Boolos’s New V, are axioms postulating abstraction operators: mappings from the power set of the domain into the domain. Basic Law V proved inconsistent. New V, however, naturally interprets large parts of second-order ZFC via a construction discovered by Boolos in 1989. This paper situates these classic findings about abstraction operators within the general theory of F-algebras and coalgebras. In particular, we show how Boolos’s construction amounts to identifying an initial F-algebra in a (...) certain category, we identify a natural coalgebraic dual to Boolos’s axiom which naturally interprets large parts of Aczel’s non-well-founded set theory via the construction of a certain terminal F-coalgebra, and we suggest a coalgebraic way forward for an abstraction-theoretic axiomatization of the real numbers. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian “infinite book copies” (...) objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

The design of good notation is a cause that was dear to Charles Babbage's heart throughout his career. He was convinced of the "immense power of signs" (1864, 364), both to rigorously express complex ideas and to facilitate the discovery of new ones. As a young man, he promoted the Leibnizian notation for the calculus in England, and later he developed a Mechanical Notation for designing his computational engines. In addition, he reflected on the principles that underlie the design of (...) good mathematical notations. In this paper, we discuss these reflections, which can be found somewhat scattered in Babbage's writings, for the first time in a systematic way. Babbage's desiderata for mathematical notations are presented as ten guidelines pertinent to notational design and its application to both individual symbols and complex expressions. To illustrate the applicability of these guidelines in non-mathematical domains, some aspects of his Mechanical Notation are also discussed. (shrink)

The extant correspondence, consisting of ten letters from the period from 1882 to 1902, from Moritz Pasch to Felix Klein is presented together with an English translation and a short introduction. These letters provide insights into the views of Pasch and Klein regarding the role of intuition and axioms in mathematics, and also into the hiring practices of mathematics professors in the 1880s.

When halting is defined as any computation that halts without ever having its simulation aborted then it can be understood that partial halt decider H correctly decides that its input does not halt on the simplified version of the Linz Ĥ. -/- When this simplified concrete example is fully understood then the exact same reasoning is applied to the actual Linz Ĥ correctly deciding that it would never halt when applied to its own Turing machine description.

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

Centered around our knowledge of mathematical, modal, and a priori truths, this is a collection that celebrates the work of Keith Hossack, who, throughout his career, has made outstanding contributions to the theory of knowledge, metaphysics, and the philosophy of mathematics. Starting with a focus on our knowledge of abstract entities such as mathematical objects and the source of the necessity of mathematical truths, attention moves to the notion of necessity and its interaction with a priori knowledge: Is it the (...) case that a proposition is necessarily true precisely when it is known a priori? Coverage concludes by zooming out to offer new perspectives on the theory of knowledge: What is knowledge? Is knowing a relation between an agent and a fact? How can we explain rational ignorance by a theory of content? How can we know the content of our own minds, and what does it tell us about the role of a priori knowledge? Featuring chapters by colleagues and students of Hossack's, a team of contributors that includes established philosophers and up and coming academics, Knowledge, Number and Reality represents some of the most vibrant discussions taking place in analytic philosophy today. (shrink)

The paper explores Hermann Weyl’s turn to intuitionism through a philosophical prism of normative framework transitions. It focuses on three central themes that occupied Weyl’s thought: the notion of the continuum, logical existence, and the necessity of intuitionism, constructivism, and formalism to adequately address the foundational crisis of mathematics. The analysis of these themes reveals Weyl’s continuous endeavor to deal with such fundamental problems and suggests a view that provides a different perspective concerning Weyl’s wavering foundational positions. Building on a (...) philosophical model of scientific framework transitions and the special role that normative indecision or ambivalence plays in the process, the paper examines Weyl’s motives for considering such a radical shift in the first place. It concludes by showing that Weyl’s shifting stances should be regarded as symptoms of a deep, convoluted intrapersonal process of self-deliberation induced by exposure to external criticism. (shrink)

Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss (...) the principles that guided Peano's introduction of new symbols, the choice of characters, and the layout of formulas. Finally, we take a closer look, from a systematic and historical perspective, at one of Peano's most striking innovations, his use of dots for the grouping of subformulas. (shrink)

Since Sun-Joo Shin's groundbreaking study (2002), Peirce's existential graphs have attracted much attention as a way of writing logic that seems profoundly different from our usual logical calculi. In particular, Shin argued that existential graphs enjoy a distinctive property that marks them out as "diagrammatic": they are "multiply readable," in the sense that there are several di erent, equally legitimate ways to translate one and the same graph into a standard logical language. Stenning (2000) and Bellucci and Pietarinen (2016) have (...) retorted that similar phenomena of multiple readability can arise for sentential notations as well. Focusing on the simplest kinds of existential graphs, called alpha graphs (AGs), this paper argues that multiple readability does point to important features of AGs, but that both Shin and her critics have misdiagnosed its source. As a preliminary, and because the existing literature often glosses over such issues, we show that despite their non-linearity, AGs are uniquely parsable and allow for inductive de nitions. Extending earlier discussions, we then show that that in principle, all propositional calculi are multiply readable, just like AGs: contrary to what has been suggested in the literature, multiple readability is linked neither to non-linearity nor to AGs' dearth of connectives. However, we argue that in practice, AGs are more amenable to multiple readability than our usual notations, because the patterns that one needs to recognize to multiply translate an AG form what we call complex symbols, whose structural properties make it easy to perceive and process them as units. Nevertheless, we show that such complex symbols, though largely absent from our usual notations, are not inherently diagrammatic and can be found in seemingly sentential languages. Hence, while ultimately vindicating Shin's idea of multiple readability, our analysis traces it to a di erent source and thus severs its link with diagrammaticity. (shrink)

Mathematical notation includes a vast array of signs. Most mathematical signs appear to be symbolic, in the sense that their meaning is arbitrarily related to their visual appearance. We explored the hypothesis that mathematical signs with iconic aspects—those which visually resemble in some way the concepts they represent—offer a cognitive advantage over those which are purely symbolic. An early formulation of this hypothesis was made by Christine Ladd in 1883 who suggested that symmetrical signs should be used to convey commutative (...) relations, because they visually resemble the mathematical concept they represent. Two controlled experiments provide the first empirical test of, and evidence for, Ladd's hypothesis. In Experiment 1 we find that participants are more likely to attribute commutativity to operations denoted by symmetric signs. In Experiment 2 we further show that using symmetric signs as notation for commutative operations can increase mathematical performance. (shrink)

Kripke observes that the decimal numerals have the buck-stopping property: when a number is given in decimal notation, there is no further question of what number it is. What makes them special in this way? According to Kripke, it is because of structural revelation: each decimal numeral represents the structure of the corresponding number. Though insightful, I argue, this account has some counterintuitive consequences. Then I sketch an alternative account of the buck-stopping property in terms of how we specify the (...) positions of numbers in the progression. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received very little (...) attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)

A lot of philosophical energy has been devoted recently in trying to determine if mathematics can contribute to our understanding of physical phenomena. Not many philosophers are interested, though, if the converse makes sense, i.e., if our cognitive interaction (scientific or otherwise) with the physical world can be helpful (in an explanatory or non-explanatory way) in our efforts to make sense of mathematical facts. My aim in this paper is to try to fill this important lacuna in the recent literature. (...) My answer to the question of this paper is negative. As I will argue, there are serious problems with the main reasons for believing in the first place that it is possible to have physical understanding of mathematical facts. (shrink)

ABSTRACT How do non-experts single out numbers for reference? Linnebo has argued that they do so using a criterion of identity based on the ordinal properties of numerals. Neo-logicists, on the other hand, claim that cardinal properties are the basis of individuation, when they invoke Hume’s Principle. I discuss empirical data from cognitive science and linguistics to answer how non-experts individuate numbers better in practice. I use those findings to develop an alternative account that mixes ordinal and cardinal properties to (...) provide a detailed answer to the question: how do we in fact semantically individuate numbers? (shrink)

This book has two main goals: first, to show that Quine's New Foundations set theory is better motivated than often assumed; and second, to defend Quine's philosophy of set theory. It is divided into three parts. The first concerns the history of set theory and argues against readings that see the iterative conception of set being the dominant notion of set from the very beginning. The second part concerns Quine's philosophy of set theory. Part 3 is a contemporary assessment of (...) the philosophical status of NF. Here one of the central targets is Boolos's defense of the iterative conception of set and his dismissal of NF as completely unnatural.As this is a very short review, I will avoid specific points and... (shrink)

This study shows firstly that it is necessary to characterize a computer simulation at a finer level than that of formal models: that of symbols and their various modes of reference. This is particularly true for those that integrate models and formalisms of a heterogeneous nature. This study then examines the ontological causes that, consequently, could explain their epistemic success. It is argued that they can be conveniently explained if one adopts a conception of nature that is both discontinuous and (...) finite. The latter thesis supports a naturalistic metaphysical position by invalidating, at its root, the argument made by speculative materialism against a scientific approach to the physical world that proceeds, like simulations, by finite representations and operations. (shrink)

In this article Russell’s paradox and Cantor’s paradox resolved successfully using intuitionistic logic with restricted modus ponens rule.

Gaisi Takeuti extended Gentzen's work to higher-order case in 1950's–1960's and proved the consistency of impredicative subsystems of analysis. He has been chiefly known as a successor of Hilbert's school, but we pointed out in the previous paper that Takeuti's aimed to investigate the relationships between "minds" by carrying out his proof-theoretic project rather than proving the "reliability" of such impredicative subsystems of analysis. Moreover, as briefly explained there, his philosophical ideas can be traced back to Nishida's philosophy in Kyoto's (...) school. For the proving the consistency of such systems, it is crucial to prove the well-foundedness of ordinals called "ordinal diagrams" developed for it. Takeuti presented such arguments several times in order to show that they are admitted in his stand point. As a starting point of investigating his finitist stand point, we formulate the system of ordinal notations up to ε0 and reconstruct the well-foundedness arguments of them. (shrink)

It may be a myth that Plato wrote over the entrance to the Academy “Let no-one ignorant of geometry enter here.” But it is a well-chosen motto for his view in the Republic that mathematical training is especially productive of understanding in abstract realms, notably ethics. That view is sound and we should return to it. Ethical theory has been bedevilled by the idea that ethics is fundamentally about actions (right and wrong, rights, duties, virtues, dilemmas and so on). That (...) is an error like the one Plato mentions of thinking mathematics is about actions (of adding, constructing, extracting roots and so on). Mathematics is about eternal relations between universals, such as the ratio of the diagonal of a square to the side. Ethics too is about eternal verities, such as the equal worth of persons and just distributions. Mathematical and ethical verities do both constrain actions, such as the possibility of walking over the seven bridges of Königsberg once and once only or of justly discriminating between races. But they are not themselves about action. In principle, neither mathematical nor ethical verities are subject to historical forces or disagreement among tribes (though they can be better understood as time goes on). Plato is right: immersion in mathematics induces an understanding of the necessities underpinning reality, an understanding that is essential for distinguishing objective ethics from tribal custom. Equality, for example, is an abstract concept which is foundational for both mathematics and ethics. (shrink)

Using Riemann’s Rearrangement Theorem, Øystein Linnebo (2020) argues that, if it were possible to apply an infinite positive weight and an infinite negative weight to a working scale, the resulting net weight could end up being any real number, depending on the procedure by which these weights are applied. Appealing to the First Postulate of Archimedes’ treatise on balance, I argue instead that the scale would always read 0 kg. Along the way, we stop to consider an infinitely jittery flea, (...) an infinitely protracted border conflict, and an infinitely electric glass rod. (shrink)

Geometrical intuitions spontaneously drive visuo-spatial reasoning in human adults, children and animals. Is their emergence intrinsically linked to visual experience, or does it reflect a core property of cognition shared across sensory modalities? To address this question, we tested the sensitivity of blind-from-birth adults to geometrical-invariants using a haptic deviant-figure detection task. Blind participants spontaneously used many geometric concepts such as parallelism, right angles and geometrical shapes to detect intruders in haptic displays, but experienced difficulties with symmetry and complex spatial (...) transformations. Across items, their performance was highly correlated with that of sighted adults performing the same task in touch (blindfolded) and in vision, as well as with the performances of uneducated preschoolers and Amazonian adults. Our results support the existence of an amodal core-system of geometry that arises independently of visual experience. However, performance at selecting geometric intruders was generally higher in the visual compared to the haptic modality, suggesting that sensory-specific spatial experience may play a role in refining the properties of this core-system of geometry. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system (ANS), that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique—the arguments from congruency, confounds, and imprecision—and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for number, such as (...) “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind(s) of number being represented. In response, we propose that the ANS represents not only natural numbers (e.g. 7), but also non-natural rational numbers (e.g. 3.5). It does not represent irrational numbers (e.g. 2), however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

Topological relations such as inside, outside, or intersection are ubiquitous to our spatial thinking. Here, we examined how people reason deductively with topological relations between points, lines, and circles in geometric diagrams. We hypothesized in particular that a counterexample search generally underlies this type of reasoning. We first verified that educated adults without specific math training were able to produce correct diagrammatic representations contained in the premisses of an inference. Our first experiment then revealed that subjects who correctly judged an (...) inference as invalid almost always produced a counterexample to support their answer. Noticeably, even if the counterexample always bore a certain level of similarity to the initial diagram, we observed that an object was more likely to be varied between the two drawings if it was present in the conclusion of the inference. Experiments 2 and 3 then directly probed counterexample search. While participants were asked to evaluate a conclusion on the basis of a given diagram and some premisses, we modulated the difficulty of reaching a counterexample from the diagram. Our results indicate that both decreasing the counterexample density and increasing the counterexample distance impaired reasoning performance. Taken together, our results suggest that a search procedure for counterexamples, which proceeds object‐wise, could underlie diagram‐based geometric reasoning. Transposing points, lines, and circles to our spatial environment, the present study may ultimately provide insights on how humans reason about topological relations between positions, paths, and regions. (shrink)

Philosophers have developed several detailed accounts of what makes some mathematical proofs explanatory. Significantly less attention has been paid, however, to what makes some proofs more explanatory than other proofs. That is problematic, since the reasons for thinking that some proofs explain are also reasons for thinking that some proofs are more explanatory than others. So in this paper, I develop an account of comparative explanation in mathematics. I propose a theory of the `at least as explanatory as' relation among (...) mathematical proofs. (shrink)

This book seeks to offer original answers to all the major open questions in epistemology—as indicated by the book’s title. These questions and answers arise organically in the course of a validation of the entire corpus of human knowledge. The book explains how we know what we know, and how well we know it. The author presents a positive theory, motivated and directed at every step not by a need to reply to skeptics or subjectivists, but by the need of (...) a rational individual to know the world. -/- The author draws heavily from Ayn Rand’s theory of concepts as presented in her book, Introduction to Objectivist Epistemology, but departs from her epistemology—especially as explicated by leading exponents of her philosophy—in important ways. Areas of departure include the perception of entities and the role of probability theory in epistemology. -/- A main idea in the book is to begin the validation of the law of causality by identifying that existence causes our consciousness of it. Another key idea is this: The very fact that we perceive entities is the most basic and most extensive evidence that causal forces and causal interactions are regular. -/- Applying Ayn Rand’s principle that characteristics are ranges of measurement, the book offers a philosophical validation of “nonparametric predictive inference,” in turn providing an objective basis for prior probabilities in Bayesian analysis. -/- This book is primarily for a specialized readership—familiar with epistemological ideas and with Ayn Rand’s theory of concepts in particular. The last third of the book uses probability theory and mathematics somewhat beyond basic calculus, but less mathematical explanations are also included to make the general ideas accessible to lay readers. (shrink)

This book develops and defends a version of physicalism in contemporary philosophy of mind, called ‘No-Self Physicalism’. No-Self Physicalism emphasizes that a subject of cognition is itself a physical entity, a human brain (and body). -/- The book first argues (in Chapters 1 and 2) that many contemporary philosophers who openly accept physicalism in fact (though perhaps unconsciously and/or implicitly) take the stance of a non-physical Subject in understanding and using core philosophical notions, such as conceptual representation, truth, analyticity, modality, (...) apriority, abstract object, knowledge and intuition. That is, they appear to be unaware that our traditional understandings of these philosophical notions presuppose a non-physical Subject. They appear to be unaware that these notions need a radical overhaul to become meaningful if, according to physicalism, the subject of cognition is itself a plain physical object, not any obscure, amorphous, non-physical, soul-like Subject. This problem threatens the coherence of many contemporary philosophers’ philosophical positions. -/- Then, the bulk of this book (Chapters 3 to 7) consists of laborious efforts to develop truly physicalistic theories on some core philosophical notions and issues, including (in the order of presentation in this book) concepts and conceptual representation, thoughts and truth, belief ascription, analyticity, modality, the nature of mathematics, epistemic justification, knowledge, apriority, intuition, and a physicalistic ontology. These physicalistic theories explicitly assume that a subject of cognition is a human brain (and body), or a neural network-based robot programmed by evolution. They are new and are more clearly physicalistic if compared with their alternatives in the current literature. Finally, the last chapter (Chapter 8) of this book uses the physicalistic notions of conceptual representation, truth, analyticity, modality, knowledge, apriority, intuition, and the physicalistic ontology developed in previous chapters to formulate physicalism as a general philosophical worldview. This is then an internally coherent formulation of physicalism, using only naturalized philosophical notions. It helps to settle the current debates between different versions of physicalism. -/- Therefore, on the one side, this book tries to push physicalism to its extreme, in its most radical format, by emphasizing that the cognitive subject is itself a completely physical thing, a neural network-based robot programmed by evolution, but on the other side, by some hard work, some honest toil, it tries to demonstrate that this minimal physicalistic framework can already offer accounts for many core philosophical notions and issues that traditionally interest philosophers, namely, conceptual representation, truth, analyticity, belief ascription, modality, the nature of mathematics, epistemic justification, knowledge, apriority, intuition and some ontological issues. It is meant to be a self-contained presentation of a very radical and strict version of physicalism while at the same time showing how surprisingly comprehensive this version could be. (shrink)

ABSTRACT The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic manipulations (...) or ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics. (shrink)

The contributions to this volume are from participants of the international conference "Kreisel's Interests - On the Foundations of Logic and Mathematics", which took place from 13 to 14 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended. Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson, and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics, Kreisel's Dictum, proof theory, the (...) discussions between Kreisel and Gödel on philosophy of mathematics, some bibliographical facts, and a collection of extracts from Kreisel's letters. (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real numbers encoded as elementary recursive (...) Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...) undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

According to one of the most powerful paradigms explaining the meaning of the concept of natural number, natural numbers get a large part of their conceptual content from core cognitive abilities. Carey’s bootstrapping provides a model of the role of core cognition in the creation of mature mathematical concepts. In this paper, I conduct conceptual analyses of various theories within this paradigm, concluding that the theories based on the ability to subitize, or on the ability to approximate quantities, or both, (...) fail to provide a conceptual basis for bootstrapping the concept of an exact natural number. In particular, I argue that none of the existing theories explains one of the key characteristics of the natural number structure: the equidistances between successive elements of the natural numbers progression. I suggest that this regularity could be based on another innate cognitive ability, namely sensitivity to the regularity of rhythm. In the final section, I propose a new position within the core cognition paradigm, inspired by structuralist positions in philosophy of mathematics. (shrink)

This paper examines the role of reason in Shepherd's account of acquiring knowledge of the external world via first principles. Reason is important, but does not have a foundational role. Certain principles enable us to draw the required inferences for acquiring knowledge of the external world. These principles are basic, foundational and, more importantly, self‐evident and thus justified in other ways than by demonstration. Justificatory demonstrations of these principles are neither required, nor possible. By drawing on textual and contextual evidence, (...) I will show that Shepherd should have said that we know the first principles of any science, in general, and that “everything which begins to exist must have a cause”, in particular, via intuition, not via reason. Reasoning about such principles can help their self‐evidence shine through in certain cases; their justification, and our being justified in believing them, does not come from this reasoning, however. (shrink)

Mathematics clearly plays an important role in scientific explanation. Debate continues, however, over the kind of role that mathematics plays. I argue that if pure mathematical explananda and physical explananda are unified under a common explanation within science, then we have good reason to believe that mathematics is explanatory in its own right. The argument motivates the search for a new kind of scientific case study, a case in which pure mathematical facts and physical facts are explanatorily unified. I argue (...) that it is possible for there to be such cases, and provide some toy examples to demonstrate this. I then identify a potential source of scientific case studies as a guide for future work. (shrink)

Purity has been recognized as an ideal of proof. In this paper, I consider whether purity continues to have value in contemporary mathematics. The topics (e.g., algebraic topology, algebraic geometry, category theory) and methods of contemporary mathematics often favor unification and generality, values that are more often associated with impurity rather than purity. I will demonstrate this by discussing several examples of methods and proofs that highlight the epistemic significance of unification and generality. First, I discuss the examples of algebraic (...) invariants and of considering a mathematical object from several different perspectives to illustrate that the methods used in contemporary mathematics favor impurity. Then I consider an example from category theory which demonstrates how unification and generality are related to impurity and that impure solutions can be explanatory. In light of this discussion, we see that purity only has marginal value within contemporary mathematics which instead prioritizes the epistemic values associated with impurity. (shrink)

Pi in mathematics is mind in Nature, explaining the tokenization of 'reality.'.

We have to go all the way back to Euclid, and, actually, before, to figure out the basis for representation, and therefore, interpretation. Which is, pure and simple, the conservation of a circle. As articulated by Foucault, Deleuze, and Nietzsche. 'Pi' (in mathematics) is the background state for everything (a.k.a. 'mind').Providing the explanation for (and the current popularity, and, thus, the 'genius' behind) NFT (non fungible tokens). 'Reality' has, finally, caught up with the 'truth.'.