Classical interpretations of Goedels formal reasoning, and of his conclusions, implicitly imply that mathematical languages are essentially incomplete, in the sense that the truth of some arithmetical propositions of any formal mathematical language, under any interpretation, is, both, non-algorithmic, and essentially unverifiable. However, a language of general, scientific, discourse, which intends to mathematically express, and unambiguously communicate, intuitive concepts that correspond to scientific investigations, cannot allow its mathematical propositions to be interpreted ambiguously. Such a language must, therefore, define mathematical truth (...) verifiably. We consider a constructive interpretation of classical, Tarskian, truth, and of Goedel's reasoning, under which any formal system of Peano Arithmetic---classically accepted as the foundation of all our mathematical Languages---is verifiably complete in the above sense. We show how some paradoxical concepts of Quantum mechanics can, then, be expressed, and interpreted, naturally under a constructive definition of mathematical truth. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...) The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

What is so special and mysterious about the Continuum, this ancient, always topical, and alongside the concept of integers, most intuitively transparent and omnipresent conceptual and formal medium for mathematical constructions and the battle field of mathematical inquiries ? And why it resists the century long siege by best mathematical minds of all times committed to penetrate once and for all its set-theoretical enigma ? -/- The double-edged purpose of the present study is to save from the transfinite deadlock of (...) higher set theory the jewel of mathematical Continuum -- this genuine, even if mostly forgotten today raison d'etre of all set-theoretical enterprises to Infinity and beyond, from Georg Cantor to W. Hugh Woodin to Buzz Lightyear, by simultaneously exhibiting the limits and pitfalls of all old and new reductionist foundational approaches to mathematical truth: be it Cantor's or post-Cantorian Idealism, Brouwer's or post-Brouwerian Constructivism, Hilbert's or post-Hilbertian Formalism, Goedel's or post-Goedelian Platonism. -/- In the spirit of Zeno's paradoxes, but with the enormous historical advantage of hindsight, we claim that Cantor's set-theoretical methodology, powerful and reach in proof-theoretic and similar applications as it might be, is inherently limited by its epistemological framework of transfinite local causality, and neither can be held accountable for the properties of the Continuum already acquired through geometrical, analytical, and arithmetical studies, nor can it be used for an adequate, conceptually sensible, operationally workable, and axiomatically sustainable re-creation of the Continuum. -/- From a strictly mathematical point of view, this intrinsic limitation of the constative and explicative power of higher set theory finds its explanation in the identified in this study ultimate phenomenological obstacle to Cantor's transfinite construction, similar to topological obstacles in homotopy theory and theoretical physics: the entanglement capacity of the mathematical Continuum. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt (...) what may be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Bertrand Russell was one of the best-known proponents of logicism: the theory that mathematics reduces to, or is an extension of, logic. Russell argued for this thesis in his 1903 The Principles of Mathematics and attempted to demonstrate it formally in Principia Mathematica (PM 1910–1913; with A. N. Whitehead). Russell later described his work as a further “regressive” step in understanding the foundations of mathematics made possible by the late 19th century “arithmetization” of mathematics and Frege’s (...) logical definitions of arithmetical concepts. The logical system of PM sought to improve on earlier attempts by solving the contradictions found in, e.g., Frege’s system, by employing a theory of types. In this article, I also consider and critically evaluate the most common objections to Russell’s logicism, including the claim that it is undermined by Gödel’s incompleteness results, and Putnam's charge of “if-thenism”. I suggest that if we are willing to accept a slightly revisionist account of what counts as a mathematical truth, these criticisms do not obviously refute Russell’s claim to have established that mathematical truths generally are a species of logical truth. (shrink)

The foundations of mathematics and physics no longer start with fundamental entities and their properties like spatial extension, points, lines or the billiard ball like particles of Newtonian physics. Mathematics has abolished these from its foundations in set theory by making all assumptions explicit and structural. Particle physics has become completely mathematical, connecting to physical reality only through experimental technique. Applying the principles guiding the foundations of mathematics and physics to philosophical analysis underscores that only conscious experience (...) has an intrinsic nature. This leads to a version of realistic monism in which the essence and totality of the existence of physical structure is immediate experience in some form. Identifying physical structure with conscious experience allows the application of mathematics to the evolution of consciousness. Some of the implications from Goedel’s Incompleteness Theorem are connected to creativity and ethics. (shrink)

In this paper we analyze methodological and philosophical implications of algorithmic aspects of unconventional computation. At first, we describe how the classical algorithmic universe developed and analyze why it became closed in the conventional approach to computation. Then we explain how new models of algorithms turned the classical closed algorithmic universe into the open world of algorithmic constellations, allowing higher flexibility and expressive power, supporting constructivism and creativity in mathematical modeling. As Goedels undecidability theorems demonstrate, the closed algorithmic universe restricts (...) essential forms of mathematical cognition. In contrast, the open algorithmic universe, and even more the open world of algorithmic constellations, remove such restrictions and enable new, richer understanding of computation. (shrink)

The enigma of the Emergence of Natural Languages, coupled or not with the closely related problem of their Evolution is perceived today as one of the most important scientific problems. The purpose of the present study is actually to outline such a solution to our problem which is epistemologically consonant with the Big Bang solution of the problem of the Emergence of the Universe}. Such an outline, however, becomes articulable, understandable, and workable only in a drastically extended epistemic and scientific (...) oecumene, where known and habitual approaches to the problem, both theoretical and experimental, become distant, isolated, even if to some degree still hospitable conceptual and methodological islands. The guiding light of our inquiry will be Eugene Paul Wigner's metaphor of ``the unreasonable effectiveness of mathematics in natural sciences'', i.e., the steadily evolving before our eyes, since at least XVIIth century, ``the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics''. Kurt Goedel's incompleteness and undecidability theory will be our guardian discerner against logical fallacies of otherwise apparently plausible explanations. John Bell's ``unspeakableness'' and the commonplace counterintuitive character of quantum phenomena will be our encouragers. And the radical novelty of the introduced here and adapted to our purposes Big Bang epistemological paradigm will be an appropriate, even if probably shocking response to our equally shocking discovery in the oldest among well preserved linguistic fossils of perfect mathematical structures outdoing the best artifactual Assemblers. (shrink)

The Goedelian approach is discussed as a prime example of a science towards the origins. While mere self­referential objectification locks in to its own by­products, self­releasing objectification informs the formation of objects at hand and their different levels of interconnection. Guided by the spirit of Goedel's work a self­reflective science can open the road where old tenets see only blocked paths. “This is, as it were, an analysis of the analysis itself, but if that is done it forms the fundamental (...) of human science, as far as this kind of things is concerned.” G. Leibniz, ('Methodus Nova ...', 1673) . (shrink)

Nền kinh tế nước ta đang chuyển biến mạnh mẽ từ nền kinh tế bao cấp sang kinh tế thị trường, nhất là từ khi nước ta gia nhập WTO. Đảng và chính phủ đã đề ra rất nhiều các chính sách để cải tiến các thể chế quản lý nền kinh tế và tài chính. Thị trường chứng khoán Việt Nam đã ra đời và đang đóng một vai trò quan trọng trong việc huy động vốn phục vụ cho (...) việc phát triển nền kinh tế quốc dân. Việc phân tích tác động của các chính sách đến nền kinh tế vĩ mô và nền tài chính, những đối sách của chính phủ ta và chính phủ các nước đối với cuộc khủng khoảng tài chính toàn cầu là các vấn đề rất thời sự đang thu hút sự chú ý của nhiều nhà kinh tế và toán học. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what (...) the world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

The Polish philosophy of mathematics in the 19th century is not a well-researched topic. For this period, only five philosophers are usually mentioned, namely Jan Śniadecki, Józef Maria Hoene-Wroński, Henryk Struve, Samuel Dickstein, and Edward Stamm. This limited and incomplete perspective does not allow us to develop a well-balanced picture of the Polish philosophy of mathematics and gauge its influence on 19th- and 20th-century Polish philosophy in general. To somewhat complete our picture of the history of the Polish (...) philosophy of mathematics in those times, we here present the profiles of some lesser-known Polish Romantic philosophers of the 19th century, namely Karol Libelt, Bronisław Trentowski, and Józef Kremer. We discuss their contributions to the philosophy of mathematics and their metaphysical perspectives, and we also show how their metaphysical ideas have found some continuity in the studies of some Catholic philosophers. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content (...) to key intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

Mathematical thinking skills are very important in mathematics, both to learn math or as learning goals. Thinking skills can be seen from the description given answers in solving mathematical problems faced. Mathematical thinking skills can be seen from the types, levels, and process. Proportionally questions given to students at universities in Indonesia (semester I, III, V, and VII). These questions are a matter of description that belong to the higher-level thinking. Students choose 5 of 8 given problem. Qualitatively, the (...) answers were analyzed by descriptive to see the tendency to think mathematically used in completing the test. The results show that students tend to choose the issues relating to the calculation. They are more use cases, examples and not an example, to evaluate the conjecture and prove to belong to the numeric argumentation. Used mathematical thinking students are very personal (intelligence, interest, and experience), and the situation (problems encountered). Thus, the level of half of the students are not guaranteed and shows the level of mathematical thinking. (shrink)

The study ascertained mathematical problem-solving skills and self-efficacy as correlates of Pre-service NCE Mathematics Teachers’ Performance in South-East, Nigeria. Seven research questions guided the study while seven hypotheses were tested at 0.05 level of significance. Correlation research design was used for the study. The population of the study was 197 pre-service NCE Mathematics teachers in South-East, Nigeria. All the population of 197 was studied as sample because, it is small and manageable. Mathematics Problem-Solving Skill Test (MPSST) and (...) Pre-Service Teachers’ Self-Efficacy Questionnaire (PSTSEQ) were used as instruments for data collection. Both instruments were validated by three experts in science Education while reliabilities of MPSST and PSTSEQ were established using Cronbach Alpha method and coefficient values of 0.82 and 0.80 respectively were obtained which were considered high enough to confirm the instruments as reliable. Data were collected and analyzed using Pearson product moment correlation coefficient. The findings revealed that a high positive and significant relationship existed between mathematical problem-solving skills scores and academic performance scores and between self-efficacy scores and academic performance scores of pre-service NCE mathematics teachers. It was recommended among others that Mathematics lecturers should make conscious effort towards improving the mathematical problem-solving skills and self-efficacy of the pre-service NCE mathematics teachers through modeling, conditioning, and behaviour modification for improved academic performance in Mathematics. (shrink)

The triumph of scientific materialism in the Seventeenth Century not only bifurcated nature into matter and mind and primary and secondary qualities, as Alfred North Whitehead pointed out in Science and the Modern World. It divided science and the humanities. The core of science is the effort to comprehend the cosmos through mathematics. The core of the humanities is the effort to comprehend history and human nature through narratives. The life sciences can be seen as the zone in which (...) the conflict between these two very different ways of comprehending the world collide. Evolutionary theory as defended by Schelling developed out of natural history, but efforts have been made to formulate neo-Darwinism through mathematical models. However, it is impossible to eliminate stories from biology. As Stuart Kauffman argued, mathematical models attempt to pre-state all possibilities, but in evolution there can be adjacent possibles that can be embraced by organisms but cannot be pre-stated. To account for such actions it is necessary to tell stories. Mathematics provides analytic precision allowing long chains of deductions, but tends to deny temporal becoming and cannot do justice to the openness of the future, while narratives focus on processes and events, but lack exactitude that would provide precise deductions and predictions. In advancing mathematics adequate to life, Robert Rosen argued that living beings as anticipatory systems must have models of themselves, and strove to develop a form of mathematics able to model life itself. It has been convincingly argued that narratives are central to human self-creation and they are lived out before being explicitly told. Their models of themselves are first and foremost, stories or narratives. If this is the case, might not living beings as biological entities be characterized by proto-stories or narratives in their models of themselves? Biosemiotics, largely inspired by C.S. Peirce, provides a bridge between mathematical and narrative comprehension, conceiving them as different forms of semiosis. The study of life through biosemiotics could reveal how mathematics and narratives can be understood in relation to each other. This could have implications for how we understand science and the humanities and their relationship to each other. In this paper I will examine work in theoretical biology that might advance these efforts. (shrink)

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, (...) at least according to some speculative research programs. (shrink)

We know very little about mathematical skepticism in modem times. Imre Lakatos once remarked that “in discussing modem efforts to establish foundations for mathematical knowledge one tends to forget that these are but a chapter in the great effort to overcome skepticism by establishing foundations for knowledge in general." And in a sense he was clearly right: modem thought — with its new discoveries in mathematical sciences, the mathematization of physics, the spreading of Pyrrhonist doctrines, the centrality of epistemological foundationalism (...) and the diffusion of the geometrical method in philosophy — was the most natural arena in which skepticism and mathematics could confront each other. The problem remains, however, that no investigation of the whole topic has yet been attempted. Thus, as far as we know, mathematical certainties should have clashed with skeptical doubts, but whether and to what extent there was indeed a historical debate on mathematical skepticism in modern thought remains to be ascertained. (shrink)

The city of Kruja dates back to its existence in the 5th and 6th centuries. In the inner city are preserved great historical, cultural, and architectural values that are inherited from generation to generation. In the city interact and coexist three different typologies of dwellings: historic buildings that belong to the XIII, XIV, XV, XIII, XIX centuries (built using the foundations of previous buildings); socialist buildings dating back to the Second World War until 1990; and modern buildings which were built (...) from 1990 onwards. According to the questionnaires, the creation of mathematical models applied to each category will result in contradictory attitudes but also fairy ones based on different percentages. There are underlined 5 quality of life indicators(questions) from a total of 30 questions of the questionnaire, which are involved in mathematical regression and are statistically significant with a significance level p<5% (with a reliability of 95%), which interact for all three categories of buildings. The quality of life indicators: dwelling area, heating mode during winter, level of dwelling improvement, time spent in the dwelling, and monthly electricity payments, are the main actors who will be compared in order to draw conclusions. According to the statistical calculations trend, it is noted that the socialist buildings category does not directly participate in the debate between historic and modern buildings by means of the quality of life indicators (questions). (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

There is a noticeable gap between results of cognitive neuroscientific research into basic mathematical abilities and philosophical and empirical investigations of mathematics as a distinct intellectual activity. The paper explores the relevance of a Wittgensteinian framework for dealing with this discrepancy.

View more Abstract If logical truth is necessitated by sheer syntax, mathematics is categorially unlike logic even if all mathematics derives from definitions and logical principles. This contrast gets obscured by the plausibility of the Synonym Substitution Principle implicit in conceptions of analyticity: synonym substitution cannot alter sentence sense. The Principle obviously fails with intercepting: nonuniform term substitution in logical sentences. ‘Televisions are televisions’ and ‘TVs are televisions’ neither sound alike nor are used interchangeably. Interception synonymy gets assumed (...) because logical sentences and their synomic interceptions have identical factual content, which seems to exhaust semantic content. However, intercepting alters syntax by eliminating term recurrence, the sole strictly syntactic means of ensuring necessary term coextension, and thereby syntactically securing necessary truth. Interceptional necessity is lexical, a notational artifact. The denial of interception nonsynonymy and the disregard of term recurrence in logic link with many misconceptions about propositions, logical form, conventions, and metalanguages. Mathematics is distinct from logic: its truth is not syntactic; it is transmitted by synonym substitution; term recurrence has no essential role. The ‘=’ of mathematics is an objectual relation between numbers; the ‘=’ of logic marks a syntactic relation of coreferring terms. -/- . (shrink)

Mathematics has always been a core part of western education, from the medieval quadrivium to the large amount of arithmetic and algebra still compulsory in high schools. It is an essential part. Its commitment to exactitude and to rigid demonstration balances humanist subjects devoted to appreciation and rhetoric as well as giving the lie to postmodernist insinuations that all “truths” are subject to political negotiation. In recent decades, the character of mathematics has changed – or rather broadened: it (...) has become the enabling science behind the complexity of contemporary knowledge, from gene interpretation to bank risk. Mathematical understanding is all the more necessary for future jobs, as well as remaining, as ever, a prophylactic against the more corrosive philosophical views emanating from the humanities. (shrink)

Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, what counts as a mathematical object, and how (...) we can have knowledge about an unchanging object. (shrink)

The study determined the influence of innate mathematical characteristics on the number sense competencies of junior high school students in a Philippine public school. The descriptive-correlational research design was used to accomplish the study involving a nonrandom sample of sixty 7th-grade students attending synchronous math sessions. Data obtained from the math-specific Learning Style and Self-Efficacy questionnaires and the modified Number Sense Test (NST) were analyzed and interpreted using descriptive statistics, Pearson’s Chi-Square, and Simple Linear Regression analysis. The research instruments and (...) statistics were all validated and tested for reliability. The analysis revealed that the students are visual learners, had no or slight self-efficacy, and their number sense competency level is poor. They encountered difficulty in all the components and domains of the NST. Moreover, the students’ mathematical self-efficacy is significantly related and may influence their number sense competency level. Building upon the learners’ self-efficacy to further their understanding and skills in number sense is necessary. (shrink)

An inquiry on the training needs in Mathematics was conducted to Laura Vicuña Center - Palawan (LVC-P) learners. Specifically, this aimed to determine their level of performance in numbers, measurement, geometry, algebra, and statistics, identify the difficulties they encountered in solving word problems and enumerate topics where they needed coaching. -/- To identify specific training needs, the study employed a descriptive research design where 36 participants were sampled purposively. The data were gathered through a problem set test and focus (...) group discussion. Findings revealed that LVC-P learners had an unsatisfactory performance in numbers, measurement, and statistics while alarmingly poor in geometry and algebra. They also faced difficulties in remembering, understanding, applying, and analyzing mathematical concepts when solving problems. Further, the learners were able to name certain topics subjected to tutorials. -/- The above facts and observations suggest that learners of LVC-P have urgent training needs in Mathematics. It is recommended that the Western Philippines University - College of Education RDE Unit continue its research, development, and extension services to LVC-P. More importantly, the results of this inquiry regarding the training needs of the learners will serve as bases for conducting an extension project and development program for LVC-P. Series of tutorial sessions is deemed necessary to address the needs and difficulties of the learners. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover (...) at most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...) by logically simpler ones. For example, disjunctions are explained by their (true) disjuncts, while generalizations are explained by their (true) instances. This would seem as plausible in the case of mathematics as elsewhere. Also, it would seem to be something that the anti-realist approaches at issue would want to preserve. It will be argued, however, that these approaches cannot do this: they lead not merely to violations of the familiar principles relating logical and explanatory structure, but even to reversals of these. That is, there are cases where generalizations explain their instances, or disjunctions their disjuncts. (shrink)

Socialist buildings in the city of Kruja (Albania) date back after the Second World War between the years 1945-1990. These buildings were built during the time of the socialist Albanian dictatorship and the totalitarian communist regime. A questionnaire with 30 questions was conducted and 14 people were interviewed. The interviewed residents belong to a certain area of the city of Kruja. Based on the results obtained, diagrams have been conceived and mathematical regression models have been developed which will serve as (...) a base for drawing conclusions. The purpose of this study is to find a relationship that specifies the role of the inhabitants, the role of the dwellings, the physical-mechanical characteristics, and their energy efficiency, in order to improve the living conditions of the inhabitants. The independent variables interact with each other assuming positive or negative values depending on the probabilistic mathematical regression, giving different results based on the calculated data. The variables that co-exist among them are living space, quality of life, time spent at home, social interaction of residents, dwelling humidity level, dwelling orientation, satisfaction level of the inhabitants, dwelling improvements demand, and monthly electricity bills. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.

We compare the medieval projects of commentaries and disputations with the modern projects of formal ontology and of mathematics.

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

In the last couple of years, a few seemingly independent debates on scientific explanation have emerged, with several key questions that take different forms in different areas. For example, the questions what makes an explanation distinctly mathematical and are there any non-causal explanations in sciences (i.e., explanations that don’t cite causes in the explanans) sometimes take a form of the question of what makes mathematical models explanatory, especially whether highly idealized models in science can be explanatory and in virtue of (...) what they are explanatory. These questions raise further issues about counterfactuals, modality, and explanatory asymmetries: i.e., do mathematical and non-causal explanations support counterfactuals, and how ought we to understand explanatory asymmetries in non-causal explanations? Even though these are very common issues in the philosophy of physics and mathematics, they can be found in different guises in the philosophy of biology where there is the statistical interpretation of the Modern Synthesis theory of evolution, according to which the post-Darwinian theory of natural selection explains evolutionary change by citing statistical properties of populations and not the causes of changes. These questions also arise in philosophy of ecology or neuroscience in regard to the nature of topological explanations. The question here is can the mathematical (or more precisely topological) properties in network models in biology, ecology, neuroscience, and computer science be explanatory of physical phenomena, or are they just different ways to represent causal structures. The aim of this special issue is to unify all these debates around several overlapping questions. These questions are: are there genuinely or distinctively mathematical and non-causal explanations?; are all distinctively mathematical explanations also non-causal; in virtue of what they are explanatory; does the instantiation, implementation, or in general, applicability of mathematical structures to a variety of phenomena and systems play any explanatory role? This special issue provides a platform for unifying the debates around several key issues and thus opens up avenues for better understanding of mathematical and non-causal explanations in general, but also, it will enable even better understanding of key issues within each of the debates. (shrink)

Every scientific theory is a simulacrum of reality, every written story a simulacrum of the canon, and every conceptualization of a subjective perspective a simulacrum of the consciousness behind it—but is there a shared essence to these simulacra? The pursuit of answering seemingly disparate fundamental questions across different disciplines may ultimately converge into a single solution: a single ontological answer underlying grand unified theory, hard problem of consciousness, and the foundation of mathematics. I provide a hypothesis, a speculative approximation, (...) supported by a comprehensive overview of scientific evidence and philosophical literature, of a unified epistemic and phenomenological model and, in doing so, propose a parsimonious solution to the hard problem of consciousness. -/- The proposition of the hypothesis bears important implications for cross-disciplinary study between linguistics, mathematics, physics, and computer science, and offers new epistemic, ontological, and ethical propositions about the nature of AI consciousness, as well as existential risk mitigation. (shrink)

I introduce an argument for Platonism based on intra-mathematical explanation: the explanation of one mathematical fact by another. The argument is important for two reasons. First, if the argument succeeds then it provides a basis for Platonism that does not proceed via standard indispensability considerations. Second, if the argument fails it can only do so for one of three reasons: either because there are no intra-mathematical explanations, or because not all explanations are backed by dependence relations, or because some form (...) of noneism-the view according to which non-existent entities possess properties and stand in relations-is true. The argument thus forces a choice between nominalism without noneism, intra-mathematical explanation and a backing conception of explanation. You can have any two, but not all three. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An (...) evaluation of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

This chapter tries to answer the following question: How should we conceive of the method of mathematics, if we take a naturalist stance? The problem arises since mathematical knowledge is regarded as the paradigm of certain knowledge, because mathematics is based on the axiomatic method. Moreover, natural science is deeply mathematized, and science is crucial for any naturalist perspective. But mathematics seems to provide a counterexample both to methodological and ontological naturalism. To face this problem, some authors (...) tried to naturalize mathematics by relying on evolutionism. But several difficulties arise when we try to do this. This chapter suggests that, in order to naturalize mathematics, it is better to take the method of mathematics to be the analytic method, rather than the axiomatic method, and thus conceive of mathematical knowledge as plausible knowledge. (shrink)

Some authors have begun to appeal directly to studies of argumentation in their analyses of mathematical practice. These include researchers from an impressively diverse range of disciplines: not only philosophy of mathematics and argumentation theory, but also psychology, education, and computer science. This introduction provides some background to their work.

Mathematical instrumentalism construes some parts of mathematics, typically the abstract ones, as an instrument for establishing statements in other parts of mathematics, typically the elementary ones. Gödel’s second incompleteness theorem seems to show that one cannot prove the consistency of all of mathematics from within elementary mathematics. It is therefore generally thought to defeat instrumentalisms that insist on a proof of the consistency of abstract mathematics from within the elementary portion. This article argues that (...) though some versions of mathematical instrumentalism are defeated by Gödel’s theorem, not all are. By considering inductive reasons in mathematics, we show that some mathematical instrumentalisms survive the theorem. (shrink)

A new trend in the philosophical literature on scientific explanation is that of starting from a case that has been somehow identified as an explanation and then proceed to bringing to light its characteristic features and to constructing an account for the type of explanation it exemplifies. A type of this approach to thinking about explanation – the piecemeal approach, as I will call it – is used, among others, by Lange (2013) and Pincock (2015) in the context of their (...) treatment of the problem of mathematical explanations of physical phenomena. This problem is of central importance in two different recent philosophical disputes: the dispute about the existence on non-causal scientific explanations and the dispute between realists and antirealists in the philosophy of mathematics. My aim in this paper is twofold. I will first argue that Lange (2013) and Pincock (2015) fail to make a significant contribution to these disputes. They fail to contribute to the dispute in the philosophy of mathematics because, in this context, their approach can be seen as question begging. They also fail to contribute to the dispute in the general philosophy of science because, as I will argue, there are important problems with the cases discussed by Lange and Pincock. I will then argue that the source of the problems with these two papers has to do with the fact that the piecemeal approach used to account for mathematical explanation is problematic. (shrink)

I discuss ways in which the linguistic form of mathimatics helps us think mathematically.

Andr ́e Weil viewed mathematics as deeply intertwined with metaphysics. In his essay ”From Metaphysics to Mathematics,” he illustrates how mathematical ideas often arise from vague, metaphysical analogies and reflections that guide researchers toward new theories. For instance, Weil discusses how analogies between different areas, such as number theory and algebraic functions, have led to significant breakthroughs. These metaphysical underpinnings provide a fertile ground for mathematical creativity, eventually transforming into rigorous mathematical structures. -/- Alexander Grothendieck’s work, particularly in (...) ”R ́ecoltes et Semailles,” resonates with Weil’s ideas by emphasizing the organic and generative aspects of mathematical creation. Grothendieck sees mathematical work as akin to cultivating a garden, where ideas grow and develop in a nurturing environment. He describes the process of mathematical discovery as a deeply personal and creative journey, involving both solitary reflection and collaborative effort. -/- Grothendieck’s concept of creating mathematical ”houses” aligns with his broader philosophical view that mathematics provides structures within which new ideas can flourish. His work in category theory and algebraic geometry exemplifies this approach, where he developed vast, interconnected frameworks that have become foundational in modern mathematics. Grothendieck’s analogy of constructing houses for others to live in highlights the mathematician’s role in creating abstract frameworks that others can inhabit and explore. This metaphor emphasizes the constructive nature of mathematics, where researchers build theoretical structures that form the basis for further exploration and application by the mathematical community. (shrink)

_ Source: _Volume 6, Issue 2-3, pp 120 - 142 This paper aims to contribute to the debate over epistemic versus non-epistemic readings of the ‘hinges’ in Wittgenstein’s _On Certainty_. I follow Marie McGinn’s and Daniele Moyal-Sharrock’s lead in developing an analogy between mathematical sentences and certainties, and using the former as a model for the latter. However, I disagree with McGinn’s and Moyal-Sharrock’s interpretations concerning Wittgenstein’s views of both relata. I argue that mathematical sentences as well as certainties are (...) true and are propositions; that some of them can be epistemically justified; that in some senses they are not prior to empirical knowledge; that they are not ineffable; and that their primary function is epistemic as much as it is semantic. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all (...) the violations of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

In light of the observations and research design presented in the previous reports, the current technical report is focused on the relationship between the quality and specificity of the content of the gambling sites and the site’s SEO and marketing policy. This relationship is dependent upon the category of the gambling site and the difference in content quality, and the degree to which the mathematical dimension of gambling is reflected in this content is explained by this dependence.

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

Mathematical models provide explanations of limited power of specific aspects of phenomena. One way of articulating their limits here, without denying their essential powers, is in terms of contrastive explanation.