Еще одна аксиома рационалистической эпистемологии априорного знания (историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания: Г.В. Лейбниц; К. Гёдель; А. Чёрч)
УДК 1 (091) + 16
Лобовиков В.О. Еще одна аксиома рационалистической эпистемологии априорного знания (историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания: Г.В. Лейбниц; К. Гёдель; А. Чёрч) // Научный журнал "Дискурс-Пи". 2016. № 1 (22). С. 27-34.
На основании историко-философского и собственно логического анализа богатого интеллектуального наследия Лейбница в систему аксиом рационалистической эпистемологии априоризма добавляется еще одна важная аксиома, а именно, принцип необходимой машинности (алгоритмичности) априорного знания. В эпистемологии крайний оптимизм Лейбница проявился в форме его уверенности в необходимо всеобщем характере доказуемости рациональных (необходимых) истин путем их механической вычислимости. Он искренне верил, что, в сущности, любое рациональное (необходимо истинное) знание алгоритмично. Этот крайне оптимистический принцип Лейбница был подвергнут жестокой критике со стороны эмпиризма и скептицизма, в особенности, в связи с ограничительными метатеоремами Гёделя и Чёрча. Однако в настоящей статье этот принцип Лейбница формулируется и защищается как именно необходимо всеобщий (играющий роль аксиомы) для системы рационального знания a-priori.
On the basis of history-of-philosophy and proper-logic analysis of the rich intellectual legacy of Leibniz one more axiom is added to the system of axioms of rationalistic epistemology of a-priori knowledge, namely, the principle of machine-ness (algorithmic-ness) of a-priori knowledge. In epistemology the extreme optimism of Leibniz appeared in form of this trust in the necessarily universal character of provability of rational (necessary) truths by mechanical computing them. He sincerely believed that, in principle,any rational (necessarily true) knowledge is algorithmic one. This extremely optimistic principle of Leibnizwas severely criticized from the positions of empiricism and skepticism, especially, in connection with the restricting meta-theorems of Gödel and Church. Nevertheless in the present paper the principle of Leibniz is formulated and defended as just necessarily universal (playing the role of axiom) for the system of rational knowledge a-priori.
