Mathematical Platonism

Georg Cantor was the genuine discoverer of the Mathematical Infinity, and whatever he claimed, suggested, or even surmised should be taken seriously -- albeit not necessary at its face value. Because alongside his exquisite in beauty ordinal construction and his fundamental powerset description of the continuum, Cantor has also left to us his obsessive presumption that the universe of sets should be subjected to laws similar to those governing the set of natural numbers, including the universal principles of cardinal comparability (...) and well-ordering -- and implying an ordinal re-creation of the continuum. During the last hundred years, the mainstream set-theoretical research -- all insights and adjustments due to Kurt G\"odel's revolutionary insights and discoveries notwithstanding -- has compliantly centered its efforts on ad hoc axiomatizations of Cantor's intuitive transfinite design. We demonstrate here that the ontological and epistemic sustainability} of this design has been irremediably compromised by the underlying peremptory, Reductionist mindset of the XIXth century's ideology of science. (shrink)

In this paper, I introduce an intrinsic account of the quantum state. This account contains three desirable features that the standard platonistic account lacks: (1) it does not refer to any abstract mathematical objects such as complex numbers, (2) it is independent of the usual arbitrary conventions in the wave function representation, and (3) it explains why the quantum state has its amplitude and phase degrees of freedom. -/- Consequently, this account extends Hartry Field’s program outlined in Science Without Numbers (...) (1980), responds to David Malament’s long-standing impossibility conjecture (1982), and establishes an important first step towards a genuinely intrinsic and nominalistic account of quantum mechanics. I will also compare the present account to Mark Balaguer’s (1996) nominalization of quantum mechanics and discuss how it might bear on the debate about “wave function realism.” In closing, I will suggest some possible ways to extend this account to accommodate spinorial degrees of freedom and a variable number of particles (e.g. for particle creation and annihilation). -/- Along the way, I axiomatize the quantum phase structure as what I shall call a “periodic difference structure” and prove a representation theorem as well as a uniqueness theorem. These formal results could prove fruitful for further investigation into the metaphysics of phase and theoretical structure. -/- (For a more recent version of this paper, please see "The Intrinsic Structure of Quantum Mechanics" available on PhilPapers.). (shrink)

The demonstration of a loophole-free violation of Bell's inequality by Hensen et al. (2015) leads to the inescapable conclusion that timelessness and abstractness exist alongside space-time. This finding is in full agreement with the triple-aspect monism of reality, with mathematical Platonism, free will and the eventual emergence of a scientific morality.

In this paper, I defend traditional Platonic mathematical realism from its contemporary detractors, arguing that numbers, understood as abstract, non-physical objects of rational intuition, are indispensable for the act of counting.

This paper aims to provide hyperintensional foundations for mathematical platonism. I examine Hale and Wright's (2009) objections to the merits and need, in the defense of mathematical platonism and its epistemology, of the thesis of Necessitism. In response to Hale and Wright's objections to the role of epistemic and metaphysical modalities in providing justification for both the truth of abstraction principles and the success of mathematical predicate reference, I examine the Necessitist commitments of the abundant conception of properties endorsed by (...) Hale and Wright and examined in Hale (2013), and demonstrate how a two-dimensional approach to the epistemology of mathematics is consistent with Hale and Wright's notion of there being non-evidential epistemic entitlement rationally to trust that abstraction principles are true. A choice point that I flag is that between availing of intensional or hyperintensional semantics. The hyperintensional semantic approach that I advance is a topic-sensitive epistemic two-dimensional truthmaker semantics. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest that observational type theory can be applied to first-order abstraction principles in order to make abstraction principles recursively enumerable. Epistemic and metaphysical states and possibilities may thus be shown to play a constitutive role in vindicating the reality of mathematical objects and truth, and in providing a conceivability-based route to the truth of abstraction principles as well as other axioms and propositions in mathematics. (shrink)

I introduce the concept of “The Blue Print” as the ultimate reality and declare its existence. “The Blue Print” means God’s blueprint. Once we accept the existence of “The Blue Print”, the world will be truly recognized as mathematics. From this perspective, this essay also discusses the relationship between life and mathematics, or more broadly, the relationship between ethics or goodness and mathematics.

What is a number? Answering this will answer questions about its philosophical foundations - rational numbers, the complex numbers, imaginary numbers. If we are to write or talk about something, it is helpful to know whether it exists, how it exists, and why it exists, just from a common-sense point of view [Quine, 1948, p. 6]. Generally, there does not seem to be any disagreement among mathematicians, scientists, and logicians about numbers existing in some way, but currently, in the mainstream (...) arena only definitions, descriptions of properties, and effects are presented as evidence. Enough historical description of numbers in history provides an empirical basis of number, although a case can be made that numbers do not exist by themselves empirically. Correspondingly, numbers exist as abstractions. All the while, though, these "descriptions" beg the question of what numbers are ontologically. Advocates for numbers being the ultimate reality have the problem of wrestling with the nature of reality. I start on the road to discovering the ontology of number by looking at where people have talked about numbers as already existing: history. Of course, we need to know not only what ontology is but the problems of identifying one, leading to the selection between metaphysics and provisional approaches. While we seem to be dimensionally limited, at least we can identify a more suitable bootstrapping ontology than mere definitions, leading us to the unity of opposites. The rest of the paper details how this is done and modifies Peano's Postulates. (shrink)

Even the ancient Greeks defined the Dream as a happy πόλις, Heraclitus - κόσμοπόλις, Socrates - ethical anthropology, Plato - Good, Hegel - absolute idea, Marx - communism... All of Humanity has made a lot of its survival experience for the realization of Dreams. Without any plan, to the touch to, only by the method of "trial and error" it aspired the Dream on unknown roads, which often stymied deadlocks. Among the many achieved results of Humanity by Plato's prompts, the (...) authors singled out "εἶδος", "reasonable" Numbers (1,2 ... 10), five of which (1,2 ... 5) were examples of Marx's formations. The found "εἶδος" lined up themselves and show the possibility of further building (11.12 ... 16) of the World Reason of God. This is Plato's "single right path", unambiguously leading to the universal Dream of Humanity – Truth of Good. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Balaguer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. For the purposes of this paper, we will examine several notions of consistency with respect to how they can provide a platon-ist epistemology of mathematics. Only a Gödelian notion, we suggest, can provide a satisfactory guide to (...) a platonist ontology. Is consistency the sort of thing that could provide a guide to mathematical ontology? If so, which notion of consistency suits this purpose? Mark Bala-guer holds such a view in the context of platonism, the view that mathematical objects are non-causal, non-spatiotemporal, and non-mental. Balaguer's version of Platonism, Full-Blooded Platonism (FBP), is the view that "there are as many abstract mathematical objects as there could be-i.e., there actually exist abstract mathematical objects of all possible kinds" (Balaguer, 2017, p. 381). He continues: Since FBP says that there are abstract mathematical objects of all possible kinds, it follows that if FBP is true, then every purely mathematical theory that could be true-i.e., that is internally consistent-accurately describes some collection of actually existing abstract objects. Thus it follows from FBP that in order to acquire knowledge of abstract objects, all we have to do is come up with an internally consistent purely mathematical theory (and know that it is internally consistent). (Balaguer, 2017, p. 381) * To be published in 43rd International Wittgenstein Symposium proceedings. (shrink)

The clean separation between manifold phenomena and a systematic order that prevails in them is a basic feature of the rational-scientific orientation system. The first authoritative formulation of this premise is found in Plato. His discussion of constitutive forms of world events has initiated a broad development in the history of philosophy, which is also effective today in the preference for reason-guided analyses of often confusing circumstances. The authors of this volume address the lasting relevance of this idea within two (...) interrelated areas of research, namely Plato scholarship and contemporary Platonism. Of particular interest is the relationship between Plato and Wittgenstein. Following this overall idea, this volume is divided into three sections: Plato scholarship, Platonism, and Plato and Wittgenstein. As the contributions show, Platonism proves to be not only a purely historical-exegetical field of research but rather a fruitful stimulus for contemporary discussions on logical, linguistic, and social topics. (shrink)

Field’s challenge to platonists is the challenge to explain the reliable match between mathematical truth and belief. The challenge grounds an objection claiming that platonists cannot provide such an explanation. This objection is often taken to be both neutral with respect to controversial epistemological assumptions, and a comparatively forceful objection against platonists. I argue that these two characteristics are in tension: no construal of the objection in the current literature realises both, and there are strong reasons to think that no (...) version of Field’s epistemological objection which has both Neutrality and Force can be construed. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided in the (...) account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of (...) energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

This book provides philosophers of science with new theoretical resources for making their own contributions to the scientific realism debate. Readers will encounter old and new arguments for and against scientific realism. They will also be given useful tips for how to provide influential formulations of scientific realism and antirealism. Finally, they will see how scientific realism relates to scientific progress, scientific understanding, mathematical realism, and scientific practice.

The paper is a continuation of another paper published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The (...) relevant mathematical structure is Hilbert arithmetic in a wide sense, in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem. (shrink)

The previous two parts of the paper demonstrate that the interpretation of Fermat’s last theorem (FLT) in Hilbert arithmetic meant both in a narrow sense and in a wide sense can suggest a proof by induction in Part I and by means of the Kochen - Specker theorem in Part II. The same interpretation can serve also for a proof FLT based on Gleason’s theorem and partly similar to that in Part II. The concept of (probabilistic) measure of a subspace (...) of Hilbert space and especially its uniqueness can be unambiguously linked to that of partial algebra or incommensurability, or interpreted as a relation of the two dual branches of Hilbert arithmetic in a wide sense. The investigation of the last relation allows for FLT and Gleason’s theorem to be equated in a sense, as two dual counterparts, and the former to be inferred from the latter, as well as vice versa under an additional condition relevant to the Gödel incompleteness of arithmetic to set theory. The qubit Hilbert space itself in turn can be interpreted by the unity of FLT and Gleason’s theorem. The proof of such a fundamental result in number theory as FLT by means of Hilbert arithmetic in a wide sense can be generalized to an idea about “quantum number theory”. It is able to research mathematically the origin of Peano arithmetic from Hilbert arithmetic by mediation of the “nonstandard bijection” and its two dual branches inherently linking it to information theory. Then, infinitesimal analysis and its revolutionary application to physics can be also re-realized in that wider context, for example, as an exploration of the way for physical quantity of time (respectively, for time derivative in any temporal process considered in physics) to appear at all. Finally, the result admits a philosophical reflection of how any hierarchy arises or changes itself only thanks to its dual and idempotent counterpart. (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)

In this paper I argue that constructivism in mathematics faces a dilemma. In particular, I maintain that constructivism is unable to explain (i) the application of mathematics to nature and (ii) the intersubjectivity of mathematics unless (iii) it is conjoined with two theses that reduce it to a form of mathematical Platonism. The paper is divided into five sections. In the first section of the paper, I explain the difference between mathematical constructivism and mathematical Platonism and I outline my argument. (...) In the second, I argue that the best explanation of how mathematics applies to nature for a constructivist is a thesis I call Copernicanism. In the third, I argue that the best explanation of how mathematics can be intersubjective for a constructivist is a thesis I call Ideality. In the fourth, I argue that once constructivism is conjoined with these two theses, it collapses into a form of mathematical Platonism. In the fifth, I confront some objections. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

The paper considers a generalization of Peano arithmetic, Hilbert arithmetic as the basis of the world in a Pythagorean manner. Hilbert arithmetic unifies the foundations of mathematics (Peano arithmetic and set theory), foundations of physics (quantum mechanics and information), and philosophical transcendentalism (Husserl’s phenomenology) into a formal theory and mathematical structure literally following Husserl’s tracе of “philosophy as a rigorous science”. In the pathway to that objective, Hilbert arithmetic identifies by itself information related to finite sets and series and quantum (...) information referring to infinite one as both appearing in three “hypostases”: correspondingly, mathematical, physical and ontological, each of which is able to generate a relevant science and area of cognition. Scientific transcendentalism is a falsifiable counterpart of philosophical transcendentalism. The underlying concept of the totality can be interpreted accordingly also mathematically, as consistent completeness, and physically, as the universe defined not empirically or experimentally, but as that ultimate wholeness containing its externality into itself. (shrink)

Husserl (a mathematician by education) remained a few famous and notable philosophical “slogans” along with his innovative doctrine of phenomenology directed to transcend “reality” in a more general essence underlying both “body” and “mind” (after Descartes) and called sometimes “ontology” (terminologically following his notorious assistant Heidegger). Then, Husserl’s tradition can be tracked as an idea for philosophy to be reinterpreted in a way to be both generalized and mathenatizable in the final analysis. The paper offers a pattern borrowed from the (...) theory of information and quantum information (therefore relating philosophy to both mathematics and physics) to formalize logically a few key concepts of Husserl’s phenomenology such as “epoché” “eidetic, phenomenological, and transcendental reductions” as well as the identification of “phenomenological, transcendental, and psychological reductions” in a way allowing for that identification to be continued to “eidetic reduction” (and thus to mathematics). The approach is tested by an independent and earlier idea of Husserl, “logical arithmetic” (parallelly implemented in mathematics by Whitehead and Russell’s Principia) as what “Hilbert arithmetic” generalizing Peano arithmetics is interpreted. A basic conclusion states for the unification of philosophy, mathematics, and physics in their foundations and fundamentals to be the Husserl tradition both tracked to its origin (in the being itself after Heidegger or after Husserl’s “zu Sache selbst”) and embodied in the development of human cognition in the third millennium. (shrink)

Even though Frege is a major figure in the history of analytic philosophy, it is not surprising that there are still issues surrounding his views, interpreting them, and labeling them. Frege’s view on numbers is typically termed as ‘Platonistic’ or at least a type of Platonism (Reck 2005). Still, the term ‘Platonism’ has views and assumptions ascribed to it that may be misleading and leads to mischaracterizations of Frege’s outlook on numbers and ideas. So, clarification of the term ‘Platonism’ is (...) required to portray Frege’s views more accurately (Reck 2005). This clarification gives us a better picture of what Frege is interested in and what he does not emphasize. Moreover, in such a clarifying process, we find that Frege draws significant influence from Rudolf Hermann Lotze, who is frequently called a Neo-Kantian (Vagnetti 2018). In Lotze’s major work, Logik, Lotze has a central focus on validity, in its most general form as he used it, that investigates various related topics, i.e., concepts, language, etc. (Vagnetti 2018; Lotze 1888). Furthermore, we observe that Frege’s work is so similar to Lotze, that it seems questionable to call his outlook ‘Platonism’. Therefore, attributing ‘Platonism’ to Frege may be a slight misnomer. This paper’s entirety is mostly a synthesis of a variety of articles related to Frege, Lotze, and their respective outlooks and the original works of Frege and Lotze that I use to support the view that the term ‘Platonism’ is a slight issue when predicated to Frege. As such, I include an overview of Frege’s treatment in other work that highlights the usage of the term ‘Platonism’ and how broad its uses tend to be utilized (Balaguer 2006; Burge 1992). In sum, it is observed that the general label ‘Platonism’ becomes less appropriate when we consider Lotze in the picture and contrast Lotze alongside Mr. Frege. Overall, this paper is just an explanatory one of Mr. Frege, the Platonist, and the issues of applying the term ‘Platonism’ onto him as his views are seemingly more of a segue from Lotze. Keywords: Frege, Lotze, number, objectification, Platonism, validity. (shrink)

Set-theoretic pluralism is an increasingly influential position in the philosophy of set theory (Balaguer [1998], Linksy and Zalta [1995], Hamkins [2012]). There is considerable room for debate about how best to formulate set-theoretic pluralism, and even about whether the view is coherent. But there is widespread agreement as to what there is to recommend the view (given that it can be formulated coherently). Unlike set-theoretic universalism, set-theoretic pluralism affords an answer to Benacerraf’s epistemological challenge. The purpose of this paper is (...) to determine what Benacerraf’s challenge could be such that this view is warranted. I argue that it could not be any of the challenges with which it has been traditionally identified by its advocates, like of Benacerraf and Field. Not only are none of the challenges easier for the pluralist to meet. None satisfies a key constraint that has been placed on Benacerraf’s challenge. However, I argue that Benacerraf’s challenge could be the challenge to show that our set-theoretic beliefs are safe – i.e., to show that we could not have easily had false ones. Whether the pluralist is, in fact, better positioned to show that our set-theoretic beliefs are safe turns on a broadly empirical conjecture which is outstanding. If this conjecture proves to be false, then it is unclear what the epistemological argument for set-theoretic pluralism is supposed to be. (shrink)

Reflectance physicalists define reflectance as the intrinsic disposition of a surface to reflect finite-duration light pulses at a given efficiency per wavelength. I criticize the received view of dispositional reflectance (David R. Hilbert’s) for failing to account for what I call “harmonic dispersion,” the inverse relationship of a light pulse's duration to its bandwidth. I argue that harmonic dispersion renders reflectance defined in terms of light pulses an extrinsic disposition. Reflectance defined as the per-wavelength efficiency to reflect the superimposed, infinite-duration, (...) Fourier harmonics of pulses can be an intrinsic disposition of surfaces. This conclusion raises questions about mathematical realism, about which I nevertheless remain neutral. (shrink)

Recent debates about mathematical ontology are guided by the view that Platonism's prospects depend on mathematics' explanatory role in science. If mathematics plays an explanatory role, and in the right kind of way, this carries ontological commitment to mathematical objects. Conversely, the assumption goes, if mathematics merely plays a representational role then our world-oriented uses of mathematics fail to commit us to mathematical objects. I argue that it is a mistake to think that mathematical representation is necessarily ontologically innocent and (...) that there is an argument from mathematics' representational capacity to Platonism. Given that it is common ground between the Platonist and nominalist that mathematics plays a representational role in science, this representationalist argument is to be preferred over the explanatory, or enhanced, indispensability argument. (shrink)

The existence of fundamental moral disagreements is a central problem for moral realism and has often been contrasted with an alleged absence of disagreement in mathematics. However, mathematicians do in fact disagree on fundamental questions, for example on which set-theoretic axioms are true, and some philosophers have argued that this increases the plausibility of moral vis-à-vis mathematical realism. I argue that the analogy between mathematical and moral disagreement is not as straightforward as those arguments present it. In particular, I argue (...) that pluralist accounts of mathematics render fundamental mathematical disagreements compatible with mathematical realism in a way in which moral disagreements and moral realism are not. 11. (shrink)

A basic way of evaluating metaphysical theories is to ask whether they give satisfying answers to the questions they set out to resolve. I propose an account of “third-order” virtue that tells us what it takes for certain kinds of metaphysical theories to do so. We should think of these theories as recipes. I identify three good-making features of recipes and show that they translate to third-order theoretical virtues. I apply the view to two theories—mereological universalism and plenitudinous platonism—and draw (...) out their third-order virtues and vices. One lesson is that there is an important difference between essentially and non-essentially third-order vicious theories. I also argue that if a theory is essentially third-order vicious, it cannot be assessed for more standard “second-order” theoretical virtues and vices, like parsimony. This motivates the idea that third-order virtues are distinct from second-order ones. Finally, I suggest that the relationship between truth, progress, and third-order virtue is more complex than it seems. (shrink)

The paper introduces and utilizes a few new concepts: “nonstandard Peano arithmetic”, “complementary Peano arithmetic”, “Hilbert arithmetic”. They identify the foundations of both mathematics and physics demonstrating the equivalence of the newly introduced Hilbert arithmetic and the separable complex Hilbert space of quantum mechanics in turn underlying physics and all the world. That new both mathematical and physical ground can be recognized as information complemented and generalized by quantum information. A few fundamental mathematical problems of the present such as Fermat’s (...) last theorem, four-color theorem as well as its new-formulated generalization as “four-letter theorem”, Poincaré’s conjecture, “P vs NP” are considered over again, from and within the new-founding conceptual reference frame of information, as illustrations. Simple or crucially simplifying solutions and proofs are demonstrated. The link between the consistent completeness of the system mathematics-physics on the ground of information and all the great mathematical problems of the present (rather than the enumerated ones) is suggested. (shrink)

Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final (...) analysis. (shrink)

Motivated by examples, many philosophers believe that there is a significant distinction between states of affairs that are striking and therefore call for explanation and states of affairs that are not striking. This idea underlies several influential debates in metaphysics, philosophy of mathematics, normative theory, philosophy of modality, and philosophy of science but is not fully elaborated or explored. This paper aims to address this lack of clear explanation first by clarifying the epistemological issue at hand. Then it introduces an (...) initially attractive account for strikingness that is inspired by the work of Paul Horwich and adopted by a number of philosophers. The paper identifies two logically distinct accounts that have both been attributed to Horwich and then argues that, when properly interpreted, they can withstand former criticisms. The final two sections present a new set of considerations against both Horwichian accounts that avoid the shortcomings of former critiques. It remains to be seen whether an adequate account of strikingness exists. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

What can we infer from numerical cognition about mathematical realism? In this paper, I will consider one aspect of numerical cognition that has received little attention in the literature: the remarkable similarities of numerical cognitive capacities across many animal species. This Invariantism in Numerical Cognition (INC) indicates that mathematics and morality are disanalogous in an important respect: proto-moral beliefs differ substantially between animal species, whereas proto-mathematical beliefs (at least in the animals studied) seem to show more similarities. This makes moral (...) beliefs more susceptible to a contingency challenge from evolution compared to mathematical beliefs, and indicates that mathematical beliefs might be less vulnerable to evolutionary debunking arguments. I will then examine to what extent INC can be used to flesh out a positive case for mathematical realism. Finally, I will review two forms of mathematical realism that are promising in the light of the evolutionary evidence about numerical cognition, ante rem structuralism and Millean empiricism. (shrink)

This essay uses a mental files theory of singular thought—a theory saying that singular thought about and reference to a particular object requires possession of a mental store of information taken to be about that object—to explain how we could have such thoughts about abstract mathematical objects. After showing why we should want an explanation of this I argue that none of three main contemporary mental files theories of singular thought—acquaintance theory, semantic instrumentalism, and semantic cognitivism—can give it. I argue (...) for two claims intended to advance our understanding of singular thought about mathematical abstracta. First, that the conditions for possession of a file for an abstract mathematical object are the same as the conditions for possessing a file for an object perceived in the past—namely, that the agent retains information about the object. Thus insofar as we are able to have memory-based files for objects perceived in the past, we ought to be able to have files for abstract mathematical objects too. Second, at least one recently articulated condition on a file’s being a device for singular thought—that it be capable of surviving a certain kind of change in the information it contains—can be satisfied by files for abstract mathematical objects. (shrink)

This paper examines the philosophical significance of the consequence relation defined in the $\Omega$-logic for set-theoretic languages. I argue that, as with second-order logic, the hyperintensional profile of validity in $\Omega$-Logic enables the property to be epistemically tractable. Because of the duality between coalgebras and algebras, Boolean-valued models of set theory can be interpreted as coalgebras. In Section \textbf{2}, I demonstrate how the hyperintensional profile of $\Omega$-logical validity can be countenanced within a coalgebraic logic. Finally, in Section \textbf{3}, the philosophical (...) significance of the characterization of the hyperintensional profile of $\Omega$-logical validity for the philosophy of mathematics is examined. I argue (i) that $\Omega$-logical validity is genuinely logical, and (ii) that it provides a hyperintensional account of formal grasp of the concept of `set'. Section \textbf{4} provides concluding remarks. (shrink)

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

This is a contribution to a symposium on Amie Thomasson’s Ontology Made Easy (2015). Thomasson defends two deflationary theses: that philosophical questions about the existence of numbers, tables, properties, and other disputed entities can all easily be answered, and that there is something wrong with prolonged debates about whether such objects exist. I argue that the first thesis (properly understood) does not by itself entail the second. Rather, the case for deflationary metaontology rests largely on a controversial doctrine about the (...) possible meanings of ‘object’. I challenge Thomasson's argument for that doctrine, and I make a positive case for the availability of the contested, unrestricted use of ‘object’. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

What is the ontological status of mathematical structures? Michael Resnic, Stewart Shapiro and Gianluigi Oliveri, are contemporaries of American philosophers on mathematics, they give Platonic answers on this question.

Doy una revisión detallada de ' los límites externos de la razón ' por Noson Yanofsky desde una perspectiva unificada de Wittgenstein y la psicología evolutiva. Yo indiqué que la dificultad con cuestiones como la paradoja en el lenguaje y las matemáticas, la incompletitud, la indeterminación, la computabilidad, el cerebro y el universo como ordenadores, etc., surgen de la falta de mirada cuidadosa a nuestro uso del lenguaje en el adecuado contexto y, por tanto, el Error al separar los problemas (...) de hecho científico de las cuestiones de cómo funciona el lenguaje. Discuto las opiniones de Wittgenstein sobre la incompletitud, la paracoherencia y la indecisión y el trabajo de Wolpert en los límites de la computación. Resumiendo: el universo según Brooklyn---buena ciencia, no tan buena filosofía. Aquellos que deseen un marco completo hasta la fecha para el comportamiento humano de la moderna dos sistemas punto de vista puede consultar mi libros Talking Monkeys 3ª ed (2019), Estructura Logica de Filosofia, Psicología, Mente y Lenguaje en Ludwig Wittgenstein y John Searle 2a ed (2019), Suicidio pela Democracia 4ª ed (2019), La Estructura Logica del Comportamiento Humano (2019), The Logical Structure de la Conciencia (2019, Entender las Conexiones entre Ciencia, Filosofía, Psicología, Religión, Política y Economía y Delirios Utópicos Suicidas en el siglo 21 5ª ed (2019), Observaciones sobre Imposibilidad, Incompletitud, Paraconsistencia, Indecidibilidad, Aleatoriedad, Computabilidad, Paradoja e Incertidumbre en Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych Berto, Floyd, Moyal-Sharrock y Yanofsky. (shrink)

Indispensablists contend that accepting scientific realism while rejecting mathematical realism involves a double standard. I refute this contention by developing an enhanced version of scientific realism, which I call interactive realism. It holds that interactively successful theories are typically approximately true, and that the interactive unobservable entities posited by them are likely to exist. It is immune to the pessimistic induction while mathematical realism is susceptible to it.

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts as a mathematical object, and how (...) we can have knowledge about an unchanging object. (shrink)

In the section “Validity and Existence in Logik, Book III,” I explain Lotze’s famous distinction between existence and validity in Book III of Logik. In the following section, “Lotze’s Platonism,” I put this famous distinction in the context of Lotze’s attempt to distinguish his own position from hypostatic Platonism and consider one way of drawing the distinction: the hypostatic Platonist accepts that there are propositions, whereas Lotze rejects this. In the section “Two Perspectives on Frege’s Platonism,” I argue that this (...) is an unsatisfactory way of reading Lotze’s Platonism and that the Ricketts-Reck reading of Frege is in fact the correct way of thinking about Lotze’s Platonism. (shrink)

The paper analyzes the final proof with Greek mathematics and the possibility of intermediates in the Phaedo. The final proof in Plato’s Phaedo depends on a claim at 105c6, that μονάς, ‘unit’, generates περιττός ‘odd’ in number. So, ψυχή ‘soul’ generates ζωή ‘life’ in a body, at 105c10-11. Yet commentators disagree how to understand these mathematical terms and their relation to the soul in Plato’s arguments. The Greek mathematicians understood odd numbers in one of two ways: either that which is (...) not divisible into two equal parts, or that which differs from an even number by a unit. Plato uses the second way in the final proof. This paper argues that a proper understanding of these mathematical terms within Greek mathematics shows that the argument for the final proof is better than previously thought. Such an interpretation of the final proof lends credence to Platonic intermediates. (shrink)

Can mathematics contribute to our understanding of physical phenomena? One way to try to answer this question is by getting involved in the recent philosophical dispute about the existence of mathematical explanations of physical phenomena. If there is such a thing, given the relation between explanation and understanding, we can say that there is an affirmative answer to our question. But what if we do not agree that mathematics can play an explanatory role in science? Can we still consider that (...) the above question can have an affirmative answer? My main aim here is to give an account that takes mathematics, in some of the cases discussed in the literature, as contributing to our understanding of physical phenomena despite not being explanatory. (shrink)