Proof-analysis and continuity

Foundations of Science 11 (1-2):121-155 (2004)
  Copy   BIBTEX

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.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Knowledge of Mathematics without Proof.Alexander Paseau - 2015 - British Journal for the Philosophy of Science 66 (4):775-799.
Why Is Proof the Only Way to Acquire Mathematical Knowledge?Marc Lange - 2024 - Australasian Journal of Philosophy 102 (2):333-353.
Introduction to logic and to the methodology of deductive sciences.Alfred Tarski - 1946 - New York: Dover Publications. Edited by Jan Tarski.
Non-deductive logic in mathematics.James Franklin - 1987 - British Journal for the Philosophy of Science 38 (1):1-18.
Dedekind and Wolffian Deductive Method.José Ferreirós & Abel Lassalle-Casanave - 2022 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 53 (4):345-365.
Alfred Tarski's work on general metamathematics.W. J. Blok & Don Pigozzi - 1988 - Journal of Symbolic Logic 53 (1):36-50.
Proofs, Reliable Processes, and Justification in Mathematics.Yacin Hamami - 2021 - British Journal for the Philosophy of Science 74 (4):1027-1045.

Analytics

Added to PP
2009-01-28

Downloads
58 (#368,337)

6 months
7 (#699,353)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The eco-cognitive model of abduction.Lorenzo Magnani - 2015 - Journal of Applied Logic 13 (3):285-315.

Add more citations

References found in this work

Language, truth and logic.Alfred Jules Ayer - 1936 - London,: V. Gollancz.
Kant and the exact sciences.Michael Friedman - 1992 - Cambridge: Harvard University Press.
Language, Truth, and Logic.A. J. Ayer - 1936 - Philosophy 23 (85):173-176.
Falsification and the Methodology of Scientific Research Programmes.Imre Lakatos - 1970 - In Imre Lakatos & Alan Musgrave (eds.), Criticism and the growth of knowledge. Cambridge [Eng.]: Cambridge University Press. pp. 91-196.

View all 22 references / Add more references