Numbers

This study is about the Quality. Here I have dealt with the quality that differs significantly from the common understanding of quality /as determined quality/ that arise from the law of dialectics. This new quality is the quality of the quantity /quality of the quantitative changes/, noticed in philosophy by Plato as “quality of numbers”, and later developed by Hegel as “qualitative quantity. The difference between the known determined quality and qualitative quantity is evident in the exhibit form of these (...) two qualities. The exhibit form of the known determined quality from the law of dialectics /or it transformation/ is related with discreteness and abrupt changes. The exhibit form of the qualitative quantity /and it transformation/ is related with the continuity and gradual transition from one condition, to a different condition, without any abrupt changes. In my paper “Quality of the quantity”, I have argued that one of the most ancient implementation of quality of the number can be found in the dimensional mathematical model of point – line – surface – figure - introduced by Plato. The most whole presentation of the idea of quality of number in Plato is embeded in his teaching about the "eidical number". The quality of the quantity emerges as criteria for recognizing the difference between the eidical numbers and natural arithmetical number. The thesis concerning Plato is based on the The Unwritten Doctrine of Plato and one of the most original works in the history of philosophy written in the 20th century - “Arete bei Platon und Aristoteles” – “Arete in Plato and Aristotle” /Heidelberg 1959/ written by Hans Joachim Krämer. The new quality as the quality of the quantity /quality of the quantitative changes/, first noticed in philosophy by Plato as “quality of numbers” was developed in Hegel as “qualitative quantity”. Hegel proclaimed the Qualitative quantity, or Measure in the both of his Logics -The Science of Logic / the Greater Logic/ and The Lesser Logic/ Part One of the Encyclopedia of Philosophical Sciences: The Logic. In my paper I have offered the arguments that the concept of quality of the quantity should be enhanced with the adopted methodological approach of analogy with an implementation in the field of the Topology - Analysis Situs, developed by the Jules Henri Poincare. In the topology we could see homeomorphism as exhibit form of Quality on the Quantity. The explicit form of the quality of the quantity transformation is the continuous deformation – typically known in topology as homeomorphism. The concept of qualitative quantity is linked with the concept “structural stability” and nonequilibrum phase transition. The concept of structural stability is related with the topological homeomorphism. In his book “Synergetics: Introduction and Advanced Topics” /Springer, ISBN 3-540-40824/, in the Chapter 1.13. Qualitative Changes: General approach, p. 434-435, Hermann Haken explores and illustrate the structural stability with an example /figure 1.13, p.434/ given by of D'Arcy W. Thompson, the Scottish biologist, mathematician and classics scholar and pioneering mathematical biologist, Nobel Laureate in Medicine /1960/, the author of the book, On Growth and Form, /1917/. The quality of the quantity could be seen in the Herman Haken’s citation on the D'Arcy W. Thompson. My thesis is that the topological homeomorphism is the explicit form of the quality of the quantity transformation. The qualitative quantity change which becomes phenomenon, according to Émile Boutroux, is the subject of study in Cultural Phenomenology of Qualitative quantity. Our approach to this subject is Poincaré Model of the Subconscious Mind in Mathematics, which is the most suitable tool to unfold the arhetype of qualitative quantity. (shrink)

Gottlob Frege and Edmund Husserl are two seemingly different philosophers in their methodology. Both have significantly influenced Western philosophy in that their contributions established fields within philosophy that are of intensive study today. Still, their differences in methodology have, in certain instances, yielded similar or distinct results. Their results ranged from the distinction of sense and reference, objectivity, and the theory of mathematics: specifically, their definition of number. Frege and Husserl have such striking similarities in their theory of sense and (...) reference and related notions that from their apparent correspondence, Frege seems to have acknowledged the coincidences in their theories (Frege & Kluge, 1972) (Hill & Rosado Haddock Intro, 4, & 30-33). That is not to say there are exact parallels between Frege and Husserl and their results, as I will acknowledge their similarities and differences within scale. So, I intend to demonstrate their respective theories and results descriptively to show their likenesses while still recognizing their divergences in scope and methodology. Indirectly, I would also hope to illustrate the ties, in terms of subject matter, of these two philosophers who are historically considered at odds with one another; be it personally, in their schools of philosophy, or methodologically (Hartimo 47-53). (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)

According to Weyl, “‘inexhaustibility’ is essential to the infinite”. However, he distinguishes two kinds of inexhaustible, or merely potential, domains: those that are “extensionally determinate” and those that are not. This article clarifies Weyl's distinction and explains its enduring logical and philosophical significance. The distinction sheds lights on the contemporary debate about potentialism, which in turn affords a deeper understanding of Weyl.

How is it that numbers can magically map the world around us? Are numbers really Real? Was Pythagoras completely crazy when he seemed to regard numbers as divine entities capable of revealing the truth about things around us? With Michael Moses, Ihran Izmirlih, and Michael Stein.

Abstractionist programs in the philosophy of mathematics have focused on abstraction principles, taken as implicit definitions of the objects in the range of their operators. In second-order logic (SOL) with predicative comprehension, such principles are consistent but also (individually) mathematically weak. This paper, inspired by the work of Boolos (Proceedings of the Aristotelian Society 87, 137–151, 1986) and Zalta (Abstract Objects, vol. 160 of Synthese Library, 1983), examines explicit definitions of abstract objects. These axioms state that there is a unique (...) abstract encoding all concepts satisfying a given formula $$\phi (F)$$, with F a concept variable. Such a system is inconsistent in full SOL. It can be made consistent with several intricate tweaks, as Zalta has shown. Our approach in this article is simpler: we use a novel method to establish consistency in a restrictive version of predicative SOL. The resulting system, RPEAO, interprets first-order PA in extensional contexts, and has a natural extension delivering a peculiar interpretation of PA $$^2$$. (shrink)

(Goodsell, Journal of Philosophical Logic, 51(1), 127-150 2022) establishes the noncontingency of sentences of first-order arithmetic, in a plausible higher-order modal logic. Here, the same result is derived using significantly weaker assumptions. Most notably, the assumption of rigid comprehension—that every property is coextensive with a modally rigid one—is weakened to the assumption that the Boolean algebra of properties under necessitation is countably complete. The results are generalized to extensions of the language of arithmetic, and are applied to answer a question (...) posed by Bacon and Dorr (2024). (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)

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)

Conservation of a Circle explains the Singularity called ‘Nature’ and the Metaverse called ‘Mind.’ How Nature Operates: A Motionless Computer and A Frameless Frame of Reference, Conservation of the Circle is the only dynamic in Nature. Producing The Financial Statement that Explains Everything in Nature.

This is a book about infinity, specifically the infinity of numbers and sequences. Amazing properties arise, for instance, some kinds of infinity are argued to be greater than others. Along the way the author will demonstrate how infinity can be made to create beautiful 'art', guided by the development of underlying mathematics. This book will provide a fascinating read for anyone interested in number theory, infinity, math art, and/or generative art, and could be used a valuable supplement to any course (...) on these topics. (shrink)

The idea that some objects are metaphysically “cheap” has wide appeal. An influential version of the idea builds on abstractionist views in the philosophy of mathematics, on which numbers and other mathematical objects are abstracted from other phenomena. For example, Hume's Principle states that two collections have the same number just in case they are equinumerous, in the sense that they can be correlated one‐to‐one:. The principal aim of this article is to use the notion of grounding to develop this (...) sort of abstractionism. The appeal to grounding enables a unified response to the two main challenges that confront abstractionism. First, we must explicate the metaphor of metaphysical “cheapness.” Second, we must rebut the “bad company” objection, which rejects abstraction principles like (HP) as tarnished by their similarity to inconsistent principles like Frege's Basic Law V. By enforcing a simple requirement that all abstraction be properly grounded, we propose a unified solution to these two hard, and prima facie unrelated, problems. On our view, grounded abstraction simultaneously ensures “cheap” abstracta and permissible abstraction. (shrink)

Ordinality and cardinality, in the finite domain, are ordinarily considered as mere aspects of the very same objects, the natural numbers. Yet Steiner (Mathematics – application and applicability. In: Shapiro S (ed) The Oxford handbook of philosophy of mathematics and logic. Oxford University Press, 2005) draws attention to the intricate interplay between them, which is made implicit by this conception of them. In this chapter, I present a fitting cognitive framework and use it to account for how this situation comes (...) to be. The framework concerns basic principles of object representation in the cognitive system, and particularly when and how different “aspects” of objects come, developmentally, to be integrated into a deeper, combined representation. Our coming to master the natural numbers is then presented as the process of such integration of ordinals and cardinals, based on their well-behaved interaction in the finite domain. This regular connection in the finite domain between ordinality and cardinality, however, is grasped automatically by the cognitive system as a statistical pattern rather than being stated explicitly, mathematically. Philosophically, this case study thus serves as a warning against ignoring cognition’s inner workings. The upshot is a novel, cognitively motivated account of the natural numbers. (shrink)

Wittgenstein gave a clearly erroneous refutation of Russell’s logicist project. The errors were ably pointed out by Mark Steiner. Nevertheless, I was motivated by Wittgenstein and Steiner to consider various ideas about the natural numbers. I ask which notations for natural numbers are ‘buck-stoppers’. For us it is the decimal notation and the corresponding verbal system. Based on the idea that a proper notation should be ‘structurally revelatory’, I draw various conclusions about our own concept of the natural numbers.

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)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can be (...) also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

Symbolic representation demonstrates, and proves, the conservation of a circle (is the basis for, and, thus, controls, language) (all disciplines).

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)

Benacerraf’s 1965 multiple-reductions argument depends on what I call ‘deferential logicism’: his necessary condition for number-set identity is most plausible against a background Quineanism that allows autonomy of the natural number concept. Steinhart’s ‘folkist’ sufficient condition on number-set identity, by contrast, puts that autonomy at the center — but fails for not taking the folk perspective seriously enough. Learning from both sides, we explore new conditions on number-set identity, elaborating a suggestion from Wright.

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)

Number and Count Sentences like ‘The number of Martian moons is two’ and ‘Mars has two moons’ give rise to a puzzle. How can they be equivalent if only the truth of Number but not that of Count Sentences requires the existence of numbers? Proponents of Linguistic Deflationism seek to resolve this puzzle by arguing that on their correct linguistic analysis the truth of Number Sentences does not require the existence of numbers. In this paper, I argue that Katharina Felka’s (...) recent attempt to vindicate this strategy by analysing Number Sentences as so-called specificational sentences is philosophically dissatisfying and sketch a promising alternative. (shrink)

There are only two numbers in Nature. 12 and 21. Where 12 and 21 are different, yet, very much, the same. Explaining identity, complementarity, everything in mathematics, everything in technology, everything in biology (therefore, everything in physics and philosophy) (ontology and epistemology) (all disciplines).

Perhaps nowhere better than, "On the Names of God," can readers discern Laclau's appreciation of theology, specifically, negative theology, and the radical potencies of political theology. // It is Laclau's close attention to Eckhart and Dionysius in this essay that reveals a core theological strategy to be learned by populist reasons or social logics and applied in politics or democracies to come. // This mode of algorithmically informed negative political theology is not mathematically inert. It aspires to relate a fraction (...) or ratio to a series ... It strains to reduce the decided determinateness of such seriality ever condemned to the naive metaphysics of bad infinity. // It is worth considering that it is the specific 'number' of Dionysius in differential identification with an ineffable god (and, as such, a singular becoming between theology and numbers) that is floating in at least two dimensions [of signification] (be it political Demand on the horizontal dimension or theological Desire on [a] floating dimension) that cannot but *perform the link that relinks* names of god with any political life, populist reason, social justice, or radical democracy straining toward peace. (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)

What are the meanings of number expressions, and what can they tell us about questions of central importance to the philosophy of mathematics, specifically 'Do numbers exist?' This Element attempts to shed light on this question by outlining a recent debate between substantivalists and adjectivalists regarding the semantic function of number words in numerical statements. After highlighting their motivations and challenges, I develop a comprehensive polymorphic semantics for number expressions. I argue that accounting for the numerous meanings and how they (...) are related leads to a strengthened argument for realism, one which renders familiar forms of nominalism highly implausible. (shrink)

Complexity is dependent on the circular-linear relationship between an individual and a group, meaning we cannot use 'observation' to tell us what we need to know (to explain complexity).

Zero and one. Circumference and diameter. Intelligent anarchy. Explanation for abstraction (as a noun) (as a verb).

Let Mn♯ denote the minimal active iterable extender model which has n Woodin cardinals and contains all reals, if it exists, in which case we denote by Mn the class-sized model obtained by iterating the topmost measure of Mn class-many times. We characterize the sets of reals which are Σ1-definable from R over Mn, under the assumption that projective games on reals are determined:1. for even n, Σ1Mn=⅁RΠn+11;2. for odd n, Σ1Mn=⅁RΣn+11.This generalizes a theorem of Martin and Steel for L, (...) that is, the case n=0. As consequences of the proof, we see that determinacy of all projective games with moves in R is equivalent to the statement that Mn♯ exists for all n∈N, and that determinacy of all projective games of length ω2 with moves in N is equivalent to the statement that Mn♯ exists and satisfies AD for all n∈N. (shrink)

The paper attempts to conciliate the important distinction between what-is, or exists, and what-is-not _thereby supporting Russell’s existential analysis_ with some Meinongian insights. For this purpose, it surveys the varied inhabitants of the realm of ‘non-being’ and tries to clarify their diverse statuses. The position that results makes it possible to rescue them back in surprising but non-threatening form, leaving our ontology safe from contradiction.

A definable pair of disjoint non-OD sets of reals exists in the Sacks and ????0-large generic extensions of the constructible universe L. More specifically, if a∈2ω is eith...

In a forthcoming paper in this journal, entitled “Bad company objection to Joongol Kim’s adverbial theory of numbers”, Namjoong Kim presents an ingenious Russell-style paradox based on an analogue of Kim’s definition of the number 1, and argues that Kim’s theory needs to provide a criterion of demarcation between acceptable and unacceptable definitions of adverbial entities. This paper addresses this ‘bad company’ objection and some other related issues concerning Kim’s adverbial theory by clarifying the purposes and uses of the formal (...) framework of the theory. (shrink)

Unfortunately, there is a typo in the author name. The correct spelling is Namjoong Kim. The author name was updated in the original publication.

A proof of Fermat’s last theorem is demonstrated. It is very brief, simple, elementary, and absolutely arithmetical. The necessary premises for the proof are only: the three definitive properties of the relation of equality (identity, symmetry, and transitivity), modus tollens, axiom of induction, the proof of Fermat’s last theorem in the case of n = 3 as well as the premises necessary for the formulation of the theorem itself. It involves a modification of Fermat’s approach of infinite descent. The infinite (...) descent is linked to induction starting from n = 3 by modus tollens. An inductive series of modus tollens is constructed. The proof of the series by induction is equivalent to Fermat’s last theorem. As far as Fermat had been proved the theorem for n = 4, one can suggest that the proof for n ≥ 4 was accessible to him. An idea for an elementary arithmetical proof of Fermat’s last theorem (FLT) by induction is suggested. It would be accessible to Fermat unlike Wiles’s proof (1995). (shrink)

The present paper deals with the ontological status of numbers and considers Frege ́s proposal in Grundlagen upon the background of the Post-Kantian semantic turn in analytical philosophy. Through a more systematic study of his philosophical premises, it comes to unearth a first level paradox that would unset earlier still than it was exposed by Russell. It then studies an alternative path, that departin1g from Frege’s initial premises, drives to a conception of numbers as synthetic a priori in a more (...) Kantian sense. On this basis, it tentatively explores a possible derivation of basic logical rules on their behalf, suggesting a more rudimentary basis to inferential thinking, which supports reconsidering the difference between logical thinking and AI. Finally, it reflects upon the contributions of this approach to the problem of the a priori. (shrink)

ABSTRACT Although Frege’s theory of real numbers in Grundgesetze der Arithmetik, Vol. II, is incomplete, it is possible to provide a logicist justification for the approach he is taking and to construct a plausible completion of his account by an extrapolation which parallels his theory of cardinal numbers.

José Ferreirós y Abel Lasalle Casanave, El árbol de los números: cognición, lógica y práctica matemática, Editorial Universidad de Sevilla, Sevilla, 2015, 256 pp.

Is the debate over the existence of numbers unsolvable? Mario Gómez-Torrente presents a novel proposal to unclog the old discussion between the realist and the anti-realist about numbers. In this paper, the strategy is outlined, highlighting its results and showing how they determine the desiderata for a satisfactory theory of the reference of Arabic numerals, which should lead to a satisfactory explanation about numbers. It is argued here that the theory almost achieves its goals, yet it does not capture the (...) relevant association between how a number can be split up and the morphological property of Arabic numerals to be positional. This property seems to play a substantial role in providing a complete theory of Arabic numerals and numbers. (shrink)

I reconcile the spatiotemporal location of repeatable artworks and impure sets with the non-location of natural numbers despite all three being varieties of abstract objects. This is possible because, while the identity conditions for all three can be given by abstraction principles, in the former two cases spatiotemporal location is a congruence for the equivalence relation featuring in the relevant principle, whereas in the latter it is not. I then generalize this to other ‘physical’ properties like shape, mass, and causal (...) powers. (shrink)

I discuss Steinhart’s argument against Benacerraf’s famous multiple-reductions argument to the effect that numbers cannot be sets. Steinhart offers a mathematical argument according to which there is only one series of sets to which the natural numbers can be reduced, and thus attacks Benacerraf’s assumption that there are multiple reductions of numbers to sets. I will argue that Steinhart’s argument is problematic and should not be accepted.

This article is about the ontological dispute between finitists, who claim that only finitely many numbers exist, and infinitists, who claim that infinitely many numbers exist. Van Bendegem set out to solve the 'general problem' for finitism: how can one recast finite fragments of classical mathematics in finitist terms? To solve this problem Van Bendegem comes up with a new brand of finitism, namely so-called 'apophatic finitism'. In this article it will be argued that apophatic finitism is unable to represent (...) the negative ontological commitments of infinitism or, in other words, that which does not exist according to infinitism. However, there is a brand of infinitism, so-called 'apophatic infinitism', that is able to represent both the positive and the negative ontological commitments of apophatic finitism. Unfortunately, apophatic finitism cannot adopt that way without losing the ability to represent the positive ontological commitments of infinitism. (shrink)

I present a new pragmatic theory of loose talk, focussing on the loose use of numbers and measurement expressions. The account explains loose readings as arising from a pragmatic mechanism aimed at restoring relevance to the question under discussion (QUD), appealing to Krifka's notion of a measurement scale. The core motivating observation is that the loose reading of a claim need not be weaker than its literal content, as almost all pragmatic treatments of loose talk have assumed (e.g. Lasersohn). The (...) loosening mechanism described here can be applied to a range of other linguistic phenomena as well. (shrink)

It would seem that some statements like ‘There are exactly four moons of Jupiter’ and ‘The number of moons of Jupiter is four’ have the same truth-conditions and yet differ in ontological commitment. One strategy to resolve this paradoxical phenomenon is to insist that the statements have not only the same truth-conditions but also the same ontological commitments; the other strategy is to reject the presumption that they have the same truth-conditions. This paper critically examines some popular versions of these (...) two strategies, and defends a new solution according to which the statements have the same ontological commitments and yet differ in truth-conditions. (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)

From 1953 to 1959 Gödel worked on a response to Carnap’s philosophy of mathematics. The drafts display Gödel’s familiarity with Carnap’s position from The Logical Syntax of Language, but they received a dismissive reaction on their eventual, posthumous, publication. Gödel’s two principal points, however, will here be defended. Gödel, though, had wished simply to append a few paragraphs to show that the same arguments apply to Carnap’s later views. Carnap’s position, however, had changed significantly in the intervening years, and to (...) a significant extent, this mature position realizes much of what Gödel himself wanted out of a philosophy of mathematics. (shrink)