Indexed Natural Numbers in Mind: A Formal Model of the Basic Mature Number Competence
Axiomathes 22 (4):433-456 (2012)
| Abstract | The paper undertakes three interdisciplinary tasks. The first one consists in constructing a formal model of the basic arithmetic competence, that is, the competence sufficient for solving simple arithmetic story-tasks which do not require any mathematical mastery knowledge about laws, definitions and theorems. The second task is to present a generalized arithmetic theory, called the arithmetic of indexed numbers (INA). All models of the development of counting abilities presuppose the common assumption that our simple, folk arithmetic encoded linguistically in the mind is based on the linear number representation. This classical conception is rejected and a competitive hypothesis is formulated according to which the basic mature representational system of cognitive arithmetic is a structure composed of many numerical axes which possess a common constituent, namely, the numeral zero. Arithmetic of indexed numbers is just a formal tool for modelling the basic mature arithmetic competence. The third task is to develop a standpoint called temporal pluralism, which is motivated by neo-Kantian philosophy of arithmetic | |||||||||
| Keywords | Cognitive arithmetic Number line Indexed natural numbers Number-axes | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
|
| Through your library | Configure |
Pierre Pica, Cathy Lemer, Véronique Izard & Stanislas Dehaene (2004). Exact and Approximate Arithmetic in an Amazonian Indigene Group. Science 306 (5695):499-503.
Wojciech Krysztofiak (2010). Multi-temporalne struktury obliczeniowe. Indeksowane liczby naturalne w świetle arytmetyki kognitywnej. Filozofia Nauki 4.
Friedrich Waismann (1951/2003). Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics. Dover Publications.
G. Aldo Antonelli (2010). Numerical Abstraction Via the Frege Quantifier. Notre Dame Journal of Formal Logic 51 (2):161-179.
E. B. Davies (2003). Empiricism in Arithmetic and Analysis. Philosophia Mathematica 11 (1):53-66.
J. Michael Dunn (1979). Relevant Robinson's Arithmetic. Studia Logica 38 (4):407 - 418.
Kai F. Wehmeier (1996). Classical and Intuitionistic Models of Arithmetic. Notre Dame Journal of Formal Logic 37 (3):452-461.
Stewart Shapiro (2000). Frege Meets Dedekind: A Neologicist Treatment of Real Analysis. Notre Dame Journal of Formal Logic 41 (4):335--364.
Monthly downloads |
Added to index2011-04-26Total downloads17 ( #71,063 of 549,069 )Recent downloads (6 months)1 ( #63,185 of 549,069 )How can I increase my downloads? |

