The domain of numbers provides a paradigmatic case for investigating interactions of culture, language, and cognition: Numerical competencies are considered a core domain of knowledge, and yet the development of specifically human abilities presupposes cultural and linguistic input by way of counting sequences. These sequences constitute systems with distinct structural properties, the cross-linguistic variability of which has implications for number representation and processing. Such representational effects are scrutinized for two types of verbal numeration systems—general and object-specific (...) ones—that were in parallel use in several Oceanic languages. The analysis indicates that the object-specific systems outperform the general systems with respect to counting and mental arithmetic, largely due to their regular and more compact representation. What these findings reveal on cognitive diversity, how the conjectures involved speak to more general issues in cognitive science, and how the approach taken here might help to bridge the gap between anthropology and other cognitive sciences is discussed in the conclusion. (shrink)

Number morphology (e.g., singular vs. plural) is a part of the grammar that captures numerical information. Some languages have morphological Number values, which express few (paucal), two (dual), three (trial) and sometimes (possibly) four (quadral). Interestingly, the limit of the attested morphological Number values matches the limit of non‐verbal numerical cognition. The latter is based on two systems, one estimating approximate numerosities and the other computing exact numerosities up to three or four. We compared the literature on non‐ (...) class='Hi'>verbal number systems with data on Number morphology from 218 languages. Our observations suggest that non‐verbal numerical cognition is reflected as a core part of language. (shrink)

Mangarevan traditionally contained two numeration systems: a general one, which was highly regular, decimal, and extraordinarily extensive; and a specific one, which was restricted to specific objects, based on diverging counting units, and interspersed with binary steps. While most of these characteristics are shared by numeration systems in related languages in Oceania, the binary steps are unique. To account for these characteristics, this article draws on—and tries to integrate—insights from anthropology, archeology, linguistics, psychology, and cognitive science (...) more generally. The analysis of mental arithmetic with these systems reveals that both types of systems entailed cognitive advantages and served important functions in the cultural context of their application. How these findings speak to more general questions revolving around the theoretical models and evolutionary trajectory of numerical cognition will be discussed in the. (shrink)

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)

Human languages vary in terms of which meanings they lexicalize, but this variation is constrained. It has been argued that languages are under two competing pressures: the pressure to be simple (e.g., to have a small lexicon) and to allow for informative (i.e., precise) communication, and that which meanings get lexicalized may be explained by languages finding a good way to trade off between these two pressures. However, in certain semantic domains, languages can reach very high levels of informativeness even (...) if they lexicalize very few meanings in that domain. This is due to productive morphosyntax and compositional semantics, which may allow for construction of meanings which are not lexicalized. Consider the semantic domain of natural numbers: many languages lexicalize few natural number meanings as monomorphemic expressions, but can precisely convey very many natural number meanings using morphosyntactically complex numerals. In such semantic domains, lexicon size is not in direct competition with informativeness. What explains which meanings are lexicalized in such semantic domains? We will propose that in such cases, languages need to solve a different kind of trade‐off problem: the trade‐off between the pressure to lexicalize as few meanings as possible (i.e, to minimize lexicon size) and the pressure to produce as morphosyntactically simple utterances as possible (i.e, to minimize average morphosyntactic complexity of utterances). To support this claim, we will present a case study of 128 natural languages' numeral systems, and show computationally that they achieve a near‐optimal trade‐off between lexicon size and average morphosyntactic complexity of numerals. This study in conjunction with previous work on communicative efficiency suggests that languages' lexicons are shaped by a trade‐off between not two but three pressures: be simple, be informative, and minimize average morphosyntactic complexity of utterances. (shrink)

Recentemente diversi studi hanno mostrato come la distanza tra i Grundlagen e le precedenti pubblicazioni di Hilbert non sia tanto abissale come ritenuto in passato, ma vi sia una significativa consequenzialità con la teoria dei campi numerici. Nel ribadire questa visione, si intende mostrare come i risultati ottenuti da Hilbert, in particolare sui teoremi di Pappo e di Desargues, siano conseguenza di una ricerca più ampia sulla possibilità di introdurre all’interno della geometria dei sistemi numerici atti a coordinatizzare il piano (...) o lo spazio. Nello sviluppo della ricerca hanno avuto un ruolo determinante la scoperta di Hurwitz delle uniche quattro algebre di divisione normate e le idee maturate, già agli inizi della sua carriera, sulla finitezza degli strumenti da utilizzare in geometria, in particolare la rinuncia al concetto di continuità e la limitazione a sistemi numerici ordinati e numerabili. Nelle conclusioni dei Grundlagen, Hilbert rimarca l’importanza di dimostrare l’impossibilità delle assunzioni, tra cui l’impossibilità di determinare, attraverso solo relazioni geometriche di incidenza, dei sistemi numerici ordinati che abbiano le stesse proprietà dei quaternioni e degli ottonioni rispetto alle operazioni dell’aritmetica. (shrink)

The Verbal Tense System in Late Biblical Hebrew Prose. By Ohad Cohen. Harvard Semitic Series, vol. 63. Winona Lake, Ind.: Eisenbrauns, 2013. Pp. xiv + 304. $49.50.

We present an elementary three-pass algorithm for computing addition in Ostrowski numeration systems. When a is quadratic, addition in the Ostrowski numeration system based on a is recognizable by a finite automaton. We deduce that a subset of X⊆Nn is definable in, where Va is the function that maps a natural number x to the smallest denominator of a convergent of a that appears in the Ostrowski representation based on a of x with a nonzero coefficient if (...) and only if the set of Ostrowski representations of elements of X is recognizable by a finite automaton. The decidability of the theory of follows. (shrink)

To date, few studies have focused on mapping the mechanisms underlying children’s skills in science. This study investigated to what extent logical reasoning, spatial processing, and working memory, tapped at age 9-10-years, are predictive of physics skills at age 12-13-years. The study used a sample of 81 children (37 girls). Measures of mathematics and reading were also included in the study. Multiple regression analysis showed that spatial processing, and verbal working memory accounted for a similar amount of unique variance (...) (4.5–4.6%) while logical reasoning accounted for 5.7% variance. Physics is a multivariate discipline that draws upon numerous cognitive resources. Logical reasoning ability is a key component in order for children to learn about abstract physics facts, concepts, theories, and applying complex scientific methods. Spatial processing is important as it may sub-serve the assembly of diverse sources of visual-spatial information into a spatial-schematic image. The working memory system provides a flexible and efficient mental workspace that can supervise, coordinate, and execute processes involved in physics problem solving. (shrink)

While there is convincing evidence that preverbal human infants and non-human primates can spontaneously represent number, considerable debate surrounds the possibility that such capacity is also present in other animals. Fish show a remarkable ability to discriminate between different numbers of social companions. Previous work has demonstrated that in fish the same set of signature limits that characterize non-verbal numerical systems in primates is present but yet to provide any demonstration that fish can really represent number rather than (...) basing their discrimination on continuous attributes that co-vary with number. In the present work, using the method of 'item by item' presentation, we provide the first evidence that fish are capable of selecting the larger group of social companions relying exclusively on numerical information. In our tests subjects could choose between one large and one small group of companions when permitted to see only one fish at a time. Fish were successful when both small (3 vs. 2) and large numbers (8 vs. 4) were involved and their performance was not affected by the density of the fish or by the overall space occupied by the group. (shrink)

In this paper we study numeral systems in the -calculus. With one exception, we assume that all numerals have normal form. We study the independence of the conditions of adequacy of numeral systems. We find that, to a great extent, they are mutually independent. We then consider particular examples of numeral systems, some of which display paradoxical properties. One of these systems furnishes a counterexample to a conjecture of Böhm. Next, we turn to the approach of (...) Curry, Hindley, and Seldin. We dwell with the general problem of obtaining their results with the additional requirement of nonconvertibility of numerals. In particular we solve a problem that they left open. Finally, we give the first example of an adequate unsolvable numeral system without a test for zero in the usual sense, thus solving a problem of Barendregt and Barendsen. (shrink)

A numeral system is an infinite sequence of different closed normal -terms intended to code the integers in -calculus. Barendregt has shown that if we can represent, for a numeral system, the functions Successor, Predecessor, and Zero Test, then all total recursive functions can be represented. In this paper we prove the independancy of these three particular functions. We give at the end a conjecture on the number of unary functions necessary to represent all total recursive functions.

In any act of worship, the believer sees a symbolic hint of a supersensitive world. Thus, the sensualistic aesthetics of antiquity gives place to the spiritualistic aesthetics of today. Although not only the spiritualism of the cult attracts believers. They also like the richness of the ritual, which shines with gold, silver, precious stones and colorful marble. And when a person listens to church singing, he sees the glow of endless lights reflected by gold on mosaics, when he looks closely (...) at the images of saints and gospel scenes, then one feels on top of bliss. (shrink)

Experts often communicate probabilities verbally (e.g., unlikely) rather than numerically (e.g., 25% chance). Although criticism has focused on the vagueness of verbal probabilities, less attention has been given to the potential unintended, biasing effects of verbal probabilities in communicating probabilities to decision-makers. In four experiments (Ns = 201, 439, 435, 696), we showed that probability format (i.e., verbal vs. numeric) influenced participants’ inferences and decisions following a hypothetical financial expert’s forecast. We observed a format effect for low (...) probability forecasts: verbal probabilities were interpreted more pessimistically than numeric equivalents. We attributed the difference to directionality, a linguistic property that biases attention toward an outcome. In the high-probability conditions, the directionality of verbal and numeric probabilities aligned (both were positive), whereas they differed in the low-probability conditions (verbal probabilities were more negative). Participants inferred recommendations congruent with the communicated direction and these inferences mediated the effect of probability format on decisions. (shrink)

Journal Name: Semiotica Issue: Ahead of print.

We study extensions of Presburger arithmetic with a unary predicate R and we show that under certain conditions on R, R is sparse and the theory of $\langle\mathbb{N}, +, R\rangle$ is decidable. We axiomatize this theory and we show that in a reasonable language, it admits quantifier elimination. We obtain similar results for the structure $\langle\mathbb{Q},+, R\rangle$.

In this study, we test whether children whose culture lacks CWs and counting practices use a spatial strategy to support enumeration tasks. Children from two indigenous communities in Australia whose native and only language (Warlpiri or Anindilyakwa) lacked CWs and were tested on classical number development tasks, and the results were compared with those of children reared in an English-speaking environment. We found that Warlpiri- and Anindilyakwa-speaking children performed equivalently to their English-speaking counterparts. However, in tasks in which they were (...) required to match the number of objects in a display, they were more likely to reconstruct part or all of the spatial arrangement of the target than were their English-speaking counterparts. Following John Locke's interpretation of users of similar American languages and in contrast with later Whorfian interpretations, we suggest that CWs may be strategically useful, but that in their absence, other task-specific strategies will be deployed. (shrink)

In philosophical studies regarding mathematical models of dynamical systems, instability due to sensitive dependence on initial conditions, on the one side, and instability due to sensitive dependence on model structure, on the other, have by now been extensively discussed. Yet there is a third kind of instability, which by contrast has thus far been rather overlooked, that is also a challenge for model predictions about dynamical systems. This is the numerical instability due to the employment of numerical methods (...) involving a discretization process, where discretization is required to solve the differential equations of dynamical systems on a computer. We argue that the criteria for numerical stability, as usually provided by numerical analysis textbooks, are insufficient, and, after mentioning the promising development of backward analysis, we discuss to what extent, in practice, numerical instability can be controlled or avoided. (shrink)

The ‘bat and ball’ is one of the problems most frequently employed as a testbed for research on the dual-system hypothesis of reasoning. Frederick (J Econ Perspect 19:25–42, 2005) is the first to envisage the possibility that different numerical arrangements of the ‘bat and ball’ problem could lead to different dynamics of activation of the dual-system, and so to different performances of subjects in task accomplishment. This possibility has triggered a strand of research oriented to accomplish ‘sensitivity analyses’ of the (...) ‘bat and ball’ problem. The scope of this paper is to test experimentally the specific hypothesis that numerals are responsible for the selective activation of the two systems of reasoning in this task. In particular, we argue that their role goes beyond and cannot be reduced to that of numbers conceived as magnitudes. To test our hypothesis, we devise an experimental setting in which the role of numbers (as magnitudes) is rendered irrelevant. We find experimental results consistent with our hypothesis. We further provide a link between the literature on mathematical problem-solving and that on mathematical cognition research, in particular that branch labeled embodied mathematical cognition. (shrink)

Two kinds of probability expressions, verbal and numerical, have been used to characterize the uncertainty that people face. However, the question of whether verbal and numerical probabilities are cognitively processed in a similar manner remains unresolved. From a levels-of-processing perspective, verbal and numerical probabilities may be processed differently during early sensory processing but similarly in later semantic-associated operations. This event-related potential (ERP) study investigated the neural processing of verbal and numerical probabilities in risky choices. The results (...) showed that verbal probability and numerical probability elicited different N1 amplitudes but that verbal and numerical probabilities elicited similar N2 and P3 waveforms in response to different levels of probability (high to low). These results were consistent with a level-of-processing framework and suggest some internal consistency between the cognitive processing of verbal and numerical probabilities in risky choices. Our findings shed light on possible mechanism underlying probability expression and may provide the neural evidence to support the translation of verbal to numerical probabilities (or vice versa). (shrink)

A numerical classification was performed on 69 elements with 54 chemicaland physicochemical properties. The elements fell into clusters in closeaccord with the electron shell s-, p- andd-blocks. The f-block elements were not included forlack of sufficiently complete data. The successive periods ofs- and p-block elements appeared in an ovalconfiguration, with d-block elements lying to one side. Morethan three axes were required to give good representation of thevariation, although the interpretation of the higher axes is difficult.Only 15 properties were scorable for (...) the noble gases, but despite thepaucity of properties reflecting chemical reactivity, analysis of the 69elements on these properties still showed the major features seen fromthe full set. (shrink)

Many researchers, including Clarke and Beck, describe the human numerical system as unitary. We offer an alternative view – the coexistence of several systems; namely, multiple systems existing in parallel, ready to be activated depending on the task/need. Based on this alternative view, we present an account for the representation of rational numbers.

We human beings may not be the most admirable species on the planet, or the most likely to survive for another millennium, but we are without any doubt at all the most intelligent. We are also the only species with language. What is the relation between these two obvious facts?

Knowledge reduction of information systems is one of the most important parts of rough set theory in real-world applications. Based on the connections between the rough set theory and the theory of topology, a kind of topological reduction of incomplete information systems is discussed. In this study, the topological reduction of incomplete information systems is characterized by belief and plausibility functions from evidence theory. First, we present that a topological space induced by a pair of approximation operators (...) in an incomplete information system is pseudo-discrete, which deduces a partition. Then, the topological reduction is characterized by the belief and plausibility function values of the sets in the partition. A topological reduction algorithm for computing the topological reducts in incomplete information systems is also proposed based on evidence theory, and its efficiency is examined by an example. Moreover, relationships among the concepts of topological reduct, classical reduct, belief reduct, and plausibility reduct of an incomplete information system are presented. (shrink)

This contribution analyzes present applications of temporal logics that are meaningfully related to Hans Reichenbach's groundbreaking work on verbal tenses and their underlying logical structure. Specifically, some formal methods in theoretical computer science will be discussed that enable one to advance empirical hypotheses and to make predictions about the temporal evolution of computing system’s behaviors.

Menary OpenMIND, MIND Group, Frankfurt am Main, 2015) has argued that the development of our capacities for mathematical cognition can be explained in terms of enculturation. Our ancient systems for perceptually estimating numerical quantities are augmented and transformed by interacting with a culturally-enriched environment that provides scaffolds for the acquisition of cognitive practices, leading to the development of a discrete number system for representing number precisely. Numerals and the practices associated with numeral systems play a significant role in (...) this process. However, the details of the relationship between the ancient number system and the discrete number system remain unclear. This lack of clarity is exacerbated by the problem of symbolic estrangement and the fact that unique features of how numeral systems represent require our ancient number system to play a dual role. These issues highlight that Dehaene’s From monkey brain to human brain, MIT Press, Cambridge, pp 133–157, 2005) neuronal recycling hypothesis may be insufficient to explain the neural mechanisms underlying the process of enculturation. In order to explain mathematical enculturation, and enculturation more generally, it may be necessary to adopt Anderson’s :245–266, 2010; After phrenology: neural reuse and the interactive brain, MIT Press, Cambridge, 2014) theory of neural reuse. (shrink)

In the verbal domain, there is only very weak evidence favoring the view that working memory is an active state of long-term memory. We strengthen existing evidence by reviewing two recent fMRI studies of verbal working memory, which clearly demonstrate activation in the superior temporal lobe, a region known to be involved in processing speech during comprehension tasks.

Past research suggests that people process verbal quantifiers differently from numerical ones, but this suggestion has yet to be formally tested. Drawing from traditional correlates of dual-process...