It is well known that the notion of transcendental logic has a prominent role in both Kant’s and Husserl’s theories of knowledge. The main aim of the present paper is to study the links between formal and transcendental logic in Husserl on the one hand, and the links between general logic and transcendental logic in Kant on the other. There is a debate about the proper relation between transcendental logic and general logic in Kant’s philosophy. By means of our definition (...) of transcendental logic, mainly drawn from Husserl’s analyses, we will try to offer an appropriate interpretation of Kant’s view. (shrink)

European Journal of Philosophy, Volume 30, Issue 3, Page 1010-1027, September 2022.

It is by now well known that Gödel first advocated the philosophy of Leibniz and then, since 1959, that of Husserl. This raises three questions:1.How is this turn to Husserl to be interpreted? Is it a dismissal of the Leibnizian philosophy, or a different way to achieve similar goals?2.Why did Gödel turn specifically to the later Husserl's transcendental idealism?3.Is there any detectable influence from Husserl on Gödel's writings?Regarding the first question, Wang [96, p.165] reports that Gödel ‘[saw] in Husserl's work (...) a method of refining and consolidating Leibniz' monadology’. But what does this mean? In what for Gödel relevant sense is Husserl's work a refinement and consolidation of Leibniz' monadology?The second question is particularly pressing, given that Gödel was, by his own admission, a realist in mathematics since 1925. Wouldn't the uncompromising realism of the early Husserl's Logical investigations have been a more obvious choice for a Platonist like Gödel?The third question can only be approached when an answer to the second has been given, and we want to suggest that the answer to the first question follows from the answer to the second. We begin, therefore, with a closer look at the actual turn towards phenomenology.Some 30 years before his serious study of Husserl began, Gödel was well aware of the existence of phenomenology. Apart from its likely appearance in the philosophy courses that Gödel took, it reached him from various directions. (shrink)

The paper aims to capture a form of naturalism that can be found “built-in” in phenomenology, namely the idea to take science or mathematics on its own, without postulating extraneous normative “molds” on it. The paper offers a detailed comparison of Penelope Maddy’s naturalism about mathematics and Husserl’s approach to mathematics in Formal and Transcendental Logic. It argues that Maddy’s naturalized methodology is similar to the approach in the first part of the book. However, in the second part Husserl enters (...) into a transcendental clarification of the evidences and presuppositions of the mathematicians’ work, thus “transcendentalizing” his otherwise naturalist approach to mathematics. The result is a moderately revisionist view that takes the existing mathematical practices seriously, calls for reflection on them, and eventually gives suggestions for revisions if needed. (shrink)

Even though Husserl and Brouwer have never discussed each other's work, ideas from Husserl have been used to justify Brouwer's intuitionistic logic. I claim that a Husserlian reading of Brouwer can also serve to justify the existence of choice sequences as objects of pure mathematics. An outline of such a reading is given, and some objections are discussed.