Osnova sekce

  • Read Balaguer's and Benacerraf's papers. Balaguer argues it is possible to formulate a convincing argument for platonism in mathematics which includes an explanation of how mathematicians obtain knowledge of mathematical objects (epistemology). It is an answer to an earlier Benacerraf's paper which claims that platonism is incompatible with naturalistic epistemology.

    Think about the following points:

    • What is naturalistic epistemology, and why it should be incompatible with platonism?
    • What is FBP (full-blooded platonism)? Why does Balaguer think that it solves the problem of Benacerraf?
    • Compare FBP with Hilbert's (implicit?) position that consistency implies existence.