– И мне, Менон, нравится то, что я сказал. Известнейшим образцом доктрины припоминания на чисто интуитивной основе стала «Ода намеку на бессмертие» Вордсворта. Подобно большинству поэтов, подпавших в юности под влияние реализма Платона, Вордсворт не верил, в отличие от верившего Сократа (Платона?), что логические и научные знания были унаследованы вместе с душой. Реализм в понимании Платона исходит от эмоций, а не от разума. Мистику, математику и прочее найти еще можно. Одно из предназначений мистицизма – моментальное знание о реальности прямой интуицией без посредничества чувств или разума. Настоящая мистика не нуждается в доказательствах, как у Сократа. Для него они не нужны, неуместны и бессмысленны.
Доказав бессмертие души, Сократ быстро перешел к бессмертию добродетели. Нет необходимости следовать за ним. Все его (или Платона?) усилия по доказательству предположения такого рода фундаментально не отличаются от представленного. Для ума, жаждущего быть убежденным, наиболее убедительными из всех попыток Платона установить «объективную реальность мироздания» (таких, как истина, добродетель, любовь, человек, знания и т. д.) были те, что касались общеизвестных истин арифметики и геометрии. И значит, так оно и было, раз Сократ убедил Менона. Платон не был ни первым, ни последним, кто искал математическое постоянство среди ускользающих воспоминаний о событиях прошлого. Из века в век у думающих людей сохраняется потребность найти отдельные признаки постоянного убежища в вечно существующем потоке, который время от времени бросает их на скалы (или в болото) предполагаемо вечной математики.
Суть реализма Платона – мистическая доктрина об Идеях и Формах. По мнению ряда экспертов, записи Платона содержат как минимум две теории Идей. Математики, согласные с Харди, которого уже цитировали в первой главе, в том, что «математическая реальность лежит вне нас», не нуждаются в убеждении самих себя, которую из теорий Идей им стоит использовать для поддержания собственной уверенности. Одна, чтобы объединить все, предоставляет им изобилие взаимно подтверждающих аргументов. Нет необходимости беспокоить тех, кто интересуется вместе с Казнером, как человеческие создания когда-то додумались поверить в платоновскую реальность математики, школьными сомнениями о том, в которую из версий своей теории, если таковые имеются, в конечном счете верил сам Платон. Любой единичный аргумент из скопления всевозможных аргументов в состоянии показать, что подтолкнуло реалистически мыслящих математиков разглядеть «объективную реальность» математики. Выбрав один из самых простых, рассмотрим его по «Фаэдо» в части «реального» равенства.