The approximate number system (ANS) enables organisms to represent the approximate number of items in an observed collection, quickly and independently of natural language. Recently, it has been proposed that the ANS goes beyond representing natural numbers by extracting and representing rational numbers (Clarke & Beck, 2021a). Prior work demonstrates that adults and children discriminate ratios in an approximate and ratio-dependent manner, consistent with the hallmarks of the ANS. Here, we use a well-known “connectedness (...) illusion” to provide evidence that these ratio-dependent ratio discriminations are (a) based on the perceived number of items in seen displays (and not just non-numerical confounds), (b) are not dependent on verbal working memory, or explicit counting routines, and (c) involve representations with a part-whole (or subset-superset) format, like a fraction, rather than a part-part format, like a ratio. These results vindicate key predictions of the hypothesis that the ANS represents rational numbers. (shrink)

All humans share a universal, evolutionarily ancient approximate number system (ANS) that estimates and combines the numbers of objects in sets with ratio-limited precision. Interindividual variability in the acuity of the ANS correlates with mathematical achievement, but the causes of this correlation have never been established. We acquired psychophysical measures of ANS acuity in child and adult members of an indigene group in the Amazon, the Mundurucú, who have a very restricted numerical lexicon and highly variable access (...) to mathematics education. By comparing Mundurucú subjects with and without access to schooling, we found that education significantly enhances the acuity with which sets of concrete objects are estimated. These results indicate that culture and education have an important effect on basic number perception. We hypothesize that symbolic and nonsymbolic numerical thinking mutually enhance one another over the course of mathematics instruction. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, 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 of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, 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)

In our target article, we argued that the number sense represents natural and rational numbers. Here, we respond to the 26 commentaries we received, highlighting new directions for empirical and theoretical research. We discuss two background assumptions, arguments against the number sense, whether the approximate number system represents numbers or numerosities, and why the ANS represents rational numbers.

On a now orthodox view, humans and many other animals are endowed with a “number sense”, or approximate number system (ANS), that represents number. Recently, this orthodox view has been subject to numerous critiques, with critics maintaining either that numerical content is absent altogether, or else that some primitive analog of number (‘numerosity’) is represented as opposed to number itself. We distinguish three arguments for these claims – the arguments from congruency, confounds, and (...) imprecision – and show that none succeed. We then highlight positive reasons for thinking that the ANS genuinely represents numbers. The upshot is that proponents of the orthodox view should not feel troubled by recent critiques of their position. (shrink)

Visual illusions of number provide a means of investigating the rules and principles through which approximate number representations are formed. Here, we investigated the developmental trajectory of an important numerical illusion – the connectedness illusion, wherein connecting pairs of items with thin lines reduces their perceived number without altering continuous attributes of the collections. We found that children as young as 5 years of age are affected by the illusion and that the magnitude of the effect (...) increased into adulthood. Moreover, individuals with greater numerical acuity exhibited stronger connectedness illusions after controlling for age. Overall, these results suggest the approximate number system expects to enumerate over bounded wholes and doing so is a signature of its optimal functioning. (shrink)

This chapter presents a re-understanding of the contents of our analog magnitude representations (e.g., approximate duration, distance, number). The approximate number system (ANS) is considered, which supports numerical representations that are widely described as fuzzy, noisy, and limited in their representational power. The contention is made that these characterizations are largely based on misunderstandings—that what has been called “noise” and “fuzziness” is actually an important epistemic signal of confidence in one’s estimate of the value. Rather (...) than the ANS having noisy or fuzzy numerical content, it is suggested that the ANS has exquisitely precise numerical content that is subject to epistemic limitations. Similar considerations will arise for other analog representations. The chapter discusses how this new understanding of ANS representations recasts the learnability problem for number and the conceptual changes that children must accomplish in the number domain. (shrink)

Is calculation possible without language? Or is the human ability for arithmetic dependent on the language faculty? To clarify the relation between language and arithmetic, we studied numerical cognition in speakers of Mundurukú, an Amazonian language with a very small lexicon of number words. Although the Mundurukú lack words for numbers beyond 5, they are able to compare and add large approximate numbers that are far beyond their naming range. However, they fail in exact arithmetic with numbers larger (...) than 4 or 5. Our results imply a distinction between a nonverbal system of number approximation and a language-based counting system for exact number and arithmetic. (shrink)

Much research supports the existence of an Approximate Number System (ANS) that is recruited by infants, children, adults, and non-human animals to generate coarse, non-symbolic representations of number. This system supports simple arithmetic operations such as addition, subtraction, and ordering of amounts. The current study tests whether an intuition of a more complex calculation, division, exists in an indigene group in the Amazon, the Mundurucu, whose language includes no words for large numbers. Mundurucu children were (...) presented with a video event depicting a division transformation of halving, in which pairs of objects turned into single objects, reducing the array's numerical magnitude. Then they were tested on their ability to calculate the outcome of this division transformation with other large-number arrays. The Mundurucu children effected this transformation even when non-numerical variables were controlled, performed above chance levels on the very first set of test trials, and exhibited performance similar to urban children who had access to precise number words and a surrounding symbolic culture. We conclude that a halving calculation is part of the suite of intuitive operations supported by the ANS. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

I argue that analogue mental representations possess a canonical decomposition into privileged constituents from which they compose. I motivate this suggestion, and rebut arguments to the contrary, through reflection on the approximate number system, whose representations are widely expected to have an analogue format. I then argue that arguments for the compositionality and constituent structure of these analogue representations generalize to other analogue mental representations posited in the human mind, such as those in early vision and visual (...) imagery. (shrink)

The depth-bounded approach seeks to provide realistic models of reasoners. Recognizing that most useful logics are idealizations in that they are either undecidable or likely to be intractable, the approach accounts for how they can be approximated in practice by resource-bounded agents. The approach has been applied to Classical Propositional Logic (CPL), yielding a hierarchy of tractable depth-bounded approximations to that logic, which in turn has been based on a KE/KI system. -/- This Thesis shows that the approach can (...) be naturally extended to useful nonclassical logics such as First-Degree Entailment (FDE), the Logic of Paradox (LP), Strong Kleene Logic (K3 ) and Intuitionistic Propositional Logic (IPL). To do this, we introduce a KE/KI-style system for each of those logics such that: is formulated via signed formulae, consist of linear operational rules and branching structural rule(s), can be used as a direct-proof and a refutation method, and is interesting independently of the approach in that it has an exponential speed-up on its tableau system counterpart. The latter given that we introduce a new class of examples which we prove to be hard for all tableau systems sharing the V/& rules with the classical one, but easy for their analogous KE-style systems. Then we focus on showing that each of our KE/KI-style systems naturally yields a hierarchy of tractable depth-bounded approximations to the respective logic, in terms of the maximum number of allowed nested applications of the branching rule(s). The rule(s) express(es) a generalized rule of bivalence, is (are) essentially cut rule(s) and govern(s) the manipulation of virtual information, which is information that an agent does not hold but she temporarily assumes as if she held it. Intuitively, the more virtual information needs to be invoked via the branching rule(s), the harder the inference is for the agent. So, the nested application the branching rule(s) provides a sensible measure of inferential depth. We also show that each hierarchy approximating FDE, LP, and K3 , admits of a 5-valued non-deterministic semantics; whereas, paving the way for a semantical characterization of the hierarchy approximating IPL, we provide a 3-valued non-deterministic semantics for the full logic that fixes the meaning of the connectives without appealing to “structural” conditions. -/- Moreover, we show a super-polynomial lower bound for the strongest possible version of clausal tableaux on the well-known class of “truly fat” expressions (which are easy for KE), settling a problem left open in the literature. Further, we investigate a hierarchy of tractable depth-bounded approximations to CPL based only on KE. Finally, we propose a refinement of the p-simulation relation which is adequate to establish positive results about the superiority of a system over another with respect to proof-search. (shrink)

FDE is a logic that captures relevant entailment between implication-free formulae and admits of an intuitive informational interpretation as a 4-valued logic in which “a computer should think”. However, the logic is co-NP complete, and so an idealized model of how an agent can think. We address this issue by shifting to signed formulae where the signs express imprecise values associated with two distinct bipartitions of the set of standard 4 values. Thus, we present a proof system which consists (...) of linear operational rules and only two branching structural rules, the latter expressing a generalized rule of bivalence. This system naturally leads to defining an infinite hierarchy of tractable depth-bounded approximations to FDE. Namely, approximations in which the number of nested applications of the two branching rules is bounded. (shrink)

Clarke and Beck assume that approximate number system representations should be assigned referents from our scientific ontology. However, many representations, both in perception and cognition, do not straightforwardly refer to such entities. If we reject Clarke and Beck's assumption, many possible contents for ANS representations besides number are compatible with the evidence Clarke and Beck cite.

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general (...) to any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

Humans possess two nonverbal systems capable of representing numbers, both limited in their representational power: the first one represents numbers in an approximate fashion, and the second one conveys information about small numbers only. Conception of exact large numbers has therefore been thought to arise from the manipulation of exact numerical symbols. Here, we focus on two fundamental properties of the exact numbers as prerequisites to the concept of EXACT NUMBERS : the fact that all numbers can be generated (...) by a successor function and the fact that equality between numbers can be defined in an exact fashion. We discuss some recent findings assessing how speakers of Munduruc (an Amazonian language), and young Western children (3-4 years old) understand these fundamental properties of numbers. (shrink)

Strong nativist views about numerical concepts claim that human beings have at least some innate precise numerical representations. Weak nativist views claim only that humans, like other animals, possess an innate system for representing approximate numerical quantity. We present a new strong nativist model of the origins of numerical concepts and defend the strong nativist approach against recent cross-cultural studies that have been interpreted to show that precise numerical concepts are dependent on language and that they are restricted (...) to speakers of languages with the right kind of structure. (shrink)

In this work we study dimensional theoretical properties of some a±ne dynamical systems. By dimensional theoretical properties we mean Hausdor® dimension and box- counting dimension of invariant sets and ergodic measures on theses sets. Especially we are interested in two problems. First we ask whether the Hausdor® and box- counting dimension of invariant sets coincide. Second we ask whether there exists an ergodic measure of full Hausdor® dimension on these invariant sets. If this is not the case we ask the (...) question, whether at least the variational principle for Haus- dor® dimension holds, which means that there is a sequence of ergodic measures such that their Hausdor® dimension approximates the Hausdor® dimension of the invariant set. It seems to be well accepted by experts that these questions are of great importance in developing a dimension theory of dynamical systems (see the book of Pesin about dimension theory of dynamical systems [PE2]). Dimensional theoretical properties of conformal dynamical systems are fairly well understood today. For example there are general theorems about conformal repellers and hyperbolic sets for conformal di®eomorphisms (see chapter 7 of [PE2]). On the other hand the existence of two di®erent rates of expansion or contraction forces problems that are not captured by a general theory this days. At this stage of de- velopment of the dimension theory of dynamical systems it seems natural to study non conformal examples. This is the ¯rst step to understand the mechanisms that determine dimensional theoretical properties of non conformal dynamical systems. A±ne dynamical systems represent simple examples of non conformal systems. They are easy to de¯ne, but studying their dimensional theoretical properties does never- theless provide challenging mathematical problems and exemplify interesting phe- nomena. We consider here a special class of self-a±ne repellers in dimension two, depending on four parameters (see 2.1.). Furthermore we study a class of attractors of piecewise a±ne maps in dimension three depending on four parameters as well. The last object of our work are projections of these maps that are known as gener- alized Baker's transformations (see 2.2.). The contents of our work is the following: In chapter two we give an overview about some main results in the area of di- mension theory of a±ne dynamical systems and de¯ne the systems we study in this work. We will explain, what is known about the dimensional theoretical properties of these systems and describe what our new results are. In chapter three we then apply symbolic dynamics to our systems. We will introduce explicit shift codings 4 and ¯nd representations of all ergodic measures for our systems using these codings. From chapter four to chapter eight we study dimensional theoretical properties, which our systems generally or generically have. In chapter four we will prove a formula for the box-counting dimension of the repellers and the attractors (see the- orem 4.1.). Then in chapter ¯ve we apply general dimensional theoretical results for ergodic measures found by Ledrappier and Young [LY] and Barreira, Schmeling and Pesin [BPS] to our systems. These results relate the dimension of ergodic measures to metric entropy and Lyapunov exponents. Using this approach we will be able to reduce questions about the dimension of ergodic measures in our context to ques- tions about certain overlapping and especially overlapping self-similar measures on the line. These overlapping self-similar measures are studied in chapter six. Our main theorem extends a result of Peres and Solomyak [PS2] concerning the absolute continuity resp. singularity of symmetric self-similar measures to asymmetric ones (see theorem 6.1.3.). In chapter seven we bring our results together. We prove that we generically (in the sense of Lebesgue measure on a part of the parameter space) have the iden- tity of box-counting and Hausdor® dimension for the repellers and the attractors. (see theorem 7.1.1. and corollary 7.1.2.). This result suggest that one can expect that the identity of box-counting dimension and Hausdor® dimension holds at least generically in some natural classes of non conformal dynamical systems. Furthermore we will see in chapter seven that there generically exists an ergodic measure of full Hausdor® dimension for the repellers. On the other hand the vari- ational principle for Hausdor® dimension is not generic for the attractors. It holds only if we assume a certain symmetry (see theorem 7.1.1.). For generalized Baker's transformations we will ¯nd a part of the parameter space where there generically is an ergodic measure of full dimension and a part where the variational principle for Hausdor® dimension does not hold (see theorem 7.1.3.). Roughly speaking the reason why the variational principle does not hold here is, that if there exists both a stable and an unstable direction one can not generically maximize the dimension in the stable and in the unstable direction at the same time. In an other setting this phenomenon was observed before by Manning and McCluskey [MM]. In chapter eight we extend some results of the last section to invariant sets that correspond to special Markov chains instead of full shifts (see theorem 8.1.1.). In the last two chapters of our work we are interested in number theoretical excep- tions to our generic results. The starting point of our considerations in section nine are results of ErdÄos [ER1] and Alexander and Yorke [AY] that establish singularity and a decrease of dimension for in¯nite convolved Bernoulli measures under special conditions. Using a generalized notion of the Garsia entropy ([GA1/2]) we are able 5 to understand the consequences of number theoretical peculiarities in broader class of overlapping measures (see theorem 9.1.1.). In chapter ten we then analyze number theoretical peculiarities in the context of our dynamical systems. We restrict our attention to a symmetric situation where we generically have the existence of a Bernoulli measure of full dimension and the identity of Hausdor® and box-counting dimension for all of our systems. In the ¯rst section of chapter ten we ¯nd parameter values such that the variational principle for Hausdor® dimension does not hold for the attractors and for the Fat Baker's transformations (see theorem 10.1.1.). These are the ¯rst known examples of dynamical systems for which the variational principle for Hausdor® dimension does not hold because of number theoretical peculiarities of parameter values. For the repellers we have been able to show that under certain number theoretical conditions there is at least no Bernoulli measure of full Hausdor® dimension; the question if the variational principle for Hausdor® dimension holds remains open in this situation. In the second section of chapter ten we will show that the identity for Hausdor® and box-counting dimension can drops because there are number theoretical pecu- liarities. In the context of Weierstrass-like functions this phenomenon was observed by Przytycki and Urbanski [PU]. Our theorem extends this result to a larger class of sets, invariant under dynamical systems (see theorem 10.2.1). At the end of this work the reader will ¯nd two appendices, a list of notations and the list of references. In appendix A we introduce the notions of dimension we use in this work and collect some general facts in dimension theory. In appendix B we state the facts about Pisot-Vijayarghavan number, we need in our analysis of number theoretical peculiarities. The list of notations contains general notations and a table with a summary of notations we use to describe the dynamical systems that we study. Acknowledgments I wish to thank my supervisor JÄorg Schmeling for a lot of valuable discussion and all his help. Also thanks to Luis Barreira for his great hospitality in Lisboa and many interesting comments. This work was done while I was supported by "Promotionstipendium gem. NaFÄoG der Freien UniversitÄat Berlin". (shrink)

This chapter examines the pioneering work of Gottfried Wilhelm Leibniz (1646-1716) on various number systems, in particular binary, which he independently invented in the mid-to-late 1670s, and hexadecimal, which he invented in 1679. The chapter begins with the oft-debated question of who may have influenced Leibniz’s invention of binary, though as none of the proposed candidates is plausible I suggest a different hypothesis, that Leibniz initially developed binary notation as a tool to assist his investigations in mathematical problems that (...) were exercising him at the time, namely those concerning the divisibility of composite numbers, primality, and perfect numbers. The chapter then explores Leibniz’s development of binary, his little-known work on binary fractions and expansions, his use of binary as a symbol for creation in his philosophical-theology, and his response to the suggestion that there was a correlation between binary numeration and the hexagrams of the ancient Chinese divinatory text, the Yijing. The chapter then focuses on Leibniz’s work on other number systems, in particular his invention and exploration of hexadecimal as well as his work on duodecimal. The chapter concludes by revealing a hitherto unknown practical application of binary that Leibniz devised in the last year of his life. (shrink)

A number of authors, including me, have argued that the output of our most complex climate models, that is, of global climate models and Earth system models, should be assessed possibilistically. Worries about the viability of doing so have also been expressed. I examine the assessment of the output of relatively simple climate models in the context of discovery and point out that this assessment is of epistemic possibilities. At the same time, I show that the concept of (...) epistemic possibility used in the relevant studies does not fit available analyses of this concept. Moreover, I provide an alternative analysis that does fit the studies and broad climate modelling practices as well as meshes with my existing view that climate model assessment should typically be of real possibilities. On my analysis, to assert that a proposition is epistemically possible is to assert that it is not known to be false and is consistent with at least approximate knowledge of the basic way things are. I, finally, consider some of the implications of my discussion for available possibilistic views of climate model assessment and for worries about such views. I conclude that my view helps to address worries about such assessment and permits using the full range of climate models in it. (shrink)

I argue that the human mind includes an innate domain-specific system for representing precise small numerical quantities. This theory contrasts with object-tracking theories and with domain-general theories that only make use of mental models. I argue that there is a good amount of evidence for innate representations of small numerical quantities and that such a domain-specific system has explanatory advantages when infants’ poor working memory is taken into account. I also show that the mental models approach requires previously (...) unnoticed domain-specific structure and consequently that there is no domain-general alternative to an innate domain-specific small number system. (shrink)

There is no uniquely standard concept of an effectively decidable set of real numbers or real n-tuples. Here we consider three notions: decidability up to measure zero [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382], which we abbreviate d.m.z.; recursive approximability [or r.a.; K.-I. Ko, Complexity Theory of Real Functions, Birkhäuser, Boston, 1991]; and decidability ignoring boundaries [d.i.b.; W.C. Myrvold, The decision problem for entanglement, in: (...) R.S. Cohen et al. (Eds.), Potentiality, Entanglement, and Passion-at-a-Distance: Quantum Mechanical Studies fo Abner Shimony, Vol. 2, Kluwer Academic Publishers, Great Britain, 1997, pp. 177–190]. Unlike some others in the literature, these notions apply not only to certain nice sets, but to general sets in Rn and other appropriate spaces. We consider some motivations for these concepts and the logical relations between them. It has been argued that d.m.z. is especially appropriate for physical applications, and on Rn with the standard measure, it is strictly stronger than r.a. [M.W. Parker, Undecidability in Rn: Riddled basins, the KAM tori, and the stability of the solar system, Phil. Sci. 70(2) (2003) 359–382]. Here we show that this is the only implication that holds among our three decidabilities in that setting. Under arbitrary measures, even this implication fails. Yet for intervals of non-zero length, and more generally, convex sets of non-zero measure, the three concepts are equivalent. (shrink)

This fifth volume on Advances and Applications of DSmT for Information Fusion collects theoretical and applied contributions of researchers working in different fields of applications and in mathematics, and is available in open-access. The collected contributions of this volume have either been published or presented after disseminating the fourth volume in 2015 in international conferences, seminars, workshops and journals, or they are new. The contributions of each part of this volume are chronologically ordered. First Part of this book presents some (...) theoretical advances on DSmT, dealing mainly with modified Proportional Conflict Redistribution Rules (PCR) of combination with degree of intersection, coarsening techniques, interval calculus for PCR thanks to set inversion via interval analysis (SIVIA), rough set classifiers, canonical decomposition of dichotomous belief functions, fast PCR fusion, fast inter-criteria analysis with PCR, and improved PCR5 and PCR6 rules preserving the (quasi-)neutrality of (quasi-)vacuous belief assignment in the fusion of sources of evidence with their Matlab codes. Because more applications of DSmT have emerged in the past years since the apparition of the fourth book of DSmT in 2015, the second part of this volume is about selected applications of DSmT mainly in building change detection, object recognition, quality of data association in tracking, perception in robotics, risk assessment for torrent protection and multi-criteria decision-making, multi-modal image fusion, coarsening techniques, recommender system, levee characterization and assessment, human heading perception, trust assessment, robotics, biometrics, failure detection, GPS systems, inter-criteria analysis, group decision, human activity recognition, storm prediction, data association for autonomous vehicles, identification of maritime vessels, fusion of support vector machines (SVM), Silx-Furtif RUST code library for information fusion including PCR rules, and network for ship classification. Finally, the third part presents interesting contributions related to belief functions in general published or presented along the years since 2015. These contributions are related with decision-making under uncertainty, belief approximations, probability transformations, new distances between belief functions, non-classical multi-criteria decision-making problems with belief functions, generalization of Bayes theorem, image processing, data association, entropy and cross-entropy measures, fuzzy evidence numbers, negator of belief mass, human activity recognition, information fusion for breast cancer therapy, imbalanced data classification, and hybrid techniques mixing deep learning with belief functions as well. (shrink)

This article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens (...) up a fusion point with his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s (...) Induction-Axiom Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Sikhism, the fifth-largest organized religion [1] in the world, was founded in the fifteenth century in Punjab, India. Guru Nanak Dev and his successor Sikh Gurus established this system of religious philosophy. The sacred scripture, Sri Guru Granth Sahib [2-3], is the present Guru of the Sikhs. The religious philosophy of Sikhism is traditionally known as Gurmat. Sikhism originated from the word Sikh, having the Sanskrit root śiṣya meaning "disciple" or "learner." With about 27 million followers or 0.39% of (...) the world population [4], approximately 83% of the Sikhs live in India. Islam is the religion articulated by the Holy Quran [5-6], a religious book. Its adherents consider it the verbatim word of the one incomparable God (Allah). Muslims live by following the demonstrations of the Prophet of Islam, Hazrat Muhammad, and real-life examples (Sunnah). The Sunnah has been collected through the narration of Prophet Hazrat Muhammad's companions in the Hadith collections. Islam means submission to God. The word Islam is derived from the Arabic word "Salam," which means peace. With about 1.7 billion followers, or 23% of the global population [7-8], Islam is the second-largest religion by the number of its adherents. Despite being different religions, Sikhism and Islam share many similarities. Most of these similarities center around the notion of a single, all-powerful, and loving God. Both faiths share similar normative, social, and environmental ethics. Some of these similarities are described in this article. (shrink)

The prestige of an academic institution may be determined as a function of affiliations with other academic institutions. Using digital tools to data-scrape, data-mine, and perform network analysis on university websites, an approximation of numbers of academic affiliations may be measured. Especially observing the alma mater institutions of the faculty of employed institutions, these numbers show the relative employment of alumni and a proxy metric for the relative prestige of their degree-granting institutions. These affiliations can be charted and graphed to (...) determine the distributions of affiliations throughout an academic ecosystem from which we might draw conclusions about that system’s hierarchies and inequalities. Here we use anglophone PhD-granting philosophy departments as a case study for this methodology with tentative conclusions. (shrink)

Sikhism, the fifth-largest organized religion in the world, was founded in the fifteenth century in Punjab, India. Guru Nanak Dev and his successor Sikh Gurus established this system of religious philosophy. The sacred scripture, Sri Guru Granth Sahib, is the present Guru of the Sikhs. The religious philosophy of Sikhism is traditionally known as Gurmat. Sikhism originated from the word Sikh, having the Sanskrit root śiṣya meaning "disciple" or "learner." With about 27 million followers or 0.39% of the world (...) population [4], approximately 83% of the Sikhs live in India. Islam is the religion articulated by the Holy Quran, a religious book. Its adherents consider it the verbatim word of the one incomparable God (Allah). The Muslims live by following the Prophet of Islam Hazrat Muhammad's demonstrations and real-life examples (Sunnah). The Sunnah has been collected through Prophet Hazrat Muhammad's companions' narration in collections of Hadith. Islam means submission to God. The word Islam is derived from the Arabic word "Salam," which means peace. With about 1.7 billion followers or 23% of the global population, Islam is the second-largest religion by the number of its adherents. (shrink)

In his [1937, 1938], Paul Dirac proposed his “Large Number Hypothesis” (LNH), as a speculative law, based upon what we will call the “Large Number Coincidences” (LNC’s), which are essentially “coincidences” in the ratios of about six large dimensionless numbers in physics. Dirac’s LNH postulates that these numerical coincidences reflect a deeper set of law-like relations, pointing to a revolutionary theory of cosmology. This led to substantial work, including the development of Dirac’s later [1969/74] cosmology, and other alternative (...) cosmologies, such as the Brans-Dicke modification of GTR, and to extensive empirical tests. We may refer to the generic hypothesis of “Large Number Relations” (LNR’s), as the proposal that there are lawlike relations of some kind between the dimensionless numbers, not necessarily those proposed in Dirac’s early LNH. Such relations would have a profound effect on our concepts of physics, but they remain shrouded in mystery. Although Dirac’s specific proposals for LNR theories have been largely rejected, the subject retains interest, especially among cosmologists seeking to test possible variations in fundamental constants, and to explain dark energy or the cosmological constant. In the first two sections here we briefly summarize the basic concepts of LNR’s. We then introduce an alternative LNR theory, using a systematic formalism to express variable transformations between conventional measurement variables and the true variables of the theory. We demonstrate some consistency results and review the evidence for changes in the gravitational constant G. The theory adopted in the strongest tests of Ġ/G, by the Lunar Laser Ranging (LLR) experiments, assumes: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m, as a fundamental relationship. Experimental measurements show the RHS to be close to zero, so it is inferred that significant changes in G are ruled out. However when the relation is derived in our alternative theory it gives: Ġ/G = 3(dr/dt)/r – 2(dP/dt)/P – (dm/dt)/m – (dR/dt)/R. The extra final term (which is the Hubble constant) is not taken into account in conventional derivations. This means the LLR experiments are consistent with our LNR theory (and others), and they do not really test for a changing value of G at all. This failure to transform predictions of LNR theories correctly is a serious conceptual flaw in current experiment and theory. (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)

The aim of this paper is to explore and understand the Albanian Party System. The analysis will cover the period from the collapse of the communist regime in 1991 until 2014. It will try to investigate what forces drive the battle of the parties, what cleavages 'divide' society and consequently the party system as well as which are the parties that count the most. in order to assess this, the paper will focus on the parliamentary parties and will (...) relay on various theoretical concepts of the contemporary literature on political parties. First it will draw on Sartori's concept of 'relevance' in order to understand whether all the parliamentary parties over the course of twenty four years of pluralism are important or not and what weight do they have. Then it will use the Laakso - Taagepera index of the Effective Number of Parties to understand how power is distributed within the parliament. (shrink)

We study the first-order theories of some natural and important classes of coloured trees, including the four classes of trees whose paths have the order type respectively of the natural numbers, the integers, the rationals, and the reals. We develop a technique for approximating a tree as a suitably coloured linear order. We then present the first-order theories of certain classes of coloured linear orders and use them, along with the approximating technique, to establish complete axiomatisations of the four classes (...) of trees mentioned above. (shrink)

I respond to P. McLaughlin and O. Schlaudt’s critique of my analysis of the cross-cultural origins of numbers, noting that my work draws extensively upon number systems as ethnographically attested around the globe, and thus is based only in part on the important Mesopotamian case study. I place the work of Peter Damerow in its historical context, noting its genesis in Piaget’s genetic epistemology and the problems associated with applying Piaget’s developmental theory to societies. While Piaget assumed numeracy involves (...) invariant mental transformations, ongoing research in numerical cognition has been largely unsuccessful in identifying specific brain-bound mechanisms for numerical structure. Accordingly, I suggest the extended mind paradigm from the philosophy of mind may be a more fruitful approach, and detail such an approach using Material Engagement Theory. (shrink)

In this study, the archaic counting systems of Mesopotamia as understood through the Neolithic tokens, numerical impressions, and proto-cuneiform notations were compared to the traditional number-words and counting methods of Polynesia as understood through contemporary and historical descriptions of vocabulary and behaviors. The comparison and associated analyses capitalized on the ability to understand well-known characteristics of Uruk-period numbers like object-specific counting, polyvalence, and context-dependence through historical observations of Polynesian counting methods and numerical language, evidence unavailable for ancient numbers. Similarities (...) between the two number systems were then used to argue that archaic Mesopotamian numbers, like those of Polynesia, were highly elaborated and would have served as cognitively efficient tools for mental calculation. Their differences also show the importance of material technologies like tokens, impressions, and notations to developing mathematics. This project has received funding from the European Union’s Horizon 2020 research and innovation program under grant agreement No. 785793. (shrink)

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart characteristics (...) like linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition. (shrink)

Do scientific theories limit human knowledge? In other words, are there physical variables hidden by essence forever? We argue for negative answers and illustrate our point on chaotic classical dynamical systems. We emphasize parallels with quantum theory and conclude that the common real numbers are, de facto, the hidden variables of classical physics. Consequently, real numbers should not be considered as ``physically real" and classical mechanics, like quantum physics, is indeterministic.

Physical systems can store information and their informational properties are governed by the laws of information. In particular, the amount of information that a physical system can convey is limited by the number of its degrees of freedom and their distinguishable states. Here we explore the properties of the physical systems with absolutely one degree of freedom. The central point in these systems is the tight limitation on their information capacity. Discussing the implications of this limitation we demonstrate (...) that such systems exhibit a number of features, such as randomness, no-cloning, and non-commutativity, which are peculiarities attributed to quantum mechanics (QM). After demonstrating many astonishing parallels to quantum behavior, we postulate an interpretation of quantum physics as the physics of systems with a single degree of freedom. We then show how a number of other quantum conundrum can be understood by considering the informational properties of the systems and also resolve the EPR paradox. In the present work, we assume that the formalism of the QM is correct and well-supported by experimental verification and concentrate on the interpretational aspects of the theory. (shrink)

A new advanced systems theory concerning the emergent nature of the Social, Consciousness, and Life based on Mathematics and Physical Analogies is presented. This meta-theory concerns the distance between the emergent levels of these phenomena and their ultra-efficacious nature. The theory is based on the distinction between Systems and Meta-systems (organized Openscape environments). We first realize that we can understand the difference between the System and the Meta-system in terms of the relationship between a ‘Whole greater than the (...) sum of the parts’ and a ‘Whole less than the sum of its parts’, i.e., a whole full of holes (like a sponge) that provide niches for systems in the environment. Once we understand this distinction and clarify the nature of the unusual organization of the Meta-system, then it is possible to understand that there is a third possibility which is a whole exactly equal to the sum of its parts that is only supervenient like perfect numbers. In fact, there are three kinds of Special System corresponding to the perfect, amicable, and sociable aliquot numbers. These are all equal to the sum of their parts but with different degrees of differing and deferring in what Jacques Derrida calls “differance”. All other numbers are either excessive (systemic) or deficient (metasystemic) in this regard. The Special Systems are based on various mathematical analogies and some physical analogies. But the most important of the mathematical analogies are the hypercomplex algebras, which include the Complex Numbers, Quaternions, and Octonions, with the Sedenions corresponding to the Emergent Meta-system. However, other analogies are the Hopf fibrations between hyperspheres of various dimensions, nonorientable surfaces, soliton solutions, etc. These Special Systems have a long history within the tradition since they can be traced back to the imaginary cities of Plato. The Emergent Meta-system is a higher order global structure that includes the System with the three Special Systems as a cycle. An example of this from our tradition is in the Monadology of Gottfried Wilhelm von Leibniz. There is a conjunctive relationship between the System schema and the Special Systems that produce the Meta-system schema cycle. The Special Systems are a meta-model for the relationship between the emergent levels of Consciousness (Dissipative Ordering based on the theory of negative entropy of Prigogine), Living (Autopoietic Symbiotic based on the theory of Maturana and Varela), and Social (Reflexive based on the theory of John O’Malley and Barry Sandywell). These different special systems are related to the various existenitals identified by Martin Heidegger in Being and Time and various temporal reference frames identified by Richard M. Pico. We also relate the special systems to morphodynamic and teleodynamic systems of Terrence Deacon in Incomplete Nature to which we add sociodynamic systems to complete the series of Special Systems. (shrink)

Developing earlier studies of the system of numbers in Mundurucu, this paper argues that the Mundurucu numeral system is far more complex than usually assumed. The Mundurucu numeral system provides indirect but insightful arguments for a modular approach to numbers and numerals. It is argued that distinct components must be distinguished, such as a system of representation of numbers in the format of internal magnitudes, a system of representation for individuals and sets, and one-to-one correspondences (...) between the numerosity expressed by the number and its metrics. It is shown that while many-number systems involve a compositionality of units, sets and sets composed of units, few-number languages, such as Mundurucu, do not have access to sets composed of units in the usual way. The nonconfigurational character of the Mundurucu language, which is related to a property for which we coin the term 'low compositionality power', accounts for this and explains the curious fact that Mundurucus make use of marked one-to-one correspondence strategies in order to overcome the limitations of the core system at the perceptual/motor interface of the language faculty. We develop an analysis of a particular construction, parallel numbers, which has not been studied before, elucidating the whole system. This analysis, we argue, sheds new light on classical philosophical, psychological and linguistic debates about numbers and numerals and their relation to language, and more particularly, sheds light on few-number languages. (shrink)

Number systems differ cross-culturally in characteristics like how high counting extends and which number is used as a productive base. Some of this variability can be linked to the way the hand is used in counting. The linkage shows that devices like the hand used as external representations of number have the potential to influence numerical structure and organization, as well as aspects of numerical language. These matters suggest that cross-cultural variability may be, at least in part, (...) a matter of whether devices are used in counting, which ones are used, and how they are used. (shrink)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs (...) will be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (shrink)

This paper defends a view of the Gene Ontology (GO) and of Basic Formal Ontology (BFO) as examples of what the manufacturing industry calls product-service systems. This means that they are products (the ontologies) bundled with a range of ontology services such as updates, training, help desk, and permanent identifiers. The paper argues that GO and BFO are contrasted in this respect with DOLCE, which approximates more closely to a scientific theory or a scientific publication. The paper provides a detailed (...) overview of ontology services and concludes with a discussion of some implications of the product-service system approach for the understanding of the nature of applied ontology. Ontology developer communities are compared in this respect with developers of scientific theories and of standards (such as W3C). For each of these we can ask: what kinds of products do they develop and what kinds of services do they provide for the users of these products? (shrink)

In his highly perceptive, if underappreciated introduction to Wittgenstein’s Tractatus, Russell identifies a “lacuna” within Wittgenstein’s theory of number, relating specifically to the topic of transfinite number. The goal of this paper is two-fold. The first is to show that Russell’s concerns cannot be dismissed on the grounds that they are external to the Tractarian project, deriving, perhaps, from logicist ambitions harbored by Russell but not shared by Wittgenstein. The extensibility of Wittgenstein’s theory of number to the (...) case of transfinite cardinalities is, I shall argue, a desideratum generated by concerns intrinsic, and internal to Wittgenstein’s logical and semantic framework. Second, I aim to show that Wittgenstein’s theory of number as espoused in the Tractatus is consistent with Russell’s assessment, in that Wittgenstein meant to leave open the possibility that transfinite numbers could be generated within his system, but did not show explicitly how to construct them. To that end, I show how one could construct a transfinite number line using ingredients inherent in Wittgenstein’s system, and in accordance with his more general theories of number and of operations. (shrink)

West Nile virus (WNV) is a mosquito-borne flavivirus that was first identified in 1937 in the West Nile district of Uganda. The virus is now widely distributed throughout the world and is considered a significant public health concern. WNV is primarily transmitted to humans through the bite of infected mosquitoes, with birds serving as the primary reservoir host. Most people infected with WNV will not experience any symptoms, but approximately 1 in 5 will develop a fever, and a smaller percentage (...) may develop more severe symptoms such as meningitis or encephalitis. There is no specific treatment for WNV infection, and prevention efforts focus on mosquito control measures and personal protective measures to avoid mosquito bites. While WNV is not typically considered a major threat to human health, outbreaks have occurred sporadically in various parts of the world, and ongoing surveillance and research are necessary to better understand and control the virus. Objectives: This paper will solve the problems of treatment of West Nile virus (WNV) through correct diagnosis and treatment. Methods: In this research, we provide an expert system for the diagnosis of West Nile virus (WNV) which will help doctors to explore everything related to the problems of West Nile virus (WNV). We look forward to providing simplified answers to West Nile virus (WNV). (shrink)

Background: With the coming of the Industrial Revolution, the levels of pollution grow significantly. This Technological development contributed to the worsening of shortness breath problems in great shape. especially in infants and children. There are many shortness breath diseases that infants and children face in their lives. Shortness of breath is one of a very serious symptom in children and infants and should never be ignored. Objectives: Along these lines, the main goal of this expert system is to help (...) physician in diagnosing and describe some common causes of shortness of breath in infants and children by diagnosing their cases through our expert system. Moreover, this system which we are presenting will give patient the appropriate diagnosis of disease and the treatment required. Methods: In this paper the strategy of the expert system for diagnosing a number of the existed shortness of breath in infants and children diseases such as (Asthma , Bronchiolitis, Viral Pneumonia, cough, Shortness of breath' dyspnea ', Epiglottitis, Croup, ABSCESS in the tonsil 'peritonsillar abscess', Bronchitis, Viral Bronchitis, Wheezing, sudden infant death syndrome 'SIDS' ) is introduced, an overview about the shortness of breath in children and infants diseases are delineated, the cause of diseases are sketched and the treatment of disease whenever conceivable is given . SL5 Object Expert System language was utilized for designing and implementing the proposed expert system. Results: The proposed shortness of breath in children and infants diseases diagnosis expert system was estimated by Medical students and they were satisfied with its result. Conclusions: The Proposed expert system is very useful for Respiratory physician, pediatrician, recently graduated physician, and for children's parents with shortness of breath problem. (shrink)

The term “Complex Systems Biology” was introduced a few years ago [Kaneko, 2006] and, although not yet of widespread use, it seems particularly well suited to indicate an approach to biology which is well rooted in complex systems science. Although broad generalizations are always dangerous, it is safe to state that mainstream biology has been largely dominated by a gene-centric view in the last decades, due to the success of molecular biology. So the one gene - one trait approch, which (...) has often proved to be effective, has been extended to cover even complex traits. This simplifying view has been appropriately criticized, and the movement called systems biology has taken off. Systems biology [Noble, 2006] emphasizes the presence of several feedback loops in biological systems, which severely limit the range of validity of explanations based upon linear causal chains (e.g. gene → behaviour). Mathematical modelling is one the favourite tools of systems biologists to analyze the possible effects of competing negative and positive feedback loops which can be observed at several levels (from molecules to organelles, cells, tissues, organs, organisms, ecosystems). Systems biology is by now a well-established field, as it can be inferred by the rapid growth in number of conferences and journals devoted to it, as well as by the existence of several grants and funded projects.Systems biology is mainly focused upon the description of specific biological items, like for example specific organisms, or specific organs in a class of animals, or specific genetic-metabolic circuits. It therefore leaves open the issue of the search for general principles of biological organization, which apply to all living beings or to at least to broad classes. We know indeed that there are some principles of this kind, biological evolution being the most famous one. The theory of cellular organization also qualifies as a general principle. But the main focus of biological research has been that of studying specific cases, with some reluctance to accept (and perhaps a limited interest for) broad generalizations. This may however change, and this is indeed the challenge of complex systems biology: looking for general principles in biological systems, in the spirit of complex systems science which searches for similar features and behaviours in various kinds of systems. The hope to find such general principles appears well founded, and I will show in Section 2 that there are indeed data which provide support to this claim. Besides data, there are also general ideas and models concerning the way in which biological systems work. The strategy, in this case, is that of introducing simplified models of biological organisms or processes, and to look for their generic properties: this term, borrowed from statistical physics, is used for those properties which are shared by a wide class of systems. In order to model these properties, the most effective approach has been so far that of using ensembles of systems, where each member can be different from another one, and to look for those properties which are widespread. This approach was introduced many years ago [Kauffman, 1971] in modelling gene regulatory networks. At that time one had very few information about the way in which the expression of a given gene affects that of other genes, apart from the fact that this influence is real and can be studied in few selected cases (like e.g. the lactose metabolism in E. coli). Today, after many years of triumphs of molecular biology, much more has been discovered, however the possibility of describing a complete map of gene-gene interactions in a moderately complex organism is still out of reach. Therefore the goal of fully describing a network of interacting genes in a real organism could not be (and still cannot be) achieved. But a different approach has proven very fruitful, that of asking what are the typical properties of such a set of interacting genes. Making some plausible hypotheses and introducing some simplifying assumptions, Kauffman was able to address some important problems. In particular, he drew attention to the fact that a dynamical system of interacting genes displays selforganizing properties which explain some key aspects of life, most notably the existence of a limited number of cellular types in every multicellular organism (these numbers are of the order of a few hundreds, while the number of theoretically possible types, absent interactions, would be much much larger than the number of protons in the universe). In section 3 I will describe the ensemble based approach in the context of gene regulatory networks, and I will show that it can describe some important experimental data. Finally, in section 4 I will discuss some methodological aspects. (shrink)

Theories of number concepts often suppose that the natural numbers are acquired as children learn to count and as they draw an induction based on their interpretation of the first few count words. In a bold critique of this general approach, Rips, Asmuth, Bloomfield [Rips, L., Asmuth, J. & Bloomfield, A.. Giving the boot to the bootstrap: How not to learn the natural numbers. Cognition, 101, B51–B60.] argue that such an inductive inference is consistent with a representational system (...) that clearly does not express the natural numbers and that possession of the natural numbers requires further principles that make the inductive inference superfluous. We argue that their critique is unsuccessful. Provided that children have access to a suitable initial system of representation, the sort of inductive inference that Rips et al. call into question can in fact facilitate the acquisition of larger integer concepts without the addition of any further principles. (shrink)

The boundless nature of the natural numbers imposes paradoxically a high formal bound to the use of standard artificial computer programs for solving conceptually challenged problems in number theory. In the context of the new cognitive foundations for mathematics' and physics' program immersed in the setting of artificial mathematical intelligence, we proposed a refined numerical system, called the physical numbers, preserving most of the essential intuitions of the natural numbers. Even more, this new numerical structure additionally possesses the (...) property of being a bounded object allowing us to work with quite similar axioms like the classic Peano axioms, but in a finite environment and with an enriched physical dimension. Finally, we present several enlightening examples and we conclude that the physical numbers provide a natural formal setting for approaching classic problems in number theory from a more hybrid perspective, i.e. with a potential participation in the generation of solutions, not only of working mathematicians but also of more sophisticated artificial interactive (mathematical) intelligent agents (within the context of cognitive-computational metamathematics or artificial mathematical intelligence) and more controlled by physically-inspired principles. Finally, this paper addresses a highly new, bottom-up and paradigm-shifting approach to the foundations of physics: One should refine and improve the conceptual formal setting of the language that we use for understanding physical phenomena (e.g. the mathematical grounding concepts and theories) for being able to understand better more subtle and complex physical phenomena. (shrink)

In this paper, Taylor series is used to solve neutrosophic multi-objective programming problem (NMOPP). In the proposed approach, the truth membership, Indeterminacy membership, falsity membership functions associated with each objective of multi-objective programming problems are transformed into a single objective linear programming problem by using a first order Taylor polynomial series. Finally, to illustrate the efficiency of the proposed method, a numerical experiment for supplier selection is given as an application of Taylor series method for solving neutrosophic multi-objective programming problem (...) at end of this paper. (shrink)

A history of the construction of number has been in line with the process of recognition about the properties of geometry. Natural number representing countability is exhibited on a straight line and the completeness of real number is also originated from the continuous property of the number line. Complex number on a plane off the number line is established and thereafter, the whole number system is completed. When the process of constructing a (...) number with geometric features is investigated from different perspectives, it provides a new insight into the fundamental principle of number, which leads to a novel methodology in mathematics. (shrink)