Phenomenology of Mathematics

Analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are our internally imagined objects, some of which, at least approximately, we can realize or represent; (ii) mathematical truths are not (...) truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

We propose a way to explain the diversification of branches of mathematics, distinguishing the different approaches by which mathematical objects can be studied. In our philosophy of mathematics, there is a base object, which is the abstract multiplicity that comes from our empirical experience. However, due to our human condition, the analysis of such multiplicity is covered by other empirical cognitive attitudes (approaches), diversifying the ways in which it can be conceived, and consequently giving rise to different mathematical disciplines. This (...) diversity of approaches is founded on the manifold categories that we find in physical reality. We also propose, grounded on this idea, the use of Aristotelian categories as a first model for this division, generating from it a classification of mathematical branches. Finally we make a history review to show that there is consistency between our classification, and the historical appearance of the different branches of mathematics. (shrink)

Triadic (systemical) logic can provide an interpretive paradigm for understanding how quantum indeterminacy is a consequence of the formal nature of light in relativity theory. This interpretive paradigm is coherent and constitutionally open to ethical and theological interests. -/- In this statement: -/- (1) Triadic logic refers to a formal pattern that describes systemic (collaborative) processes involving signs that mediate between interiority (individuation) and exteriority (generalized worldview or Umwelt). It is also called systemical logic or the logic of relatives. The (...) term "triadic logic" emphasizes that this logic involves mediation of dualities through an irreducibly triadic formalism. The term "systemical logic" emphasizes that this logic applies to systems in contrast to traditional binary logic which applies to classes. The term "logic of relatives" emphasizes that this logic is background independent (in the sense discussed by Smolin ). -/- (2) An interpretive paradigm refers to a way of thinking that generates an understanding through concepts, their inter-relationships and their connections with experience. -/- (3) Coherence refers to holistic integrity or continuity in the meaning of concepts that form an interpretation or understanding. -/- (4) Constitutionally open refers to an inherent dependence in principle of an interpretation or understanding on something outside of a specific discipline's discourse or domain of inquiry (epistemic system). Interpretations that are constitutionally open are incomplete in themselves and open to responsive, interdisciplinary discourse and collaborative learning. (shrink)

Philosophers such as Nietzsche, Heidegger, Derrida, Deleuze and Gendlin pronounce that difference must be understood as ontologically prior to identity. They teach that identity is a surface effect of difference, that to understand the basis of logico-mathematical idealities we must uncover their genesis in the fecundity of differentiation. In this paper, I contrast Heidegger’s analyses of the present to hand logico-mathematical object, which he discuses over the course of his career in terms of the ‘as’ structure, temporalization and enframing , (...) with the approaches of Gendlin and Deleuze, supplementing this discussion with Husserl’s investigations of mathematical idealities. Deleuze and Gendlin distinguish between the representational power a logical pattern has in itself, apart from its virtual generative source, to exactly repeat itself, and the way this self-same pattern is generated and changed by the larger situational texture within which it is embedded. In so doing, they misconstrue the empty, meaningless temporalization of logical calculation as the explicitly preserving carrying-through of already instituted implicit sense. For Heidegger, by contrast, logical inference is less a supplement to or development of implicit experience than a narrowing of its scope , a deficient mode of handiness. Experiencing something as present to hand extension modifies the relevant usefulness of ‘as’ structured comportment by stripping away what is meaningful in our relation with beings, and in the process stripping away its intelligibility. Thus, contrary to the assertions of Deleuze and Gendlin, extensive repetition does not carry through intelligible, relevant meaning, it dissolves understanding into the nihilism of empty calculation. (shrink)

Deleuze is prominent among those philosophers who pronounce that difference must be understood as ontologically prior to identity. He teaches that identity is a surface effect of difference, so to understand the basis of logico-mathematical idealities we must uncover their genesis in the fecundity of differentiation. Deleuze wants to offer a foundation of number and mathematics as a subversive, creative force, an affirmation of Nietzsche’s eternal return as the ‘roll of the dice’. But he begins too late. For Deleuze, virtual (...) intensities (Eternal Return) generate the logical , conceptual, theoretical, lawful principles for empirical domains, and then are held steady in the background, beyond the reach of the conceptual and logical patterns, which cancel them by freezing and isolating them. Applying Heidegger’s deconstruction of Nietzschean subjectivity to Deleuze’s project reveals intensities to function as subjective enframings of the species and parts that develop from them. Intensive processes posit , set in place and represent the qualities that steadily remain throughout the calculation of difference in degree. Deleuze does not appear to recognize that the iteration of extensive quantity is devoid of meaningful sense. His failure to make this distinction leads him to confuse mathematical with non-mathematical idealities and prevents him from locating the fundamental sense of extensive duration. What Husserl, and Heidegger after him, recognized is that numeration never counts anything but its own self-iteration, devoid of sense and meaning outside of the empty ‘same thing, different time’. To experience an object as meaningful beyond this ‘how much’ is to no longer attend to it as calculative, countable iteration, as persisting self-identical presence. What holds only for intensities in Deleuze’s understanding of the structure of time, that every change in degree is simultaneously a difference in kind, constitutes the irreducible, absolute essence of all duration. (shrink)

I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...) the interpretation is unsustainable regardless: (1) it is hard to determine, without appealing to propositional intentions on pain of circularity, what intention a proof-object should be understood as a fulfillment of; (2) due to a difficult fulfillment dilemma, it is unclear, at best, what the object of an intention corresponding to a proposition is. (shrink)

Students during the distance education were experiencing solitude and depression in their studies due to no social interaction which led to psychological suffering. In this article, college students' attitudes toward statistics learning were investigated, and its predictors by statistical modeling. Secondary data was extracted from a current study from the literature, summarized using descriptive statistics, and presented in tabular form. As for modeling the predictors of students' attitudes in learning statistics, it was done through multiple linear regression via the ordinary (...) least square (OLS) approach. The finding of statistical calculations revealed that, on average, students possess a "neutral attitude" towards learning statistics online. This suggests that students do not show active involvement and positive engagement in the classroom environment due to some challenges they have encountered during online learning. The regression model I revealed that students who are using mobile phones, fewer study hours in statistics, and intimate relationships with teachers are the significant factors of positive attitude in learning. On the other hand, regression model II showed that low internet signal and low mental health are significant determinants of positive behavior in learning statistics online. Conclusively, students who have suitable gadgets for online learning and with good vibes with their teachers have good performance in class even if they study less, however, effective. Moreover, students with less distraction on social media and with mental stress, tend to deviate their attention in studying their lessons in statistics which positively increases their learning attitude and well-being. (shrink)

A principle, according to which any scientific theory can be mathematized, is investigated. That theory is presupposed to be a consistent text, which can be exhaustedly represented by a certain mathematical structure constructively. In thus used, the term “theory” includes all hypotheses as yet unconfirmed as already rejected. The investigation of the sketch of a possible proof of the principle demonstrates that it should be accepted rather a metamathematical axiom about the relation of mathematics and reality. Its investigation needs philosophical (...) means. Husserl’s phenomenology is what is used, and then the conception of “bracketing reality” is modelled to generalize Peano arithmetic in its relation to set theory in the foundation of mathematics. The obtained model is equivalent to the generalization of Peano arithmetic by means of replacing the axiom of induction with that of transfinite induction. A comparison to Mach’s doctrine is used to be revealed the fundamental and philosophical reductionism of Husserl’s phenomenology leading to a kind of Pythagoreanism in the final analysis. Accepting or rejecting the principle, two kinds of mathematics appear differing from each other by its relation to reality. Accepting the principle, mathematics has to include reality within itself in a kind of Pythagoreanism. These two kinds are called in paper correspondingly Hilbert mathematics and Gödel mathematics. The sketch of the proof of the principle demonstrates that the generalization of Peano arithmetic as above can be interpreted as a model of Hilbert mathematics into Gödel mathematics therefore showing that the former is not less consistent than the latter, and the principle is an independent axiom. An information interpretation of Hilbert mathematics is involved. It is a kind of ontology of information. Thus the problem which of the two mathematics is more relevant to our being is discussed. An information interpretation of the Schrödinger equation is involved to illustrate the above problem. (shrink)

ABSTRACT This paper explores the role of aesthetic judgements in mathematics by focussing on the relationship between the epistemic and aesthetic criteria employed in such judgements, and on the nature of the psychological experiences underpinning them. I claim that aesthetic judgements in mathematics are plausibly understood as expressions of what I will call ‘aesthetic-epistemic feelings’ that serve a genuine cognitive and epistemic function. I will then propose a naturalistic account of these feelings in terms of sub-personal processes of representing and (...) assessing the relation between cognitive processes and certain properties of the stimuli at which they are directed. (shrink)

This study aims to find out how high the level and trends of student misconceptions experienced by high school students in Indonesia. The subject of research that is a class XI student of Natural Science (IPA) SMA Negeri 1 Anjatan with the subject matter limit function. Forms of research used in this study is a qualitative research, with a strategy that is descriptive qualitative research. The data analysis focused on the results of the students' answers on the test essay subject (...) matter limit function with the number of students by 16 (sixteen). Data collection techniques used are shaped test methods essay, interview method to students who have misconceptions, and methods of documentation of the test answers. Examination of the validity of the data using a triangulation technique that compares the data written test results with data from interviews. The results of this study can be described as follows; (1) The level of misconceptions experienced by students belonging to the category of low, amounting to 12.18%. However, students who do not understand the concept quite high at 40.38%, and the others are students who understand the concept that is equal to 47.44%. (2) The misconception most experienced students lie in subconcepts explain the meaning of limit function at one point through the calculation of values around that point, that is equal to 20.51%. The tendency misconceptions experienced by students is located on errors and operating concepts that misconceptions students that there should be no limit in the completion of the writing of the emblem and misconceptions about the limit students to conclude if the limit value of 0 is no limit to the value of the function. (shrink)

The current literature suggests that the use of Husserl’s and Heidegger’s approaches to phenomenology is still practiced. However, a clear gap exists on how these approaches are viewed in the context of constructivism, particularly with non-traditional female students’ study of mathematics. The dissertation attempts to clarify the constructivist role of phenomenology within a transcendental framework from the first-hand meanings associated with the expression of the relevancy as expressed by interviews of six nontraditional female students who have studied undergraduate mathematics. Comparisons (...) also illustrate how the views associated with Husserl’s stance on phenomenology inadvertently relate to the stances of the participants interviewed as part of the study. The research questions focus on the emotional association with studying mathematics and how pre-conceived opinions regarding the study of mathematics may have influenced the essences of the experiences of the participants who have studied collegiate-level mathematics. The essences of the experiences of the participants are analyzed using bracketing and epoché to ensure personal biases of the researcher do not affect the interpretation of the expressed essences of the participants. Data collection is accomplished through two series of qualitative interviews seeking the participants’ firsthand impressions of how they view the way instructional design is oriented with regard to mathematics. Additional questions seek to illuminate the participants’ point of view regarding their emotional association with mathematics as well as their opinions and theoretical perspectives on the study of mathematics. (shrink)

Games of chance are developed in their physical consumer-ready form on the basis of mathematical models, which stand as the premises of their existence and represent their physical processes. There is a prevalence of statistical and probabilistic models in the interest of all parties involved in the study of gambling – researchers, game producers and operators, and players – while functional models are of interest more to math-inclined players than problem-gambling researchers. In this paper I present a structural analysis of (...) the knowledge attached to mathematical models of games of chance and the act of modeling, arguing that such knowledge holds potential in the prevention and cognitive treatment of excessive gambling, and I propose further research in this direction. (shrink)

The article addresses the necessity of increasing the role of mathematics in the psychological intervention in problem gambling, including cognitive therapies. It also calls for interdisciplinary research with the direct contribution of mathematics. The current contributions and limitations of the role of mathematics are analysed with an eye toward the professional profiles of the researchers. An enhanced collaboration between these two disciplines is suggested and predicted.

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)

We discuss central aspects of history of the concept of an affine differentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

A new form of skepticism is described, which holds that objectivity and understanding are incompossible ideals of modern science. This is attributed to Weyl, hence its name: Weylean skepticism. Two general defeat strategies are then proposed, one of which is rejected.

At the beginning of the present century, a series of paradoxes were discovered within mathematics which suggested a fundamental unclarity in traditional mathemati­cal methods. These methods rested on the assumption of a realm of mathematical idealities existing independently of our thinking activity, and in order to arrive at a firmly grounded mathematics different attempts were made to formulate a conception of mathematical objects as purely human constructions. It was, however, realised that such formulations necessarily result in a mathematics which lacks (...) the richness and power of the old ‘platonistic’ methods, and the latter are still defended, in various modified forms, as embodying truths about self-existent mathematical entities. Thus there is an idealism-realism dispute in the philosophy of mathematics in some respects parallel to the controversy over the existence of the experiential world to the settle­ment of which lngarden devoted his life. The present paper is an attempt to apply Ingarden’s methods to the sphere of mathematical existence. This exercise will reveal new modes of being applicable to non-real objects, and we shall put forward arguments to suggest that these modes of being have an importance outside mathematics, especially in the areas of value theory and the ontology of art. (shrink)

on ontologs, or words that are the thing they name; a volitional solution to Zeno's Line and Arrow paradoxes; on Sokal as unintentional non-parody; and more.