Главная / Архив журналов / №1 (22) / Еще одна аксиома рационалистической эпистемологии априорного знания (историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания: Г. В. Лейбниц; К. Гёдель; А. Чёрч)
Аннотация
На основании историко-философского и собственно логического анализа богатого интеллектуального наследия Лейбница в систему аксиом рационалистической эпистемологии априоризма добавляется еще одна важная аксиома, а именно, принцип необходимой машинности (алгоритмичности) априорного знания. В эпистемологии крайний оптимизм Лейбница проявился в форме его уверенности в необходимо всеобщем характередоказуемости рациональных (необходимых) истин путем их механической вычислимости. Он искренне верил, что, в сущности, любое рациональное (необходимо истинное) знание алгоритмично. Этот крайне оптимистический принцип Лейбница был подвергнут жестокой критике со стороны эмпиризма и скептицизма, в особенности, в связи с ограничительными метатеоремами Гёделя и Чёрча. Однако в настоящей статье этот принцип Лейбница формулируется и защищается как именно необходимо всеобщий (играющий роль аксиомы) для системы рационального знания a-priori.
Ключевые слова: априорное, необходимое, апостериорное, случайное, знание, истинно, доказуемо, алгоритмично, механически, вычислимо.
Это произведение доступно по лицензии Creative Commons «Attribution-NonCommercial-ShareAlike» («Атрибуция — Некоммерческое использование — На тех же условиях») 4.0 Всемирная.
Скачать статью: PDF
