A common objection to sense-datum theories of perception is that they cannot give an adequate account of the fact that introspection indicates that our sensory experiences are directed on, or are about, the mind-independent entities in the world around us, that our sense experience is transparent to the world. In this paper I point out that the main force of this claim is to point out an explanatory challenge to sense-datum theories.

Recent accounts of the role of diagrams in mathematical reasoning take a Platonic line, according to which the proof depends on the similarity between the perceived shape of the diagram and the shape of the abstract object. This approach is unable to explain proofs which share the same diagram in spite of drawing conclusions about different figures. Saccheri’s use of the bi-rectangular isosceles quadrilateral in Euclides Vindicatus provides three such proofs. By forsaking abstract objects it is possible to give a (...) natural explanation of Saccheri’s proofs as well as standard geometric proofs and even number-theoretic proofs. (shrink)

Can visual thinking be a means of discovery in elementary analysis, as well as a means of illustration and a stimulus to discovery? The answer to the corresponding question for geometry and arithmetic seems to be ‘yes’ (Giaquinto [1992], [1993]), and so a positive answer might be expected for elementary analysis too. But I argue here that only in a severely restricted range of cases can visual thinking be a means of discovery in analysis. Examination of persuasive visual routes to (...) two simple theorems (Rolle, Bolzano) shows that they are not ways of discovering the theorems; the type of visual thinking involved can never be used to discover analytic theorems of a certain generality. The hypothesis that visual thinking is never a means of discovering the existence or nature of the limit of some infinite process is considered, and a likely counter-example is set out. It is still possible that restricted theorems can be discovered visually: an example from Littlewood is examined in detail and not found wanting. Even when visual thinking is not a means of discovery it can provide the idea for a proof in a direct way; an example is presented (Intermediate Value Theorem). In conclusion: it may be possible to discover theorems in elementary real analysis by visual means, but only theorems of a restricted kind; however, visual thinking in analysis can be very useful in other ways. (shrink)