Бесконечный регресс и основания математики
Эта статья была впервые опубликована в Дополнительном томе журнала аристотелевского общества (Aristotelian Society Supplementary Volume. 1962. Vol. 36).
[Скептическая философия в течение более двух тысяч лет учила, что невозможно достичь как определенно (conclusively) установленных значений, так и определенно установленных истин. Но установление значения и истины в математике ― как раз цель "оснований".] Классический скептический довод базировался на бесконечном регрессе. Можно попытаться связать значение термина, определяя его в других терминах (это ведет к бесконечному регрессу) или путем определения его в "совершенно известных терминах". Однако действительно ли три термина в выражении "совершенно известные термины" совершенно известные термины? Нетрудно заметить, что и в этом случае возникает недуг бесконечного регресса. Каким образом тогда философия математики всё же утверждает, что в математике есть или должны быть точные понятия? Каким образом она надеется обойти скептический критицизм? Как может она заявлять, что выдвинуты основания математики ― логицистские, метаматематические и интуиционистские? И даже допуская "точные" понятия, как можем мы доказать, что суждение истинно? Каким образом можем мы обойти бесконечный регресс в определениях? Значение и истина могут лишь передаваться, а не устанавливаться. Но если так, как мы можем знать?