This paper develops a nativist approach to mathematical knowledge as an alternative account within the philosophy of mathematics. Rather than beginning with the ontological status of mathematical objects, it argues that any satisfactory account of mathematical knowledge should address three closely related questions: how to understand and justify truth-talk in mathematical practice, how mathematical knowledge is acquired, and why some mathematical knowledge has indispensable applications in the sciences. The paper first examines representative nominalist and Platonist responses to these questions. Nominalist accounts, while avoiding the specific epistemic difficulty associated with abstract objects, face challenges in explaining the non-arbitrariness of mathematical practice and the indispensability of mathematics in certain scientific theories. Platonist accounts, while offering a straightforward semantics of mathematical truth, still face the familiar epistemic problem of explaining how we acquire knowledge of abstract mathematical entities and require a fuller account of the applicability of mathematics to the empirical sciences. Against this background, the paper proposes two nativist theses: that some mathematical knowledge is innate, and that mathematics may function more fundamentally as a cognitive pattern than as a cognitive capacity. On this basis, mathematical knowledge is construed as cognitively dependent, while mathematics itself is understood as underlying our representations of the world. The paper concludes that the nativist account provides a framework for reconsidering the legitimacy of truth-talk in mathematical practice, the acquisition of mathematical knowledge, and the applicability and indispensability of some mathematics to sciences.
This article advances a categorial challenge to physicalistic versions of naturalized epistemology as an account of logico-mathematical knowledge and practice. It argues that, qua physically constituted, any putative rule-governed system is logico-mathematically indeterminate: physical facts are systematically insuffic...
Antonio Ramos-Díaz· Principia: An International...· 0 citations
A general axiomatic definition of a cognitive system, along with its corresponding epistemic information measure, and it is demonstrated that Shannon’s source information, artificial neural networks, and formal logical theories are all concrete realizations of this unified framework.
The main claim is that justified ascription of epistemic concepts to AI models is determined not by the system’s intrinsic properties, but by its ability to function as a normative epistemic agent as well as its capability to interact properly with other epistemic agents.
K. G. Frolov· Epistemology & Philosoph...· 0 citations
Some of the logical empiricists defended the claim that the basic mathematical axioms are definitions and that the theorems of mathematics are consequently analytic. This position has subsequently fallen out of favor. Critics have alleged that the position was refuted by Gödel’s Incompleteness Theorems, that it is ob...
In this paper we will present to build such a formal framework for combined nonclassical reasoning as it has arisen with the attempt to bypass classical logic and traditional foundation of mathematics. Classical (binary) logic, determinism and rigid formalism are no longer adequate to deal with complex, uncertain or co...
Ali Kamel Attia· Journal of the College of B...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.