современная математика разработала метод, который в основном полностью соответствует методу, требуемому Кантом для философии. Это регрессивный метод, значение которого состоит не в расширении наших знаний, добавлении новых истин к уже известным и развитии их следствий, а в проверке уже известных истин с точки зрения их предпосылок. Прежде чем приступить к решению проблемы, необходимо изучить условия ее разрешимости: выяснить, может ли она вообще быть решена, какие предпосылки уже содержатся в самой проблеме и какие предпосылки необходимы и достаточны для конкретного решения проблемы. Я хочу применить этот метод к проблеме эпистемологии, так называемой проблеме знания. Эта проблема заключается в объективной истинности наших знаний. Задача эпистемологии – проверить истинность или объективную обоснованность наших знаний. Я утверждаю, что решение этой проблемы невозможно, и доказываю это следующим образом. Для того чтобы решить поставленную проблему, нам необходимо иметь критерий, на основании которого мы могли бы решить, является ли познание истинным или нет. Я кратко назову его «эпистемико-тероэтическим критерием». Этот критерий либо сам является познанием, либо нет. Если бы он был познанием, то принадлежал бы к области проблематического, истинность которого можно определить только с помощью эпистемологического критерия. Поэтому оно не может быть само по себе реализацией. Но если эпистемологический критерий не является познанием, то для того, чтобы быть применимым, он должен быть известен, т.е. мы должны быть в состоянии признать, что он является критерием истины. Но для того, чтобы получить это знание о критерии, мы уже должны были бы его применить. Таким образом, в обоих случаях мы приходим к противоречию. Следовательно, эпистемологический критерий невозможен, а значит, не может быть и эпистемологии.
Чтобы прояснить содержание доказанного, достаточно привести пример. Пусть кто-то утверждает, что согласие между мыслящими субъектами и есть искомый эпистемологический критерий. Чтобы иметь возможность применить этот критерий, мы должны знать, что согласие различных субъектов является критерием истинности их познания. Однако для того, чтобы прийти к этому знанию, мы должны применить этот критерий к предположению, что согласие является критерием, о котором идет речь. Мы должны убедить себя в том, что все субъекты согласны с утверждением, что согласие является критерием истинности их утверждений. Но для того чтобы признать истинность этого предположения, мы должны были бы предположить, что оно верно, то есть что согласие является эпистемологическим критерием. Возможность прийти к такому знанию означала бы внутреннее противоречие.
Давайте сначала более четко представим себе смысл и содержание этой посылки. Поначалу кажется, что это не что иное, как применение логической теоремы основания, согласно которой каждое утверждение требует обоснования. На самом деле эпистемология стоит и падает на этой предпосылке о необходимости обоснования
