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)

This essay explores theories of place, or lived-space, as regards the role of objectivity and the problem of relativism. As will be argued, the neglect of mathematics and geometry by the lived-space theorists, which can be traced to the influence of the early phenomenologists, principally the later Husserl and Heidegger, has been a major contributing factor in the relativist dilemma that afflicts the lived-space movement. By incorporating various geometrical concepts within the analysis of place, it is demonstrated that the lived-space (...) theorists can gain a better insight into the objective spatial relationships among individuals and within groups—and, more importantly, this appeal to mathematical content need not be construed as undermining the basic tenants of the lived-space approach. (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)

The aim of this paper is to establish a phenomenological mathematical intuitionism that is based on fundamental phenomenological-epistemological principles. According to this intuitionism, mathematical intuitions are sui generis mental states, namely experiences that exhibit a distinctive phenomenal character. The focus is on two questions: what does it mean to undergo a mathematical intuition and what role do mathematical intuitions play in mathematical reasoning? While I crucially draw on Husserlian principles and adopt ideas we find in phenomenologically minded mathematicians such as (...) Hermann Weyl and Kurt Gödel, the overall objective is systematic in nature: to offer a plausible approach towards mathematics. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)

Attempts to ‘naturalize’ phenomenology challenge both traditional phenomenology and traditional approaches to cognitive science. They challenge Edmund Husserl’s rejection of naturalism and his attempt to establish phenomenology as a foundational transcendental discipline, and they challenge efforts to explain cognition through mainstream science. While appearing to be a retreat from the bold claims made for phenomenology, it is really its triumph. Naturalized phenomenology is spearheading a successful challenge to the heritage of Cartesian dualism. This converges with the reaction against Cartesian thought (...) within science itself. Descartes divided the universe between res cogitans, thinking substances, and res extensa, the mechanical world. The latter won with Newton and we have, in most of objective science since, literally lost our mind, hence our humanity. Despite Darwin, biologists remain children of Newton, and dream of a grand theory that is epistemologically complete and would allow lawful entailment of the evolution of the biosphere. This dream is no longer tenable. We now have to recognize that science and scientists are within and part of the world we are striving to comprehend, as proponents of endophysics have argued, and that physics, biology and mathematics have to be reconceived accordingly. Interpreting quantum mechanics from this perspective is shown to both illuminate conscious experience and reveal new paths for its further development. In biology we must now justify the use of the word “function”. As we shall see, we cannot prestate the ever new biological functions that arise and constitute the very phase space of evolution. Hence, we cannot mathematize the detailed becoming of the biosphere, nor write differential equations for functional variables we do not know ahead of time, nor integrate those equations, so no laws “entail” evolution. The dream of a grand theory fails. In place of entailing laws, a post-entailing law explanatory framework is proposed in which Actuals arise in evolution that constitute new boundary conditions that are enabling constraints that create new, typically unprestatable, Adjacent Possible opportunities for further evolution, in which new Actuals arise, in a persistent becoming. Evolution flows into a typically unprestatable succession of Adjacent Possibles. Given the concept of function, the concept of functional closure of an organism making a living in its world, becomes central. Implications for patterns in evolution include historical reconstruction, and statistical laws such as the distribution of extinction events, or species per genus, and the use of formal cause, not efficient cause, laws. (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)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...) from considering rigour of proof as a fixture, I discuss fixed models, invariant notions and fixed information about objects across theories. There are other fixtures, but it is enough to start with these. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

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 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)

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)

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 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)

Although mathematical philosophy is flourishing today, it remains subject to criticism, especially from non-analytical philosophers. The main concern is that even if formal tools serve to clarify reasoning, they themselves contribute nothing new or relevant to philosophy. We defend mathematical philosophy against such concerns here by appealing to its metaphysical foundations. Our thesis is that mathematical philosophy can be founded on the phenomenological theory of ideas as developed by Roman Ingarden. From this platonist perspective, the “unreasonable effectiveness of mathematics in (...) philosophy”—to adapt Wigner’s phrase—is analogous to that of mathematical explanations in science. As success-criteria for mathematical philosophy, we propose that it should be correct, responsive, illuminating, promising, relevant, and adequate. (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)

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)

Kurt Gödel made many affirmations of robust realism but also showed serious engagement with the idealist tradition, especially with Leibniz, Kant, and Husserl. The root of this apparently paradoxical attitude is his conviction of the power of reason. The paper explores the question of how Gödel read Kant. His argument that relativity theory supports the idea of the ideality of time is discussed critically, in particular attempting to explain the assertion that science can go beyond the appearances and ‘approach the (...) things’. Leibniz and post-Kantian idealism are discussed more briefly, the latter as documented in the correspondence with Gotthard Günther. (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)

Although there is no consensus on what distinguishes analytic from Continental philosophy, I focus in this paper on one source of disagreement that seems to run fairly deep in dividing these traditions in recent times, namely, disagreement about the relation of natural science to philosophy. I consider some of the exchanges about science that have taken place between analytic and Continental philosophers, especially in connection with the philosophy of mind. In discussing the relation of natural science to philosophy I employ (...) an analysis of the origins of natural science that has been developed by a number of Continental philosophers. Awareness and investigation of interactions between analytic and Continental philosophers on science, it is argued, might help to foster further constructive engagement between the traditions. In the last section of the paper I briefly discuss the place of natural science in relation to global philosophy on the basis of what we can learn from analytic/Continental exchanges. (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 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 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)

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.

Husserl’s notion of definiteness, i.e., completeness is crucial to understanding Husserl’s view of logic, and consequently several related philosophical views, such as his argument against psychologism, his notion of ideality, and his view of formal ontology. Initially Husserl developed the notion of definiteness to clarify Hermann Hankel’s ‘principle of permanence’. One of the first attempts at formulating definiteness can be found in the Philosophy of Arithmetic, where definiteness serves the purpose of the modern notion of ‘soundness’ and leads Husserl to (...) a ‘computational’ view of logic. Inspired by Gauss and Grassmann Husserl then undertakes a further investigation of theories of manifolds. When Husserl subsequently renounces psychologism and changes his view of logic, his idea of definiteness also develops. The notion of definiteness is discussed most extensively in the pair of lectures Husserl gave in front of the mathematical society in Göttingen (1901). A detailed analysis of the lectures, together with an elaboration of Husserl’s lectures on logic beginning in 1895, shows that Husserl meant by definiteness what is today called ‘categoricity’. In so doing Husserl was not doing anything particularly original; since Dedekind’s ‘Was sind und sollen die Zahlen’ (1888) the notion was ‘in the air’. It also characterizes Hilbert’s (1900) notion of completeness. In the end, Husserl’s view of definiteness is discussed in light of Gödel’s (1931) incompleteness results. (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 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)

Gödel's philosophical views were to a significant extent influenced by the study not only of Leibniz or Husserl, but also of Kant. Both Gödel and Kant aimed at the secure foundation of philosophy, the certainty of knowledge and the solvability of all meaningful problems in philosophy. In this paper, parallelisms between the foundational crisis of metaphysics in Kant's view and the foundational crisis of mathematics in Gödel's view are elaborated, especially regarding the problem of finding the “secure path of a (...) science” for both mathematics and philosophy. Gödel's temporal subjectivism and metaphysical conceptual objectivism are presented as positively or negatively motivated by Kant's viewpoints. A remark on Gödel's collapse of modalities (in accordance with the collapse of objective time) is added. (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)

I provide an interpretation of Wittgenstein's much criticized remarks on Gödel's First Incompleteness Theorem in the light of paraconsistent arithmetics: in taking Gödel's proof as a paradoxical derivation, Wittgenstein was right, given his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. I show that the models of paraconsistent arithmetics (obtained via the Meyer-Mortensen (...) collapsing filter on the standard model) match with many intuitions underlying Wittgensteins philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any meaningful mathematical question. (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)