Awareness is a two-place determinable relation some determinates of which are seeing, hearing, etc. Abstract objects are items such as universals and functions, which contrast with concrete objects such as solids and liquids. It is uncontroversial that we are sometimes aware of concrete objects. In this paper I explore the more controversial topic of awareness of abstract objects. I distinguish two questions. First, the Existence Question: are there any experiences that make their subjects aware of abstract objects? Second, the Grounding (...) Question: if an experience makes its subject aware of an abstract object, in virtue of what does it do so? I defend the view that intuitions, specifically mathematical intuitions, sometimes make their subjects aware of abstract objects. In defending this view, I develop an account of the ground of intuitive awareness. (shrink)

In this paper I assume that we have some intuitive knowledge—i.e. beliefs that amount to knowledge because they are based on intuitions. The question I take up is this: given that some intuition makes a belief based on it amount to knowledge, in virtue of what does it do so? We can ask a similar question about perception. That is: given that some perception makes a belief based on it amount to knowledge, in virtue of what does it do so? (...) A natural idea about perception is that a perception makes a belief amount to knowledge in part by making you sensorily aware of the concrete objects it is about. The analogous idea about intuition is that an intuition makes a belief amount to knowledge in part by making you intellectually aware of the abstract objects it is about. I expand both ideas into fuller accounts of perceptual and intuitive knowledge, explain the main challenge to this sort of account of intuitive knowledge (i.e. the challenge of making sense of intellectual awareness), and develop a response to it. (shrink)

In this paper I articulate and defend a view that I call phenomenal dogmatism about intuitive justification. It is dogmatic because it includes the thesis: if it intuitively seems to you that p, then you thereby have some prima facie justification for believing that p. It is phenomenalist because it includes the thesis: intuitions justify us in believing their contents in virtue of their phenomenology—and in particular their presentational phenomenology. I explore the nature of presentational phenomenology as it occurs perception, (...) and I make a case for thinking that it is present in a wide variety of logical, mathematical, and philosophical intuitions. (shrink)

Phenomenology is the study of structures of consciousness as experienced from the first-person point of view. The central structure of an experience is its intentionality, its being directed toward something, as it is an experience of or about some object. An experience is directed toward an object by virtue of its content or meaning (which represents the object) together with appropriate enabling conditions.

Continental philosophy of science has developed alongside mainstream analytic philosophy of science. But where continental approaches are inclusive, analytic philosophies of science are not–excluding not merely Nietzsche’s philosophy of science but Gödel’s philosophy of physics. As a radicalization of Kant, Nietzsche’s critical philosophy of science puts science in question and Nietzsche’s critique of the methodological foundations of classical philology bears on science, particularly evolution as well as style (in art and science). In addition to the critical (in Mach, Nietzsche, Heidegger (...) but also Husserl just to the extent that continental philosophy of science tends to depart from a reflection on the crisis of foundations), other continental philosophies of science include phenomenology (Husserl, Bachelard, Merleau‐Ponty, etc.) and hermeneutics (Heidegger, Gadamer, Heelan, etc.), especially incorporating history of science (Nietzsche, Mach, Duhem, Butterfield, Feyerabend, etc.). Examples are drawn from the philosophy of sciences (chemistry, geology, and biology) other than physics. (shrink)

Husserl’s philosophy of mathematics, his metatheory, and his transcendental phenomenology have a sophisticated and systematic interrelation that remains relevant for questions of ontology today. It is well established that Husserl anticipated many aspects of model theory. I focus on this aspect of Husserl’s philosophy in order to argue that Thomasson’s recent pleonastic reconstruction of Husserl’s approach to essences is incompatible with Husserl’s philosophy as a whole. According to the pleonastic approach, Husserl can appeal to essences in the absence of a (...) positive metaphysical account of their nature. I show, using central results from recent model theory, that the pleonastic approach undermines Husserl’s approach to formalization and categoricity, an effect that will ripple out from Husserl’s philosophy of mathematics into Husserl’s metatheory and transcendental phenomenology. The result is that Husserl cannot appeal to formal essences without metaphysical commitments. However, the very observations Thomasson makes about the nature of eidetic intuition in Husserl lead to a general strategy for responding to the problem. The article thus illustrates that the pleonastic and the model-theoretic routes for making Husserl relevant to present-day ontology are competing approaches, but I conclude that Husserl scholars seeking to set Husserl’s present-day relevance into sharp relief could do worse than to emphasize the model-theoretic nature of Husserl’s enterprise. (shrink)

This paper deals with Husserl’s idea of pure logic as it is coined in the Logical Investigations. First, it exposes the formation of pure logic around a conception of completeness ; then, it presents intentionality as the keystone of such a structuring ; and finally, it provides a systematic reconstruction of pure logic from the semiotic standpoint of intentionality. In this way, it establishes Husserlian pure logic as a phenomenological epistemology of mathematical logic.

In this article I deal with the notion of observation, from a phenomenologically motivated point of view, and its representation mainly by means of the formal language of quantum mechanics. In doing so, I have taken the notion of observation in two diverse contexts. In one context as a notion related with objects of a logical-mathematical theory taken as registered facts of phenomenological perception ( Wahrnehmung ) inasmuch as this phenomenological idea can also be linked with a process of measurement (...) on the quantum-mechanical level. In another context I have taken it as connected with a notion of temporal constitution basically as it is described in E. Husserl’s texts on the phenomenology of temporal consciousness. Given that mathematical objects as formal-ontological objects can be thought of as abstractions of perceptual objects by means of categorial intuition, the question is whether and under what theoretical assumptions we can, in principle, include quantum objects in abstraction in the class of formal-ontological objects and thus inquire on the limits of their description within a formal-axiomatical theory. On the one hand, I derive an irreducibility on the level of individuals taken in formal representation as syntactical atoms-substrates without any further content and on the other hand a transcendental subjectivity of consciousness objectified as a self-constituted temporal unity upon which it is ultimately grounded the possibility of generation of an abstract predicative universe of discourse. (shrink)

Since the end of the last century, there has been several ambitious attempts to naturalize Husserlian phenomenology by way of mathematization. To justify themselves in view of Husserl’s adamant antinaturalism, many of these attempts appeal to the new physico-mathematical tools that were unknown in Husserl’s time and thus allegedly make his position outdated. This paper critically addresses these mathematization proposals and aims to show that Husserl had, in fact, sufficiently good arguments that make his antinaturalistic position sound even today. The (...) starting point of the discussion presented in this paper is the mathematization project introduced by Jean-Michel Roy, Jean Petitot, Bernard Pachoud, and Francisco Varela in their introduction to the book Naturalizing Phenomenology. This proposal was followed by a number of critiques but also by several alternative naturalization attempts clearly inspired by Roy et al.’s ambitious project. The review of some of Husserl’s important arguments often overlooked or misinterpreted by both the naturalization advocates and their critics leads the author of the paper to the twofold conclusion which, on the one hand, explores the deeper reasons for the impossibility of a physical and mathematical treatment of phenomenology, on the other hand, clarifies the sense in which such treatments are possible, namely by way of restriction of the variety of experiential aspects that undergo naturalization and substitution of the aspects amenable to the direct mathematization for the directly unmathematizable ones. In the fourth section of this paper, the author attempts to demonstrate that, contrary to widespread belief, Husserl’s arguments are not obsolete by the standards of the contemporary physico-mathematical approaches employed in the mathematization of phenomenology and indeed stand the test of time. (shrink)

A debated issue in the mathematical foundations in at least the last two decades is whether one can plausibly argue for the merits of treating undecidable questions of mathematics, e.g., the Continuum Hypothesis (CH), by relying on the existence of a plurality of set-theoretical universes except for a single one, i.e., the well-known set-theoretical universe V associated with the cumulative hierarchy of sets. The multiverse approach has some varying versions of the general concept of multiverse yet my intention is to (...) primarily address ontological multiversism as advocated, for instance, by Hamkins or Väätänen, precisely for the reason that they proclaim, to the one or the other extent, ontological preoccupations for the introduction of respective multiverse theories. Taking also into account Woodin’s and Steel’s multiverse versions, I take up an argumentation against multiversism, and in a certain sense against platonism in mathematical foundations, mainly on subjectively founded grounds, while keeping an eye on Clarke-Doane’s concern with Benacerraf’s challenge. I note that even though the paper is rather technically constructed in arguing against multiversism, the non-negligible philosophical part is influenced to a certain extent by a phenomenologically motivated view of the matter. (shrink)

The phenomenological movement begins in the Prolegomena to Husserl’s Logical Investigations as a philosophy of logic. Despite this, remarkably little attention has been paid to Husserl’s arguments in the Prolegomena in the contemporary philosophy of logic. In particular, the literature spawned by Gilbert Harman’s work on the normative status of logic is almost silent on Husserl’s contribution to this topic. I begin by raising a worry for Husserl’s conception of ‘pure logic’ similar to Harman’s challenge to explain the connection between (...) logic and reasoning. If logic is the study of the forms of all possible theories, it will include the study of many logical consequence relations; by what criteria, then, should we select one consequence relation as correct? I consider how Husserl might respond to this worry by looking to his late account of the ‘genealogy of logic’ in connection with Gurwitsch’s claim that ‘[i]t is to prepredicative perceptual experience … that one must return for a radical clarification and for the definitive justification of logic’. Drawing also on Sartre and Heidegger, I consider how prepredicative experience might constrain or guide our selection of a logical consequence relation and our understanding of connectives like implication and negation. (shrink)

This paper reconstructs and critically analyzes Husserl’s philosophical engagement with symbolic technologies—those material artifacts and cultural devices that serve to aid, structure and guide processes of thinking. Identifying and exploring a range of tensions in Husserl’s conception of symbolic technologies, I argue that this conception is limited in several ways, and particularly with regard to the task of accounting for the more constructive role these technologies play in processes of meaning-constitution. At the same time, this paper shows that a critical (...) examination of Husserl’s account of symbolic technologies, particularly as developed in his mature, genetic phenomenology, can be enduringly fruitful—if some of the specific conceptual weakness of this account are identified and properly accounted for. My discussion will proceed as follows. In the first part I briefly analyze the early Husserl’s account of the role the ‘method of sensible signs’ plays in arithmetic cognition. In the second, main part I critically examine the bearing the genetic-phenomenological concepts of sedimentation and technization have on the conceptualization of symbolic technologies in Husserl’s work. In the final part I summarize the major strengths and weaknesses of Husserl’s account of symbolic technologies, and in the process make a case for the ongoing relevance of some of the crucial elements of this account. (shrink)

In this paper I contrast Husserlian transcendental eidetic phenomenology with some other views of what phenomenology is supposed to be and argue that, as eidetic, it does not admit of being ‘naturalized’ in accordance with standard accounts of naturalization. The paper indicates what some of the eidetic results in phenomenology are and it links these to the employment of reason in philosophical investigation, as distinct from introspection, emotion or empirical observation. Eidetic phenomenology, unlike cognitive science, should issue in a ‘logic’ (...) of consciousness. Instead of being derived from empirical investigations its results should consist of high-level background conditions that are necessary for cognitive science to be possible in the first place. To negate these conditions is to be faced with certain types of ‘material’ contradictions. Some analogies with science – mathematical science – are used to develop the argument. (shrink)

In 1928 Edmund Husserl wrote that “The ideal of the future is essentially that of phenomenologically based (“philosophical”) sciences, in unitary relation to an absolute theory of monads” (“Phenomenology”, Encyclopedia Britannica draft) There are references to phenomenological monadology in various writings of Husserl. Kurt Gödel began to study Husserl’s work in 1959. On the basis of his later discussions with Gödel, Hao Wang tells us that “Gödel’s own main aim in philosophy was to develop metaphysics—specifically, something like the monadology of (...) Leibniz transformed into exact theory—with the help of phenomenology.” (A Logical Journey: From Gödel to Philosophy, p. 166) In the Cartesian Meditations and other works Husserl identifies ‘monads’ (in his sense) with ‘transcendental egos in their full concreteness’. In this paper I explore some prospects for a Gödelian monadology that result from this identification, with reference to texts of Gödel and to aspects of Leibniz’s original monadology. (shrink)

The recent move to naturalize phenomenology through a mathematical protocol is a significant advance in consciousness research. It enables a new and fruitful level of dialogue between the cognitive sciences and phenomenology of such a nuanced kind that it also prompts advancement in our phenomenological analyses. But precisely what is going on at this point of ‘dialogue’ between phenomenological descriptions and mathematical algorithms, the latter of which are based on dynamical systems theory? It will be shown that what is happening (...) is something more than a mere ‘passing of the baton’ from phenomenology to mathematics. For this sophisticated naturalization to prove a worthy endeavour it must produce more than just correlation, it must prove some form of interrelation to the extent that phenomenology is deterministic. But such interrelational and deterministic requirements are the start of a slippery slope, and it will be argued that this slope only loses more friction once a further demand of formal and precise descriptions is made of phenomenology. Such deterministic and formally precise demands misconstrue phenomenology’s ideal goal of a unification of genuine/originary reason and truth. Not a deductive and definitive discipline, phenomenology is rather from the outset descriptive and critical. Phenomenology’s descriptive beginnings will thus be employed as an essential barrier to the naturalization of phenomenology. (shrink)

Husserl is well known for his critique of the “mathematizing tendencies” of modern science, and is particularly emphatic that mathematics and phenomenology are distinct and in some sense incompatible. But Husserl himself uses mathematical methods in phenomenology. In the first half of the paper I give a detailed analysis of this tension, showing how those Husserlian doctrines which seem to speak against application of mathematics to phenomenology do not in fact do so. In the second half of the paper I (...) focus on a particular example of Husserl’s “mathematized phenomenology”: his use of concepts from what is today called dynamical systems theory. (shrink)

In this paper I address G. C. Rota’s account of mathematical identity and I attempt to relate it with aspects of Frege as well as Husserl’s views on the issue. After a brief presentation of Rota’s distinction among mathematical facts and mathematical proofs, I highlight the phenomenological background of Rota’s claim that mathematical objects retain their identity through different kinds of axiomatization. In particular, I deal with Rota’s interpretation of the ontological status of mathematical objects in terms of ideality. Then (...) I detect certain similarities among Rota’s views and Frege’s account of the constitution of arithmetical identity on the grounds of 1–1 correspondence. I point out an epistemic as well as an ontological aspect of this issue. In the sequel, I attempt to deal with the problem of “mixed identities” in mathematics stated by Benacerraf by taking in account Rota’s use of the phenomenological notion “Fundierung”. (shrink)

The foundation of Mathematics is both a logico-formal issue and an epistemological one. By the first, we mean the explicitation and analysis of formal proof principles, which, largely a posteriori, ground proof on general deduction rules and schemata. By the second, we mean the investigation of the constitutive genesis of concepts and structures, the aim of this paper. This “genealogy of concepts”, so dear to Riemann, Poincaré and Enriques among others, is necessary both in order to enrich the foundational analysis (...) with an often disregarded aspect (the cognitive and historical constitution of mathematical structures) and because of the provable incompleteness of proof principles also in the analysis of deduction. For the purposes of our investigation, we will hint here to a philosophical frame as well as to some recent experimental studies on numerical cognition that support our claim on the cognitive origin and the constitutive role of mathematical intuition. (shrink)

Don Ihde has recently launched a sweeping attack against Husserl’s late philosophy of science. Ihde takes particular exception to Husserl’s portrayal of Galileo and to the results Husserl draws from his understanding of Galilean science. Ihde’s main point is that Husserl paints an overly intellectualistic picture of the “father of modern science”, neglecting Galileo’s engagement with scientific instruments such as, most notably, the telescope. According to Ihde, this omission is not merely a historiographical shortcoming. On Ihde’s view, it is only (...) on the basis of a distorted picture of Galileo that Husserl can “create“ the division between Lifeworld and the “world of science“, a division that is indeed fundamental for Husserl’s overall position. Hence, if successful, Ihde’s argument effectively undermines Husserl’s late philosophy of science. The aim of this paper is to show that Ihde’s criticism does not stand up to closer historical or philosophical scrutiny. (shrink)

This paper aims to investigate certain aspects of Weyl’s account of implicit definitions. The paper takes under consideration Weyl’s approach to a certain kind of implicit definitions i.e. abstraction principles introduced by Frege.ion principles are bi-conditionals that transform certain equivalence relations into identity statements, defining thereby mathematical terms in an implicit way. The paper compares the analytic reading of implicit definitions offered by the Neo-Fregean program with Weyl’s account which has phenomenological leanings. The paper suggests that Weyl’s account should be (...) construed as putting emphasis on intentionality of human mind towards certain invariant features of the elements of initial domains of discourse that are involved in equivalence relations. Definition of terms like direction, shape, number etc. is achieved by a kind of transformation of those invariants into ideal objects that is involved in intuition. Then the paper argues that at the period of 1926 Weyl’s writings on implicit definitions, he is inclined to endorse symbolic construction as a way to explicate the objectivity of certain processes as those that are carried out in case of implicit definitions. (shrink)

In this article I intend to show that certain aspects of the axiomatical structure of mathematical theories can be, by a phenomenologically motivated approach, reduced to two distinct types of idealization, the first-level idealization associated with the concrete intuition of the objects of mathematical theories as discrete, finite sign-configurations and the second-level idealization associated with the intuition of infinite mathematical objects as extensions over constituted temporality. This is the main standpoint from which I review Cantor’s conception of infinite cardinalities and (...) also the metatheoretical content of some later well-known theorems of mathematical foundations. These are, the Skolem-Löwenheim Theorem which, except for its importance as such, it is also chosen for an interpretation of the associated metatheoretical paradox (Skolem Paradox), and Gödel’s (first) incompleteness result which, notwithstanding its obvious influence in the mathematical foundations, is still open to philosophical inquiry. On the phenomenological level, first-level and second-level idealizations, as above, are associated respectively with intentional acts carried out in actual present and with certain modes of a temporal constitution process. (shrink)