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)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

This article was found among the papers left by Prof. Laugwitz (May 5, 1932–April 17, 2000). The following abstract is extracted from a lecture he gave at the Fourth Austrain Symposion on the History of Mathematics (Neuhofen/ybbs, November 10, 1995).About 100 years ago, the Cantor-Veronese controversy found wide interest and lasted for more than 20 years. It is concerned with “actual infinity” in mathematics. Cantor, supported by Peano and others, believed to have shown the non-existence of infinitely small quantities, and (...) therefore he fought against the infinitely large and small numbers in Veronese’s geometry, but also against the non-archimedean systems of Thomae, du Bois-Reymond, and Stolz. As a positive consequence of the controversy the distinction between Cantor’s transfinite arithmetic and the theory of ordered algebraic structures becomes clear. (shrink)

A general introduction to the celebrated foundational crisis, discussing how the characteristic traits of modern mathematics (acceptance of the notion of an “arbitrary” function proposed by Dirichlet; wholehearted acceptance of infinite sets and the higher infinite; a preference “to put thoughts in the place of calculations” and to concentrate on “structures” characterized axiomatically; a reliance on “purely existential” methods of proof) provoked extensive polemics and alternative approaches. Going beyond exclusive concentration on the paradoxes, it also discusses the role of the (...) axiom of Choice, issues of predicativity, and goes on to present the ideas of intuitionism and Hilbert's program. The essay closes with Gödel's contributions and the aftermath. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

Recent years have seen a growing acknowledgement within the mathematical community that mathematics is cognitively/socially constructed. Yet to anyone doing mathematics, it seems totally objective. The sensation in pursuing mathematical research is of discovering prior (eternal) truths about an external (abstract) world. Although the community can and does decide which topics to pursue and which axioms to adopt, neither an individual mathematician nor the entire community can choose whether a particular mathematical statement is true or false, based on the given (...) axioms. Moreover, all the evidence suggests that all practitioners work with the same ontology. (My number 7 is exactly the same as yours.) How can we reconcile the notion that people construct mathematics, with this apparent choice-free, predetermined objectivity? I believe the answer is to be found by examining what mathematical thinking is (as a mental activity) and the way the human brain acquired the capacity for mathematical thinking. (shrink)

The ArgumentL. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notoriousGrundlagenstreitcentered on sharp differences about the foundations of mathematics: Brouwer was prepared to revise the content and methods of mathematics (his “Intuitionism” did just that radically), while Hilbert's Program was designed to preserve and constructively secure all of classical mathematics.Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, misconstruals which (...) last to our own time: Current literature often portrays popular views of intuitionism as the product of Brouwer's idiosyncratic subjectivism; modern logicians view intuitionism as simply applying a non-standard formal logic to mathematics; and contemporary philosophers see that logic as based upon a pure assertabilist theory of meaning. These pictures stem from the way Hilbert structured the controversy.Even though Brouwer's own work and behavior occasionally reinforce these pictures, they are nevertheless inaccurate accounts of his approach to mathematics. However, the framework provided by the Brouwer-Hilbert debate itself does not supply an adequate correction of these inaccuracies. For, even if we eliminate these mistakes within that framework, Brouwer's position would still appear fragmented and internally inconsistent. I propose a Kantian framework — not from Kant's philosophy of mathematics but from his general metaphysics — which does show the coherence and consistency of Brouwer's views. I also suggest that expanding the context of the controversy in this way will illuminate Hilbert's views as well and will even shed light upon Kant's philosophy. (shrink)

In spite of differences the thought of Bernays, Dooyeweerd and Gödel evinces a remarkable convergence. This is particularly the case in respect of the acknowledgement of the difference between the discrete and the continuous, the foundational position of number and the fact that the idea of continuity is derived from space (geometry – Bernays). What is furthermore similar is the recognition of what is primitive (and indefinable) as well as the account of the coherence of what is unique, such as (...) when Gödel observes something quasi-spatial character of sets. It is shown that Dooyeweerd’s theory of modal aspects provides a philosophical framework that exceeds his own restrictive understanding of infinity )to the potential infinite) and at the same time makes it possible to account for key insights found in the thought of Bernays and Gödel. When Laugwitz says that discreteness rules within the sphere of the numerical, he says nothing more than what Dooyeweerd had in mind with his idea that discrete quantity, as the meaning-nucleus of the arithmetical aspect, qualifies every element within the structure of the quantitative aspect. And when Bernays says that analysis expresses the idea of the continuum in arithmetical language his mode of speech is equivalent to saying that mathematical analysis could seen as being founded upon the spatial anticipation within the modal structure of the arithmetical aspect. The view of the actual infinite (the at once infinite) in terms of an “as if” approach (Bernays), that is, as appreciated as a regulative hypothesis through which every successively infinite multiplicity of numbers could be envisaged as being giving all at once, as an infinite totality, provides a sound understanding of the at once infinite and makes it plain why every form of arithmeticism fails. Such attempts have to call upon Cantor’s proof on the non-denumerability of the real numbers – and this proof pre-supposes the use of the at once infinite which, in turn, pre-supposes the (irreducibile) spatial order of simultaneity and the patial whole-parts relation. (shrink)

This paper sets out to show how Eddington's early twenties case for variational derivatives significantly bears witness to a steady and consistent shift in focus from a resolute striving for objectivity towards “selective subjectivism” and structuralism. While framing his so-called “Hamiltonian derivatives” along the lines of previously available variational methods allowing to derive gravitational field equations from an action principle, Eddington assigned them a theoretical function of his own devising in The Mathematical Theory of Relativity (1923). I make clear that (...) two stages should be marked out in Eddington's train of thought if the meaning of such variational derivatives is to be adequately assessed. As far as they were originally intended to embody the mind's collusion with nature by linking atomicity of matter with atomicity of action, variational derivatives were at first assigned a dual role requiring of them not only to express mind's craving for permanence but also to tune up mind's privileged pattern to “Nature's own idea”. Whereas at a later stage, as affine field theory would provide a framework for world-building, such “Hamiltonian differentiation” would grow out of tune through gauge-invariance and, by disregarding how mathematical theory might precisely come into contact with actual world, would be turned into a mere heuristic device for structural knowledge. (shrink)