Erkenntnis

, Volume 54, Issue 2, pp 173–194

Platonistic Formalism

Authors

  • L. Horsten
    • Center for Logic, Philosophy of Science & Philosophy of LanguageUniversity of Leuven
Article

DOI: 10.1023/A:1005632214390

Cite this article as:
Horsten, L. Erkenntnis (2001) 54: 173. doi:10.1023/A:1005632214390

Abstract

The present paper discusses a proposal which says,roughly and with several qualifications, that thecollection of mathematical truths is identical withthe set of theorems of ZFC. It is argued that thisproposal is not as easily dismissed as outright falseor philosophically incoherent as one might think. Some morals of this are drawn for the concept ofmathematical knowledge.

Copyright information

© Kluwer Academic Publishers 2001