Phenomenology of Mathematics

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, 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. Gendlin distinguishes 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, he misconstrues 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 assertion Gendlin, extensive repetition does not carry through intelligible, relevant meaning, it dissolves understanding into the nihilism of empty calculation. While Nietzsche and Deleuze agree with Heidegger on the nihilism of countable units of extension, they retain the idea of instantaneous intrinsic presence. They put into question most aspects of traditional notions of subjectivity, objectivity and causation, except instantaneous presence. Deleuze's notion of intrinsicality as a differential “produced in a time smaller than the minimum continuous time thinkable'.” remains a notion of temporality as ‘in-timeness', as the occupying of a moment of time by a present-at-hand being. (shrink)

The purpose of this study is to assess Husserl’s debt to Lotze’s philosophy during the Halle period (1886-1901). I shall first track the sources of Husserl’s knowledge of Lotze’s philosophy during his studies with Brentano in Vienna and then with Stumpf in Halle. I shall then briefly comment on Husserl’s references to Lotze in his early work and research manuscripts for the second volume of his Philosophy of Arithmetic. In the third section, I examine Lotze’s influence on Husserl’s antipsychologistic turn (...) in the mid-1890s. The fourth section is a commentary on Husserl’s manuscript entitled “Microcosmus,” to which he explicitly refers in his Prolegomena, and which he planned to publish as an annex of his Logical Investigations. This work contains a detailed analysis of the third book of Lotze’s 1874 Logic. The last section examines Husserl’s arguments against logical psychologism in his Prolegomena, which I discuss through the lens of Stumpf’s critique of psychologism in his paper “Psychology and theory of knowledge”. I argue that Stumpf’s early works on this topic make it possible to establish a connection between Lotze’s interpretation of Plato’s theory of Ideas and Husserl’s antipsychologism. My hypothesis is that Stumpf’s analyses represent the background of Husserl's critique of logical psychologism in his Logical Investigations. I shall conclude this study by showing that Husserl’s position with respect to Lotze’s philosophy remains basically unchanged after the publication of his Logical Investigations, and that Husserl’s main criticism of Lotze pertains, in the final analysis, to the absence of a theory of intentionality in Lotze’s philosophy. (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)

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...) natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the fourth (...) and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

This paper aims to clarify Merleau-Ponty’s contribution to an embodied-enactive account of mathematical cognition. I first identify the main points of interest in the current discussions of embodied higher cognition and explain how they relate to Merleau-Ponty and his sources, in particular Husserl’s late works. Subsequently, I explain these convergences in greater detail by more specifically discussing the domains of geometry and algebra and by clarifying the role of gestalt psychology in Merleau-Ponty’s account. Beyond that, I explain how, for Merleau-Ponty, (...) mathematical cognition requires not only the presence and actual manipulation of some concrete perceptible symbols but, more strongly, how it is fundamentally linked to the structural transformation of the concrete configurations of symbolic systems to which these symbols appertain. Furthemore, I fill a gap in the literature by explaining Merleau-Ponty’s claim that these structural transformations are operated through motor intentionality. This makes it possible, in turn, to contrast Merleau-Ponty’s approach to ontologically idealistic and realistic views on mathematical objects. On Merleau-Ponty’s account, mathematical objects are relational entities, that is, gestalts that necessarily imply situated cognizers to whom they afford a specific type of engagement in the world and on whom they depend in their eventual structural transformations. I argue that, by attributing a strongly constitutive role to phenomenal configurations and their motor transformation in mathematical thinking, Merleau-Ponty contributes to clarifying the worldly, historical, and socio-cultural aspects of mathematical truths without compromising what we perceive as their universality, certainty, and necessity. (shrink)

Hermann Weyl was one of the most important figures involved in the early elaboration of the general theory of relativity and its fundamentally geometrical spacetime picture of the world. Weyl’s development of “pure infinitesimal geometry” out of relativity theory was the basis of his remarkable attempt at unifying gravitation and electromagnetism. Many interpreters have focused primarily on Weyl’s philosophical influences, especially the influence of Husserl’s transcendental phenomenology, as the motivation for these efforts. In this article, I argue both that these (...) efforts are most naturally understood as an outgrowth of the distinctive mathematical-physical tradition in Göttingen and also that phenomenology has little to no constructive role to play in them. (shrink)

This study purports a unifying view of the ontology of mathematics and fiction presented in Husserl’s 1894 manuscript “Intentional Objects” [Intentionale Gegenstände] in relation to his theory of manifolds. In particular, I clarify that Husserl’s argument supposes deductive systems of mathematical theories and fictional work as well as their “correlates,” which are mathematical manifolds in the former cases. This unifying view concretizes the concept of manifolds as an ontological concept that is not bound to mathematics. Although mathematical and fictional objects (...) differ in whether they are purely formal or materially filled, the concept of manifolds can be extended to admit materially filled objects, thus encompassing the two into the unitary theory of manifolds. By contrast, reviewing the subsequent developments of Husserl’s theory of manifolds naturally leads to restricting its concept to be strictly formal. This notion is consistent with the view that describes manifolds as forms of worlds and states of affairs; however, I suggest that the concept of the manifold is more fundamental than the concept of the world and state of affairs. (shrink)

The following text is divided in four parts. The first presents the inner relation between the phenomenological concept of intentionality and space in a general mathematical sense. Following this train of though the second part brie_ly characterizes the use of the geometrical concept of manifold (Mannigfaltigkeit) in Husserl’s work. In the third part we present some examples of the use of the concept in Husserl’s analyses of space, time and intersubjectivity, pointing out some dif_iculties in his endeavor. In the fourth (...) and _inal part we offer some points of coincidence between phenomenology and category theory suggesting that the latter can work as a formal frame for ontology in the former. Our thesis is that intentionality operates in different levels as a morphism, functor and natural transformation. (shrink)

This essay presents Husserl’s Formal and Transcendental Logic (1929) in three main sections following the layout of the work itself. The first section focuses on Husserl’s introduction where he explains the method and the aim of the essay. The method used in FTL is radical Besinnung and with it an intentional explication of proper sense of formal logic is sought for. The second section is on formal logic. The third section focuses on Husserl’s “transcendental logic,” which is needed to make (...) Husserl’s conception complete, i.e., to understand what makes Besinnung radical, how the proper sense of formal logic has been reached and how all this relates to transcendental constitution of an object in the world. Husserl’s work is connected to his context (in exact sciences) and the relevance of his views for the contemporary approaches is discussed. (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)

This article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens up a fusion point with (...) his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

This paper demonstrates that Edmund Husserl’s frequently overlooked 1890 manuscript, “On the Logic of Signs,” when closely investigated, reveals itself to be the hermeneutical touchstone for his seminal 1891 Philosophy of Arithmetic. As the former comprises Husserl’s earliest attempt to account for all of the different kinds of signitive experience, his conclusions there can be directly applied to the latter, which is focused on one particular type of sign; namely, number signs. Husserl’s 1890 descriptions of motivating and replacing signs will (...) be respectively employed to clarify his 1891 understanding of the authentic and inauthentic presentations of numbers via number signs. Moreover, his schematic classification of replacement-signs in Semiotic will illuminate the reasons why he believed the number system to be necessary for the operation of replacing number signs. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...) does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (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)

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)

Kurt Gödel wrote (1964, p. 272), after he had read Husserl, that the notion of objectivity raises a question: “the question of the objective existence of the objects of mathematical intuition (which, incidentally, is an exact replica of the question of the objective existence of the outer world)”. This “exact replica” brings to mind the close analogy Husserl saw between our intuition of essences in Wesensschau and of physical objects in perception. What is it like to experience a mathematical proving (...) process? What is the ontological status of a mathematical proof? Can computer assisted provers output a proof? Taking a naturalized world account, I will assess the relationship between mathematics, the physical world and consciousness by introducing a significant conceptual distinction between proving and proof. I will propose that proving is a phenomenological conscious experience. This experience involves a combination of what Kurt Gödel called intuition, and what Husserl called intentionality. In contrast, proof is a function of that process — the mathematical phenomenon — that objectively self-presents a property in the world, and that results from a spatiotemporal unity being subject to the exact laws of nature. In this essay, I apply phenomenology to mathematical proving as a performance of consciousness, that is, a lived experience expressed and formalized in language, in which there is the possibility of formulating intersubjectively shareable meanings. (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)

This present collection of (translations of) reviews is intended to help obtain a more balanced picture of the reception and impact of Edmund Husserl’s first book, the 1891 Philosophy of Arithmetic. One of the insights to be gained from this non-exhaustive collection of reviews is that the Philosophy of Arithmetic had a much more widespread reception than hitherto assumed: in the present collection alone there already are fourteen, all published between 1891 and 1895. Three of the reviews appeared in mathematical (...) journals (Jahrbuch über die Fortschritte der Mathematik, Zeitschrift für Mathematik und Physik, and Zeitschrift für mathema- tischen und naturwissenschaftlichen Unterricht), three were published in English journals (The Philosophical Review, The Monist, Mind), two were written by other members of the School of Brentano (Franz Hillebrand and Alois Höfler). Some of the reviews and notices appear to be very superficial, consisting merely of para- phrases (often without references) and lists of topics taken from the table of con- tents, presenting barely acceptable summaries. Others, among which Höfler might be the most significant, engage much more deeply with the topics and problems that Husserl addresses, analyzing his approach in the context of the mathematics of his time and the School of Brentano. (shrink)

In this paper our purpose is to explane and discuss the essential objections Cavaillès raised to Husserlian phenomenology in his last text “On Logic and Theory of Science”. In this text Cavaillès questioned the foundational status of cogito and the capacity of consciousness to produce new ideal objects.; and he replaced this capacity with an anonymous generating necessity that would be dialectical and would take place intin the ideal domains of objects. We have to determine if such objections question every (...) philosophy philosophy of consciousness in general, or if they only question a particular interpretation of Husserlian transcendental subject; and if they necessarily lead us toward a Spinozist or Hegelian position in philosophy of mathematics. (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.

By drawing attention to these facts and to the relationship between Cantor’s and Husserl's ideas, I have tried to contribute to putting Frege's attack on Husserl "in the proper light" by providing some insight into some of the issues underling criticisms which Frege himself suggested were not purely aimed at Husserl's book. I have tried to undermine the popular idea that Frege's review of the Philosophy of Arithmetic is a straightforward, objective assessment of Husserl’s book, and to give some specific (...) reasons for thinking that the uncritical reading of Frege's review has unfairly distorted philosophers' perception of a work they do not know very well. (shrink)

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)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations between autonomous and intentional (...) objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

By 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 imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (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)