В. О. Лобовиков Еще одна аксиома рационалистической эпистемологии априорного знания (историко-философский и логический аспекты проблемы взаимосвязи истинности, доказуемости и алгоритмичности знания: Г. В. Лейбниц; К. Гёдель; А. Чёрч) Печать E-mail

Аннотация

На основании историко-философского и собственно логического анализа богатого интеллектуального наследия Лейбница в систему аксиом рационалистической эпистемологии априоризма добавляется еще одна важная аксиома, а именно, принцип необходимой машинности (алгоритмичности) априорного знания. В эпистемологии крайний оптимизм Лейбница проявился в форме его уверенности в необходимо всеобщем характередоказуемости рациональных (необходимых) истин путем их механической вычислимости. Он искренне верил, что, в сущности, любое рациональное (необходимо истинное) знание алгоритмично. Этот крайне оптимистический принцип Лейбница был подвергнут жестокой критике со стороны эмпиризма и скептицизма, в особенности, в связи с ограничительными метатеоремами Гёделя и Чёрча. Однако в настоящей статье этот принцип Лейбница формулируется и защищается как именно необходимо всеобщий (играющий роль аксиомы) для системы рационального знания a-priori.

Ключевые слова: априорное, необходимое, апостериорное, случайное, знание, истинно, доказуемо, алгоритмично, механически, вычислимо.

 
Lobovikov V.O. One More Axiom for Rationalistic Epistemology of A-Priori Knowledge (History-Of-Philosophy and Logic Aspects of the Problem of Interconnection among Truthfulness, Provability, and Algorithmic Character of Knowledge: G.W. Leibniz; K. Gödel; A. Church)

Annotation

On the basis of history-of-philosophy and proper-logic analysis of the rich intellectuallegacyof 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 theextremeoptimism 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 extremelyoptimistic 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.

Key words: a-priori, necessary, a-posteriori, contingent, knowledge, true, provable, algorithmic, mechanically, computable. 

 

 

 





Здесь будет баннер
Международная Академиия Дискурс Исследований, 2009
620144 г. Екатеринбург, ул. 8 Марта, 68 info@madipi.ru
Rambler's Top100 Разработка, создание и техническая поддержка сайта
admin@apin.ru ООО "Агентство Культурной Информации", 2009