Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this reason, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with the concept (...) of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

Equally surprisingly, Descartes’s paranoid belief was shared by several contemporary mathematicians, among them Isaac Barrow, John Wallis and Edmund Halley. (Huxley 1959, pp. 354-355.) In the light of our fuller knowledge of history it is easy to smile at Descartes. It has even been argued by Netz that analysis was in fact for ancient Greek geometers a method of presenting their results (see Netz 2000). But in a deeper sense Descartes perceived something interesting in the historical record. We are looking (...) in vain in the writings of Greek mathematicians for a full explanation of what this famous method was. And I will argue for an answer to the question why this lacuna is there: Not because Greek geometers wanted to hide this method, but because they did not fully understand it. It is instructive to note the ambivalent attitude of the most rigorous mathematician of the period, Isaac Newton, to the method of analysis. He used it himself in his own mathematical work and in the expositions of that work. Yet when the mathematical push came to physical and cosmological shove, he formulated his Principia entirely in.. (shrink)

This paper is a contribution to our understanding of the constructive nature of Greek geometry. By studying the role of constructive processes in Theodoius’s Spherics, we uncover a difference in the function of constructions and problems in the deductive framework of Greek mathematics. In particular, we show that geometric problems originated in the practical issues involved in actually making diagrams, whereas constructions are abstractions of these processes that are used to introduce objects not given at the outset, so that their (...) properties can be used in the argument. We conclude by discussing, more generally, ancient Greek interests in the practical methods of producing diagrams. (shrink)

Although there are many questions to be asked about philosophy of mathematics, the fundamental questions to be asked will be questions about what the mathematical object is in view of being and what the mathematical reasoning is in view of knowledge. It is clear that other problems will develop in parallel within the framework of the answers to these questions. For this rea­ son, when we approach Aristotle's philosophy of mathematics over these two basic problems, we come up with the (...) concept of abstraction. In our work, I will try to explain the mathematical abstraction that Aristotle has developed to understand mathematical philosophy. (shrink)

Hyperbolic geometry can be axiomatized using the notions of order andcongruence (as in Euclidean geometry) or using the notion of incidencealone (as in projective geometry). Although the incidence-based axiomatizationmay be considered simpler because it uses the single binary point-linerelation of incidence as a primitive notion, we show that it issyntactically more complex. The incidence-based formulation requires some axioms of the quantifier-type forallexistsforall, while the axiom system based on congruence and order can beformulated using only forallexists-axioms.

The ancient Greek method of analysis has a rational reconstruction in the form of the tableau method of logical proof. This reconstruction shows that the format of analysis was largely determined by the requirement that proofs could be formulated by reference to geometrical figures. In problematic analysis, it has to be assumed not only that the theorem to be proved is true, but also that it is known. This means using epistemic logic, where instantiations of variables are typically allowed only (...) with respect to known objects. This requirement explains the preoccupation of Greek geometers with questions as to which geometrical objects are ?given?, that is, known or ?data?, as in the title of Euclid's eponymous book. In problematic analysis, constructions had to rely on objects that are known only hypothetically. This seems strange unless one relies on a robust idea of ?unknown? objects in the same sense as the unknowns of algebra. The Greeks did not have such a concept, which made their grasp of the analytic method shaky. (shrink)

In this thesis, I investigate the nature of geometric knowledge and its relationship to spatial intuition. My goal is to rehabilitate the Kantian view that Euclid's geometry is a mathematical practice, which is grounded in spatial intuition, yet, nevertheless, yields a type of a priori knowledge about the structure of visual space. I argue for this by showing that Euclid's geometry allows us to derive knowledge from idealized visual objects, i.e., idealized diagrams by means of non-formal logical inferences. By developing (...) such an account of Euclid's geometry, I complete the "standard view" that geometry is either a formal system or an empirical science, which was developed mainly by the logical positivists and which is currently accepted by many mathematicians and philosophers. My thesis is divided into three parts. I use Hans Reichenbach's arguments against Kant and Edmund Husserl's genetic approach to the concept of space as a means of arguing that the "standard view" has to be supplemented by a concept of a geometry whose propositions have genuine spatial content. I then develop a coherent interpretation of Euclid's method by investigating both the subject matter of Euclid's geometry and the nature of geometric inferences. In the final part of this thesis, I modify Husserl's phenomenological analysis of the constitution of visual space in order to define a concept of spatial intuition that allows me not only to explain how Euclid's practice is grounded in visual space, but also to account for the apriority of its results. (shrink)