Online research in philosophy

It is alleged that the causal inertness of abstract objects and the causal conditions of certain naturalized epistemologies precludes the possibility of mathematical know- ledge. This paper rejects this alleged incompatibility, while also maintaining that the objects of mathematical beliefs are abstract objects, by incorporating a naturalistically acceptable account of ‘rational intuition.’ On this view, rational intuition consists in a non-inferential belief-forming process where the entertaining of propositions or certain contemplations results in true beliefs. This view is free of any conditions incompatible with abstract objects, for the reason that it is not necessary that S stand in some causal relation to the entities in virtue of which p is true. Mathematical intuition is simply one kind of reliable process type, whose inputs are not abstract numbers, but rather, contemplations of abstract numbers.

Liang Shuming once applied the concept of intuition to characterize Chinese culture as a whole. Later, he not only replaced the theoretical position of intuition with the concept of reason, but discarded the term for intuition itself. This essay will answer three questions related to this academic riddle. (1) What does intuition mean to both Bergson and Liang? (2) What does the Chinese cultural heritage contribute to the formation of Liang's intuition? (3) What is the relationship between Liang's intuition and reason?

Godel began to seriously study Husserl's phenomenology in 1959, and the Godel Nachlass is known to contain many notes on Husserl. In this paper I describe what is presently known about Godel's interest in phenomenology. Among other things, it appears that the 1963 supplement to "What is Cantor's Continuum Hypothesis?", which contains Godel's famous views on mathematical intuition, may have been influenced by Husserl. I then show how Godel's views on mathematical intuition and objectivity can be readily interpreted in a phenomenological theory of intuition and mathematical knowledge.

Mathematics is about numbers, sets, functions, etc. and, according to one prominent view, these are abstract entities lacking causal powers and spatio-temporal location. If this is so, then it is a puzzle how we come to have knowledge of such remote entities. One suggestion is intuition. But `intuition' covers a range of notions. This paper identifies and examines those varieties of intuition which are most likely to play a role in the acquisition of our mathematical knowledge, and argues that none of them, singly or in combination, can plausibly account for knowledge of abstract entities.

Friedrich Waismann, a little-known mathematician and onetime student of Wittgenstein's, provides answers to problems that vexed Wittgenstein in his attempt to explicate the foundations of mathematics through an analysis of its practice. Waismann argues in favor of mathematical intuition and the reality of infinity with a Wittgensteinian twist. Waismann's arguments lead toward an approach to the foundation of mathematics that takes into consideration the language and practice of experts.

This article discusses Charles Parsons' conception of mathematical intuition. Intuition, for Parsons, involves seeing-as: in seeing the sequences III and III as the same type, one intuits the type. The type is abstract, but intuiting the type is supposed to be epistemically analogous to ordinary perception of physical objects. And some non-trivial mathematical knowledge is supposed to be intuitable in this way, again in a way analogous to ordinary perceptual knowledge. In particular, the successor axioms are supposed to be knowable intuitively. This conception has the resources to respond to some familiar objections to mathematical intuition. But the analogy to ordinary perception is weaker than it looks, and the warrant provided for non-trivial mathematical beliefs by intuition of this sort is weak-too weak, perhaps, to yield any mathematical knowledge.

Geometrical and physical intuition, both untutored andcultivated, is ubiquitous in the research, teaching,and development of mathematics. A number ofmathematical ``monsters'', or pathological objects, havebeen produced which – according to somemathematicians – seriously challenge the reliability ofintuition. We examine several famous geometrical,topological and set-theoretical examples of suchmonsters in order to see to what extent, if at all,intuition is undermined in its everyday roles.

In this article, I will discuss the relationship between mathematical intuition and mathematical visualization. I will argue that in order to investigate this relationship, it is necessary to consider mathematical activity as a complex phenomenon, which involves many different cognitive resources. I will focus on two kinds of danger in recurring to visualization and I will show that they are not a good reason to conclude that visualization is not reliable, if we consider its use in mathematical practice. Then, I will give an example of mathematical reasoning with a figure, and show that both visualization and intuition are involved. I claim that mathematical intuition depends on background knowledge and expertise, and that it allows to see the generality of the conclusions obtained by means of visualization.

Mathematical apriorists sometimes hold that our non-derived mathematical beliefs are warranted by mathematical intuition. Against this, Philip Kitcher has argued that if we had the experience of encountering mathematical experts who insisted that an intuition-produced belief was mistaken, this would undermine that belief. Since this would be a case of experience undermining the warrant provided by intuition, such warrant cannot be a priori. I argue that this leaves untouched a conception of intuition as merely an aspect of our ordinary ability to reason. Thus the apriorist may still hold that some mathematical beliefs are warranted by intuition. I would like to thank an anonymous referee for Philosophia Mathematica and an audience at the Spring 2006 Long Island Philosophy Society/New Jersey Regional Philosophical Association conference for helpful comments.