Skip to main content
Log in

Proof-analysis and Continuity

  • Published:
Foundations of Science Aims and scope Submit manuscript

Abstract

During the first phase of Greek mathematics a proof consisted in showing or making visible the truth of a statement. This was the epagogic method. This first phase was followed by an apagogic or deductive phase. During this phase visual evidence was rejected and Greek mathematics became a deductive system. Now epagoge and apagoge, apart from being distinguished, roughly according to the modern distinction between inductive and deductive procedures, were also identified on account of the conception of generality as continuity. Epistemology of mathematics today only remembers the distinction, forgetting where they agreed, in this manner not only destroying the unity of the perceptual and conceptual but also forgetting what could be gained from Aristotelian demonstrative science.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  • S. Amsterdamski (1975) Between Experience and Metaphysics. Philosophical Problems of the Evolution of Science Reidel Dordrecht

    Google Scholar 

  • Aristotle (1966 <1960>), Aristotle. Posterior Analytics – Topica, Forster, E.S. (ed), Heinemann, Cambridge, Mass., London: Harvard University Press.

  • Ayer (1981) Language, truth and logic Penguin Books Harmondsworth

    Google Scholar 

  • Belhoste (1991) Augustin-Louis Cauchy: a biography Springer Berlin

    Google Scholar 

  • P. Bernays (1976) Abhandlungen zur Philosophie der Mathematik Wissenschaftliche Buchgesellschaft Darmstadt

    Google Scholar 

  • S. Bochner (1966) The Role of Mathematics in the Rise of Science Princeton University Press Princeton

    Google Scholar 

  • L. Bourgey (1975) Observation and Experiment in Analogical Explanation J. Barnes (Eds) Articles on Aristotle Duckworth & Co London 175–183

    Google Scholar 

  • E. Cassirer (1962) Leibniz’ System in seinen wissenschaftlichen Grundlagen Wissenschaftliche Buchgesellschaft Darmstadt

    Google Scholar 

  • Cauchy, A.-L.: 1821, Cours d’Analyse de l’École Royale Polytechnique, Impr. Royale, Paris, Analyse algébrique - XIV, 576.

  • Chasles.: 1837/1982, Geschichte der Geometrie, Reprint: Sändig, Wiesbaden.

  • C.W. Churchman (1968) Challenge to reason McGraw-Hill New York

    Google Scholar 

  • Corfield D. 2002, Argumentation and the Mathematical Process, In G. Kampis, L.Kvasz, M.Stöltzner (eds.), Appraising Lakatos. Mathematics, Methodology and the Man, Vienna Circle Institute Library 1, Kluwer, 115–138.

  • Coxeter H., Greitzer S. (1967). Geometry Revisited, The MAA New Math. Library, Vol. 19, Princeton.

  • O. Carvalho ParticleDe (1996) Aristoteles, Uma Nova Perspectiva Topic Books Rio de Janeiro

    Google Scholar 

  • Detel, W.: 1993, Einleitung – Aristoteles Analytica Posteriora, Werke in deutscher Übersetzung Bd. 3, Teil 2. 2 Bde., Bd. 1, Berlin: Akademie-Verlag, 103–438.

  • L. Euler (1748) Einleitung in die Analysis des Unendlichen Springer Verlag Berlin

    Google Scholar 

  • M. Friedman (1992) Kant and the Exact Sciences Harvard Univ. Press Cambridge (Massachuesetts)

    Google Scholar 

  • P. Gajdenko (1981) Ontologic Foundation of Scientific Knowledge in Seventeenth- and Eighteenth-Century Rationalism Jahnke Otte (Eds) Epistemological and Social Problems of the Sciences in the Early Nineteenth Century Reidel Dordrecht/Boston/London 55–63

    Google Scholar 

  • I. Grattan-Guinness (1970) The Development of the Foundations of Mathematical Analysis from Euler to Riemann MIT Press Cambridge

    Google Scholar 

  • I. Hacking (1980) Proof and Eternal Truth: Descartes and Leibniz Stephen Gaukroger (Eds) Descartes – Philosophy, Mathematics and Physics The Harvester Press Sussex 169–180

    Google Scholar 

  • Hintikka, J.: (1992), Kant on the Mathematical Method, In Posy, C.J. (ed) Kant’s Philosophy of Mathematics: Modern Essays, Synthese Library 219, Kluwer, Dordrecht

  • T. Koetsier (1991) Lakatos’ Philosophy of Mathematics: A Historical approach North-Holland Amsterdam

    Google Scholar 

  • L. Kvasz (1998) ArticleTitleHistory of Geometry and the Development of the Form of its Language Synthese 116 IssueID2 141–186 Occurrence Handle10.1023/A:1005008423734

    Article  Google Scholar 

  • Kvasz, L.: 2002, Lakatos’ Methodology Between Logic and Dialectic, In G.Kampis, L.Kvasz and M.Stöltzner (eds.), Appraising Lakatos. Mathematics, Methodology and the Man, Vienna Circle Institute Library 1, Kluwer, 211–242.

  • Lakatos, I.: 1970, Falsification and the Methodology of Scientific Research Programs. In I. Lakatos and A. Musgrave (eds.) Criticism and the Growth of Knowledge, Cambridge University Press, 91–196.

  • Lovejoy, A.: 1936/1964, The Great Chain of Being, Harvard University Press.

  • R.D. McKirahan (1992) Principles and Proofs : Aristotle’s Theory of Demonstrative Science Princeton Univ. Press Princeton, NJ

    Google Scholar 

  • Morrow, G.R.: 1970, Proclus - A Commentary on the First Book of Euclid’s Elements, Princeton University Press.

  • Otte, M.: (1992), Das Prinzip der Kontinuität, In Mathematische Semesterberichte, 39, 105–125.

  • Otte, M.: 1993, Kontinuitätsprinzip und Prinzip der Identität des Ununterscheidbaren. In Studia Leibnitiana, Band XXV, Heft 1, Franz Steiner Verlag, 70–89.

  • Peirce CCL = The Cambridge Conferences Lectures of 1898, In: Ch. S. Peirce, Reasoning and the Logic of Things, ed. by K.L. Ketner, with an Introduction by K.L. Ketner and H. Putnam, Harvard UP, Cambridge/London 1992.

  • Peirce CP = Collected Papers of Charles Sanders Peirce, Volumes I-VI, ed. by Charles Hartshorne and Paul Weiß, Cambridge, Mass. (Harvard UP) 1931–1935, Volumes VII-VIII, ed. by Arthur W. Burks; Cambridge, Mass. (Harvard UP) 1958.

  • Peirce MS = Manuscript, according to Richard S. Robin, Annotated Catalogue of the Papers of Charles S. Peirce, The University of Massachusetts Press 1967.

  • Peirce NEM = Carolyn Eisele (ed.), The New Elements of Mathematics by Charles S. Peirce, Vol. I-IV, The Hague-Paris/Atlantic Highlands, N.J. 1976 (Mouton / Humanities Press).

  • Peirce W = Writings of Charles S. Peirce. A Chronological Edition, Vol. 1-5, Bloomington (Indiana University Press) 1982 ff..

  • Piaget, J.: 1980. In: Piattelli-Palmarini (eds.) Language and Learning, The Debate between Jean Piaget and Noam Chomsky [based on the transcription of the debate held in Oct. 1975 at Abbaye de Royaumont near Paris; also includes 2 papers written for the participants and distributed before the colloquium], Cambridge, Massahusetts: Harvard Univ. Press.

  • Piaget, J., Garcia R.: 1989, Psychogenesis and the History of Science (Psychogenèse et histoire des sciences, 1983), New York: Columbia Univ. Press.

  • R. Rucker (1981) Infinity and the Mind–The Science and Philosophy of the Infinite Princeton Univ. Press Princeton NJ

    Google Scholar 

  • R. Tursman (1987) Peirce’s Theory of Scientific Discovery Indiana UP Bloomington

    Google Scholar 

Download references

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Otte, M. Proof-analysis and Continuity. Found Sci 11, 121–155 (2006). https://doi.org/10.1007/s10699-004-5915-0

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10699-004-5915-0

Keywords

Navigation