, Volume 54, Issue 2, pp 173–194

Platonistic Formalism

  • L. Horsten

DOI: 10.1023/A:1005632214390

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


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

Authors and Affiliations

  • L. Horsten
    • 1
  1. 1.Center for Logic, Philosophy of Science & Philosophy of LanguageUniversity of LeuvenLeuvenBelgium