David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 5 (2):294-353 (2012)
Traditional geometry concerns itself with planimetric and stereometric considerations, which are at the root of the division between plane and solid geometry. To raise the issue of the relation between these two areas brings with it a host of different problems that pertain to mathematical practice, epistemology, semantics, ontology, methodology, and logic. In addition, issues of psychology and pedagogy are also important here. To our knowledge there is no single contribution that studies in detail even one of the aforementioned areas
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Andrew Arana (2008). Logical and Semantic Purity. Protosociology 25:36-48.
Andrew Arana (2009). On Formally Measuring and Eliminating Extraneous Notions in Proofs. Philosophia Mathematica 17 (2):208–219.
Rudolf Carnap (1937). The Logical Syntax of Language. London, K. Paul, Trench, Trubner & Co., Ltd..
Vincenzo De Risi (2007). Geometry and Monadology: Leibniz's Analysis Situs and Philosophy of Space. Birkhäuser.
Michael Detlefsen & Andrew Arana (2011). Purity of Methods. Philosophers' Imprint 11 (2).
Citations of this work BETA
John T. Baldwin (2012). Formalization, Primitive Concepts, and Purity. Review of Symbolic Logic 1 (1):1-42.
Similar books and articles
Victor Pambuccian (2004). The Simplest Axiom System for Plane Hyperbolic Geometry. Studia Logica 77 (3):385 - 411.
Victor Pambuccian (2005). Groups and Plane Geometry. Studia Logica 81 (3):387 - 398.
Patrick Suppes (2000). Quantifier-Free Axioms for Constructive Affine Plane Geometry. Synthese 125 (1-2):263-281.
René Jagnow (2006). Edmund Husserl on the Applicability of Formal Geometry. In Emily Carson & Renate Huber (eds.), Intuition and the Axiomatic Method. Springer. 67--85.
Marco Panza (2012). The Twofold Role of Diagrams in Euclid's Plane Geometry. Synthese 186 (1):55-102.
Theodore F. Sullivan (1971). Affine Geometry Having a Solid as Primitive. Notre Dame Journal of Formal Logic 12 (1):1-61.
Theodore F. Sullivan (1972). The Name Solid as Primitive in Projective Geometry. Notre Dame Journal of Formal Logic 13 (1):95-97.
Gordon Belot (2003). Remarks on the Geometry of Visibles. Philosophical Quarterly 53 (213):581–586.
Paolo Mancosu (1996). Philosophy of Mathematics and Mathematical Practice in the Seventeenth Century. Oxford University Press.
Steven H. Cullinane (2012). Notes on Groups and Geometry, 1978-1986. Internet Archive.
Jan Platvono (1997). Formalization of Hilbert's Geometry of Incidence and Parallelism. Synthese 110 (1):127-141.
Added to index2012-10-05
Total downloads16 ( #110,906 of 1,140,380 )
Recent downloads (6 months)4 ( #46,778 of 1,140,380 )
How can I increase my downloads?