Foundations of Science

, Volume 11, Issue 1–2, pp 41–79 | Cite as

Mathematics as a Quasi-Empirical Science

  • Gianluigi Oliveri


The present paper aims at showing that there are times when set theoretical knowledge increases in a non-cumulative way. In other words, what we call ‘set theory’ is not one theory which grows by simple addition of a theorem after the other, but a finite sequence of theories T1, ..., T n in which Ti+1, for 1 ≤ i < n, supersedes T i . This thesis has a great philosophical significance because it implies that there is a sense in which mathematical theories, like the theories belonging to the empirical sciences, are fallible and that, consequently, mathematical knowledge has a quasi-empirical nature. The way I have chosen to provide evidence in favour of the correctness of the main thesis of this article consists in arguing that Cantor–Zermelo set theory is a Lakatosian Mathematical Research Programme (MRP).


quasi-empiricism and mathematics lakatos mathematical research programme Cantor–Zermelo set theory philosophy of mathematics mathematical knowledge 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Burali-Forti, C.: 1897, Una Questione sui Numeri Transfiniti, Rendiconti del Circolo Matematico di Palermo 11.Google Scholar
  2. Cantor, G. 1879Über unendliche, lineare Punktmannigfaltgkeiten IMathematische Annalen1517CrossRefGoogle Scholar
  3. Cantor, G. 1883bÜber unendliche, lineare Punktmannigfaltigkeiten VMathematische Annalen21545591Google Scholar
  4. Cantor, E.: 1886, Cantor an Eulenburg, part of (Cantor 1887–88), to be found in (Cantor 1962), pp. 405–406.Google Scholar
  5. Cantor, G.: 1887–88, Mitteilungen zur Lehre vom Transfiniten. In Cantor (1962), pp. 378–439.Google Scholar
  6. Cantor, G.: 1895/97 (1955, Contributions to the Founding of the theory of Transfinite Numbers. New York: Dover Publications, Inc.).Google Scholar
  7. Cantor, G. 1883aGrundlagen einer allgemeinen MannigfaltigkeitslehreTeubnerLeipzigGoogle Scholar
  8. Cantor, G.: 1899, Cantor an Dedekind. In Cantor (1962), pp. 443–447.Google Scholar
  9. Cantor, G.: 1899, Cantor an Dedekind. In Cantor (1962), p. 448.Google Scholar
  10. Cantor, G.: 1962, Gesammelte Abhandlungen. E. Zermelo Editor, Hildesheim: Georg Olms Verlagsbuchhandlung,.Google Scholar
  11. Cauchy, A.L.: 1921, Cours d’analyse algébrique, In Cauchy (1897–99).Google Scholar
  12. Cauchy, A.L.: 1897–99 (Euvres. Gauthier–Villors).Google Scholar
  13. Dales, H.G.Oliveri, G. eds. 1998Truth in MathematicsOxford University PressOxfordGoogle Scholar
  14. Dauben, J.W. 1990Georg CantorPrinceton University PressPrinceton, New JerseyGoogle Scholar
  15. Dauben, J.W.: 1980, The Development of Cantorian Set Theory. In Grattan Guinness (1980), pp. 181–219.Google Scholar
  16. Dedekind, R. 1963Essays on the Theory of NumbersDover Publications, IncNew YorkGoogle Scholar
  17. Dedekind, R.: 1963, The nature and meaning of numbers. In Dedekind (1963b), pp. 44–115.Google Scholar
  18. Drake, F.R., Singh, D. 1996Intermediate Set TheoryJohn Wiley & sonsChichesterGoogle Scholar
  19. Ernest, P. 1997The Legacy of Lakatos: Reconceptualising the Philosophy of MathematicsPhilosophia Mathematica5116134Google Scholar
  20. Fraenkel A.A., Bar-Hillel Y., and Levy A. (1984). Foundations of Set Theory. Second Revised Edition. New York, Oxford: North-Holland, Amsterdam.Google Scholar
  21. Freudenthal, H.: 1971, Did Cauchy plagirize Bolzano?. Archive for History of Exact Sciences 7.Google Scholar
  22. Friedman, H. 1971Higher set theory and mathematical practiceAnnals of Mathematical Logic2325357CrossRefGoogle Scholar
  23. Glas, E. 1995Kuhn, Lakatos, and the Image of MathematicsPhilosophia Mathematica3225247Google Scholar
  24. Grabiner, J.: 1984, Cauchy and Bolzano. In Mendelsohn (1984), pp. 105–124.Google Scholar
  25. Grattan-Guinness, I. 1979Bolzano, Cauchy and the New Analysis of the Early Nineteenth CenturyArchive for the History of the Exact Sciences6372400Google Scholar
  26. Grattan-Guinness, I. eds. 1980From the Calculus to Set Theory 1630–1910DuckworthLondonGoogle Scholar
  27. Hallett, M. 1984Cantorian set Theory and Limitation of SizeClarendon PressOxfordGoogle Scholar
  28. Hallett, M. 1979aTowards a Theory of Mathematical Research Programmes (I)British Journal for the Philosophy of Science30125Google Scholar
  29. Hallett, M. 1979bTowards a Theory of Mathematical Research Programmes (II)British Journal for the Philosophy of Science30135159Google Scholar
  30. Hobson E.W. (1921). The Theory of Functions of a Real Variable and the Theory of Fourier’s Series. Second Edition, Cambridge at the University Press.Google Scholar
  31. Jech, T.J. 1973The Axiom of ChoiceNorth-HollandAmsterdamGoogle Scholar
  32. Kline, M. 1972Mathematical Thought from Ancient to Modern TimesOxford University PressNew YorkGoogle Scholar
  33. Koetsier, T. 1991Lakatos’ Philosophy of Mathematics A Historical ApproachNorth-HollandAmsterdamGoogle Scholar
  34. Lakatos, I.: 1983a, Falsification and the Methodology of Scientific Research Programmes. In Lakatos (1983), Vol. I, pp. 8–101.Google Scholar
  35. Lakatos, I. and Zahar, E.: 1983b, ‘Why did Copernicus’s research programme supersede Ptolemy’s?’, In Lakatos (1983), Vol. I, pp. 168–192.Google Scholar
  36. Lakatos, I. 1983Philosophical PapersCambridge University PressCambridgeGoogle Scholar
  37. Maddy, P. 1997Naturalism in MathematicsClarendon PressOxfordGoogle Scholar
  38. Martin, D.A. 1975Borel DeterminacyAnnals of Mathematics102363371Google Scholar
  39. Mendelsohn, E. eds. 1984Transformation and tradition in science: Essays in honor of I. Bernard CohenCambridge University PressCambridgeGoogle Scholar
  40. Moore, G.H. 1982Zermelo’s Axiom of ChoiceSpringer-VerlagNew York, Heidelberg, BerlinGoogle Scholar
  41. Heijenoort, J. 1967From Frege to GödelHarvard University PressCambridge, MassachusettsGoogle Scholar
  42. Wagon, S. 1985The Banach-Tarski ParadoxCambridge University PressCambridgeGoogle Scholar
  43. Zermelo, E.: 1908, Investigations in the foundations of set theory I. In van Heijenoort (1967), pp. 199–215.Google Scholar

Copyright information

© Springer 2006

Authors and Affiliations

  1. 1.Dipartimento di Filosofia e Critica dei SaperiUniversità di PalermoPalermoItalia

Personalised recommendations