Skip to main content Accessibility help
×
Hostname: page-component-cc8bf7c57-n7pht Total loading time: 0 Render date: 2024-12-11T15:57:06.510Z Has data issue: false hasContentIssue false

The Euclidean Programme

Published online by Cambridge University Press:  31 January 2024

A. C. Paseau
Affiliation:
University of Oxford
Wesley Wrigley
Affiliation:
LSE - Philosophy, Logic and Scientific Method

Summary

The Euclidean Programme embodies a traditional sort of epistemological foundationalism, according to which knowledge – especially mathematical knowledge – is obtained by deduction from self-evident axioms or first principles. Epistemologists have examined foundationalism extensively, but neglected its historically dominant Euclidean form. By contrast, this book offers a detailed examination of Euclidean foundationalism, which, following Lakatos, the authors call the Euclidean Programme. The book rationally reconstructs the programme's key principles, showing it to be an epistemological interpretation of the axiomatic method. It then compares the reconstructed programme with select historical sources: Euclid's Elements, Aristotle's Posterior Analytics, Descartes's Discourse on Method, Pascal's On the Geometric Mind and a twentieth-century account of axiomatisation. The second half of the book philosophically assesses the programme, exploring whether various areas of contemporary mathematics conform to it. The book concludes by outlining a replacement for the Euclidean Programme.
Get access
Type
Element
Information
Online ISBN: 9781009221955
Publisher: Cambridge University Press
Print publication: 22 February 2024

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Adam, C. and Tannery, P. (eds.) (1897–1910), Oeuvres de Descartes, vols. 112, Leopold Cerf.Google Scholar
Aristotle (4th century BC), The Categories, On Interpretation, Prior Analytics, transl. by Cooke, H. P. and Tredennick, H., 1938 ed., Harvard University Press: Loeb Classical Library.Google Scholar
Aristotle (4th century BC), Physics, transl. by R. Waterfield, 2008 ed., Oxford University Press.Google Scholar
Aristotle (4th century BC), Posterior Analytics, Topica, transl. by Tredennick, H. and Forster, E. S., 1960 ed., Harvard University Press: Loeb Classical Library.Google Scholar
Arnauld, A. and Nicole, P. (1683/2019), La Logique ou l’Art de Penser (5th ed.), 2nd Revised ed. by P. Clair and Gibral, F., Librairie Philosophique J. Vrin.Google Scholar
Barnes, J. (ed.) (1993), Aristotle’s Posterior Analytics (2nd ed.), Oxford University Press.Google Scholar
Barnes, J. (2005), ‘What Is a Disjunction?’, in Frede, D. and Inwood, B. (eds.), Language and Learning, Cambridge University Press, repr. in his Logical Matters (2012), Oxford University Press: 512–37.Google Scholar
Barton, N., Ternullo, C., and Venturi, G. (2020), ‘On Forms of Justification in Set Theory’, Australasian Journal of Logic 17: 158200.Google Scholar
Boolos, G. (1971), ‘The Iterative Conception of Set’, Journal of Philosophy 68: 215–31.Google Scholar
Boolos, G. (1989), ‘Iteration Again’, Philosophical Topics 17: 521.Google Scholar
Bos, H. (1981), ‘On the Representation of Curves in Descartes’ Géométrie’, Archive for History of Exact Sciences 24: 295338.Google Scholar
Bos, H. (2001), Redefining Geometrical Exactness, Springer.Google Scholar
Bronstein, D. (2016), Aristotle on Knowledge and Learning: The Posterior Analytics, Oxford University Press.Google Scholar
Burnyeat, M. F. (1981), ‘Aristotle on Understanding Knowledge’, in Berti, E. (ed.), Aristotle on Science: The Posterior Analytics, Antenore: 97139.Google Scholar
Clairaut, A. (1741), Éléments de Géométrie, ed. by Regodt, H. (1853), Jules Delalain.Google Scholar
Clarke-Doane, J. (2013), ‘What Is Absolute Undecidability?’, Noûs 47: 467–81.Google Scholar
Corcoran, J. (1974), ‘Aristotle’s Natural Deduction System’, in Corcoran, J. (ed.), Ancient Logic and Its Modern Interpretations, Reidel: 85131.Google Scholar
Corkum, P. (2016), ‘Ontological Dependence and Grounding in Aristotle’, Oxford Handbooks Online in Philosophy, https://doi.org//10.1093/oxfordhb/9780199935314.013.31.Google Scholar
Craig, E. (1996), The Mind of God and the Works of Man, Oxford University Press.CrossRefGoogle Scholar
Crivelli, P. (2004), Aristotle on Truth, Cambridge University Press.Google Scholar
Davey, K. (2021), ‘On Euclid and the Genealogy of Proof’, Ergo 8: 5482.Google Scholar
Denyer, N. C. (2022), ‘Diagrams and Proof in Euclid, Aristotle, and Plato’ (ms.).Google Scholar
Descartes, R. (1637/2001), Discourse on Method, Optics, Geometry, and Meteorology, transl. by Olscamp, P. (Revised ed.), Hackett.Google Scholar
Descartes, R. (1984a/vol. 1) & (1984b/vol. 2), The Philosophical Writings of Descartes, transl. by Cottingham, J., Stoothoff, R., and Murdoch, D., Cambridge University Press.Google Scholar
Detel, W. (2012), ‘Aristotle’s Logic and Theory of Science’, in Gill, M. L. and Pellegrin, P. (eds.), A Companion to Ancient Philosophy, Wiley: 245–69.Google Scholar
Detlefsen, M. (2014), ‘Completeness and the Ends of Axiomatisation’, in Kennedy, J. (ed.), Interpreting Gödel, Cambridge University Press: 5977.Google Scholar
Domski, M. (2009), ‘The Intelligibility of Motion and Construction: Descartes’ Early Mathematics and Metaphysics, 1619–1637’, Studies in History and Philosophy of Science 40: 119–30.Google Scholar
Dummett, M. (1973), ‘The Philosophical Basis of Intuitionistic Logic’, in his Truth and Other Enigmas (1978), Harvard University Press: 215–47.Google Scholar
Einstein, A. (1934), ‘On the Method of Theoretical Physics’, Philosophy of Science 1: 163–9.Google Scholar
Feferman, S. (1998), In the Light of Logic, Oxford University Press.CrossRefGoogle Scholar
Feferman, S. (2000), ‘Does Mathematics Need New Axioms?’, Bulletin of Symbolic Logic 6: 401–13.Google Scholar
Field, H. (2006), ‘Truth and the Unprovability of Consistency’, Mind 115: 567605.Google Scholar
Frege, G. (1884/1953), The Foundations of Arithmetic (2nd ed.), transl. by Austin, J., Northwestern University Press.Google Scholar
Freudenthal, G. (1988), ‘La philosophie de la géometrie d’al-Fârâbî: Son commentaire sur le début du Ier et le début du Ve livre des Éléments d’Euclide’, Jerusalem Studies in Arabic and Islam 11: 104219.Google Scholar
Friedman, H. (1971), ‘Higher Set Theory and Mathematical Practice’, Annals of Mathematical Logic 2: 325–57.Google Scholar
Gardies, J-L. (1982), ‘L’interprétation d’Euclide chez Pascal et Arnauld’, Les études philosophiques 2: 129–48.Google Scholar
Gardies, J-L. (1984), Pascal entre Eudoxe et Cantor, Vrin.Google Scholar
Gödel, K. (1931), ‘On Formally Undecidable Propositions of Principia Mathematica and Related Systems I’ transl. by van Heijenoort, J. in Feferman et al (eds.) (1986), Kurt Gödel: Collected Works (vol. 1), Oxford University Press: 144–95.Google Scholar
Gödel, K. (1964), ‘What Is Cantor’s Continuum Problem?’, in Feferman, et al (eds.) (1990), Kurt Gödel: Collected Works (vol. 2), Oxford University Press: 254–70.Google Scholar
Griffiths, O. and Paseau, A. C. (2022), One True Logic, Oxford University Press.Google Scholar
Grosholz, E. R. (1991), Cartesian Method and the Problem of Reduction, Oxford University Press.Google Scholar
Hauser, K. (2005), ‘Is Choice Self-Evident?’, American Philosophical Quarterly 42: 237–61.Google Scholar
Heath, T. (ed.) (1925), The Thirteen Books of the Elements (2nd ed.), vol. 1: Books I–II, vol. 2: Books III–IX, vol. 3: Books X–XIII, Cambridge University Press, 1956 Dover ed.Google Scholar
Heyting, A. (1980), Axiomatic Projective Geometry (2nd ed.), North-Holland.Google Scholar
Hilbert, D. (1899a), Grundlagen der Geometrie, transl. by L. Unger from the 10th German ed. as Foundations of Geometry (1990, 2nd ed.), Open Court.Google Scholar
Hilbert, D. (1899b), ‘Hilbert to Frege 29.12.1899’, in Gabriel, G. (ed.) (1980), Gottlob Frege: Philosophical and Mathematical Correspondence, University of Chicago Press: 3843.Google Scholar
Hilbert, D. (1925), ‘On the Infinite’, transl. by Bauer-Mengelberg, S. in van Heijenoort, J. (ed.) (1967), From Frege to Gödel: A Source Book in Mathematical Logic 1879–1931, Harvard University Press: 367–92.Google Scholar
Huntington, E. V. (1911), ‘The Fundamental Propositions of Algebra’, in Young, J. W. A. (ed.) Monographs on Topics of Modern Mathematics, Longmans, Green and Co.: 149207.Google Scholar
Jaffe, A. (1997), ‘Proof and the Evolution of Mathematics’, Synthese 111: 133–46.Google Scholar
Jeshion, R. (2001), ‘Frege’s Notions of Self-Evidence’, Mind 110: 937–76.Google Scholar
Jesseph, D. (2022), ‘Berkeley and Mathematics’, in Rickless, S. (ed.), The Oxford Handbook of Berkeley, Oxford University Press: 300–25.Google Scholar
Kneale, W. and Kneale, M. (1962), The Development of Logic, Oxford University Press.Google Scholar
Kunen, K. (2013), Set Theory (Revised ed.), College Publications.Google Scholar
Lakatos, I. (1962), ‘Infinite Regress and Foundations of Mathematics’, in Worrall, J. and Currie, G. (eds.) (1978), Mathematics, Science, and Epistemology, Cambridge University Press: 323.Google Scholar
Lakatos, I. (1976), ‘A Renaissance of Empiricism in the Recent Philosophy of Mathematics’, British Journal for the Philosophy of Science 27: 201–23.Google Scholar
Lee, H. D. P. (1935), ‘Geometrical Method and Aristotle’s Account of First Principles’, The Classical Quarterly 29: 113–24.Google Scholar
Lewis, F. (1920), ‘History of the Parallel Postulate’, American Mathematical Monthly 27: 1623.Google Scholar
Lloyd, G. E. R. (2014), The Ideals of Inquiry: An Ancient History, Oxford University Press.Google Scholar
Locke, J. (1689/2004), An Essay Concerning Human Understanding, ed. by Woolhouse, R., Penguin.Google Scholar
Lycan, W. G. (2001), Real Conditionals, Oxford University Press.Google Scholar
Maddy, P. (1988), ‘Believing the Axioms’, Journal of Symbolic Logic 53: 481511, 736–64.Google Scholar
Maddy, P. (2011), Defending the Axioms, Oxford University Press.Google Scholar
Mancosu, P. and Mugnai, M. (2023), Syllogistic Logic and Mathematical Proof, Oxford University Press.Google Scholar
McGee, V. (1985), ‘A Counterexample to Modus Ponens’, Journal of Philosophy 82: 462–71.Google Scholar
Mill, J. S. (1882), A System of Logic, Ratiocinative and Inductive (8th ed.), Harper & Brothers.Google Scholar
Moriarty, M. (2020), Pascal: Reasoning and Belief, Oxford University Press.Google Scholar
Morison, B. (2019), ‘Theoretical Nous in the Posterior Analytics’, Manuscrito 42: 143.Google Scholar
Mueller, I. (1974), ‘Greek Mathematics and Greek Logic’, in Corcoran, J. (ed.), Ancient Logic and Its Modern Interpretations, Reidel: 3570.Google Scholar
Nelson, E. (1986), Predicative Arithmetic, Princeton University Press.Google Scholar
Pascal, B. (1655/1991), De l’esprit géométrique, in Pascal: Œuvres Complètes, vol. III: Œuvres Diverses (1654–1657), Mesnard, J. (ed.): 360428 (including commentary by Mesnard), Desclée de Brouwer.Google Scholar
Pasch, M. (1882), Vorlesungen über neuere Geometrie, Teubner.Google Scholar
Paseau, A. C. (2007), ‘Boolos on the Justification of Set Theory’, Philosophia Mathematica 15: 3053.Google Scholar
Paseau, A. C. (2011), ‘Mathematical Instrumentalism, Gödel’s Theorem and Inductive Evidence’, Studies in History and Philosophy of Science Part A 42: 140–9.Google Scholar
Paseau, A. C. (2015), ‘Knowledge of Mathematics without Proof’, British Journal for the Philosophy of Science 66: 775–99.Google Scholar
Paseau, A. C. (2016), ‘What’s the Point of Complete Rigour?’, Mind 125: 177207.Google Scholar
Paseau, A. C. (2023), ‘Non-Deductive Justification in Mathematics’, in Sriraman, B. (ed.), Handbook of the History and Philosophy of Mathematical Practice, Springer, https://doi.org/10.1007/978-3-030-19071-2_116-1.Google Scholar
Paseau, A. C. and Leek, R. (2022), ‘The Compactness Theorem’, Internet Encyclopedia of Philosophy, https://iep.utm.edu/compactness-theorem.Google Scholar
Pasnau, R. (2017), After Certainty, Oxford University Press.Google Scholar
Potter, M. (2004), Set Theory and Its Philosophy, Oxford University Press.Google Scholar
Proclus (5th century AD/1970), A Commentary on the First Book of Euclid’s Elements, transl. by G. R. Morrow, Princeton University Press.Google Scholar
Ross, W. D. (1957), Aristotle’s Prior and Posterior Analytics (Revised ed.), Oxford University Press.Google Scholar
Russell, B. (1907), ‘The Regressive Method of Discovering the Premises of Mathematics’, in Moore, G. (ed.) (2014), The Collected Papers of Bertrand Russell, vol. 5, Routledge: 571–80.Google Scholar
Schechter, J. (2013), ‘Rational Self-Doubt and the Failure of Closure’, Philosophical Studies 163: 429–52.CrossRefGoogle Scholar
Shapiro, S. (1997), Philosophy of Mathematics: Structure and Ontology, Oxford University Press.Google Scholar
Shapiro, S. (2009), ‘We Hold These Truths to Be Self-evident: But What Do We Mean by That?’, Review of Symbolic Logic 2: 175207.Google Scholar
Simpson, S. (2009), Subsystems of Second Order Arithmetic (2nd ed.), Cambridge University Press.Google Scholar
Smiley, T. J. (1973), ‘What Is a Syllogism?’, Journal of Philosophical Logic 2: 136–54.Google Scholar
Smith, P. (2013), An Introduction to Gödel’s Theorems (2nd ed.), Cambridge University Press.Google Scholar
Sorell, T. (2016), ‘Knowledge (Scientia)’, in Nolan, L. (ed.), The Cambridge Descartes Lexicon, Cambridge University Press: 423–8.Google Scholar
Tarski, A. (1994), Introduction to Logic and to the Methodology of Deductive Sciences (4th ed.), Oxford University Press.Google Scholar
Tarski, A. and Givant, S. (1999), ‘Tarksi’s System of Geometry’, Bulletin of Symbolic Logic 5: 175214.Google Scholar
Wardhaugh, B. (2020), The Book of Wonders: The Many Lives of Euclid’s Elements, William Collins.Google Scholar
Whitehead, A. N. and Russell, B. (1910/1927), Principia Mathematica to *56 (2nd ed.), Cambridge University Press.Google Scholar
Wrigley, W. (2022a), ‘Gödelian Platonism and Mathematical Intuition’, European Journal of Philosophy 30: 578600.Google Scholar
Wrigley, W. (2022b), ‘Gödel’s Disjunctive Argument’, Philosophia Mathematica 30: 306–42.Google Scholar
Zermelo, E. (1930), ‘On Boundary Numbers and Domains of Sets: New Investigations in the Foundations of Set Theory’, transl. by M. Hallett in W. Ewald (1996), From Kant to Hilbert vol. 2, Oxford University Press: 1219–33.Google Scholar
Zuppolini, B. (2020), ‘Comprehension, Demonstration, and Accuracy in Aristotle’, Journal of the History of Philosophy 58: 2948.Google Scholar

Save element to Kindle

To save this element to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about saving to your Kindle.

Note you can select to save to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

The Euclidean Programme
Available formats
×

Save element to Dropbox

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Dropbox.

The Euclidean Programme
Available formats
×

Save element to Google Drive

To save content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about saving content to Google Drive.

The Euclidean Programme
Available formats
×