Method of Analysis: A Paradigm of Mathematical Reasoning?

History and Philosophy of Logic 33 (1):49 - 67 (2012)
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Reprint years 2012
DOI 10.1080/01445340.2011.594600
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,248
External links

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
First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Analysis and Synthesis in Mathematics,.Michael Otte & Marco Panza (eds.) - 1997 - Kluwer Academic Publishers.
Greek Mathematical Thought and the Origin of Algebra.Jacob Klein, Eva Brann & J. Winfree Smith - 1968 - British Journal for the Philosophy of Science 20 (4):374-375.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Plato and the Method of Analysis.Stephen Menn - 2002 - Phronesis 47 (3):193-223.
The Euclidean Mousetrap.Jason Costanzo - 2008 - Idealistic Studies 38 (3):209-220.
Brouwer's Incomplete Objects.Joop Niekus - 2010 - History and Philosophy of Logic 31 (1):31-46.
.[author unknown] - unknown
Cartesian Analysis and Synthesis.A. Raftopoulos - 2003 - Studies in History and Philosophy of Science Part A 34 (2):265-308.
.[author unknown] - unknown
Analysis.Michael Beaney - 2008 - Stanford Encyclopedia of Philosophy.
Added to PP index

Total downloads
81 ( #66,591 of 2,192,214 )

Recent downloads (6 months)
5 ( #42,377 of 2,192,214 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature