This paper argues that Weyl took formalism to prevail over intuitionism with respect to supporting scientific objectivity, rather than grounding classical mathematics, and that this was what he thought was enough for rejecting pure phenomenology as well.

This paper argues that Carnap's project in the Aufbau is best considered as an attempt to determine the conditions for both objectivity and understanding, thus aiming at refuting the skeptical contention that objectivity and understanding are incompossible ideals of science.

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)