Epistemologické výzvy platonismu a Gödelovo pojetí matematické intuice

Text se věnuje možnosti uspokojivé epistemologie matematického platonismu: otázce, jak je možné získat znalost o entitách, které jsou abstraktní a na mysli nezávislé. První část textu se zaměřuje na vymezení platonismu a formulaci epistemologických námitek, představuje námitky Paula Benacerrafa a Hartryho Fielda. Ve druhé části je představena a analyzována matematická intuice postulovaná Kurtem Gödelem. Gödelova epistemologická strategie je upřesněna pomocí otázek: (1) O jaký typ intuice se jedná? (2) Jedná se o spolehlivý zdroj znalosti? (3) Podává Gödel nějaké vysvětlení mechanismu intuice?

This paper deals with the possibility of satisfactory epistemology of mathematical platonism: it questions how it is possible to obtain a knowledge of abstract and mindindependent entities. The first part of the paper focuses on defining platonism and formulation of epistemological objections by Paul Benacerraf and Hartry Field. In the second part mathematical intuition postulated by Kurt Gödel is presented and analysed. Gödel's epistemological strategy is identified on the basis of questions: (1) What kind of intuition is it? (2) Is it a reliable source of knowledge? (3) Does Gödel provide an explanation of the mechanism of intuition?