Please use this identifier to cite or link to this item: http://elar.urfu.ru/handle/10995/18405
Title: Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике
Other Titles: The metaphysics of Parmenides from the viewpoint of the two-valued algebra of formal axiology, and metaphysical foundations of K. Go"del's meta-theorem about the improvability of consistency of the formal arithmetic within the formal arithmetic
Authors: Лобовиков, В. О.
Lobovikov, V. O.
Issue Date: 2011
Citation: Лобовиков В. О. Метафизика Парменида с точки зрения двузначной алгебры формальной аксиологии и метафизические основания метатеоремы К. Геделя о недоказуемости непротиворечивости формальной арифметики в непротиворечивой формальной арифметике / В. О. Лобовиков // Известия Уральского государственного университета. Сер. 3, Общественные науки. — 2011. — N 3 (94). — С. 13-27.
Abstract: The paper is devoted to constructing and study of discrete mathematical simulations of: 1) formal-axiological aspect of metaphysics of the Eleates; 2) formal-axiological aspect of philosophical foundations of mathematics. Within the framework of the two-valued algebra of formal axiology; at first, the Eleates' famous statements are precisely formulated and substantiated as equations of that algebra; at second, the author submits a hitherto unknown precise formulation and demonstration of a formal-axiological law of impossibility of proof of consistency of the formal arithmetic within (by means of) the formal arithmetic itself. The fact of such proof impossibility was established by K. Go"del's second incompleteness theorem. The present paper's scientific novelty is made up by a precise alagebraic substantiation of the necessarily positive value («analytical goodness») of the mentioned improvability.
Статья посвящена построению и изучению дискретных математических моделей: 1) формально-аксиологического аспекта метафизики элеатов; 2) формально-аксиологического аспекта философских оснований математики. В рамках двузначной алгебры формальной аксиологии, во-первых, точно формулируются и обосновываются (как уравнения этой алгебры) знаменитые положения элеатов; во-вторых, точно формулируется и обосновывается формально-аксиологический закон невозможности доказательства непротиворечивости формальной арифметики в (точно той же самой) формальной арифметике. Факт такой недоказуемости строго обосновал К. Гедель во второй теореме о неполноте. Научная новизна настоящей статьи - строгое обоснование положительной ценности такой недоказуемости.
Keywords: BEING
NON-CONSISTENCY
INCONSISTENCY
PROOF
COMPLETENESS
INGo"DEL
ARITHMETIC
FORMAL
AXIOLOGY
БЫТИЕ
НЕНЕПРОТИВОРЕЧИВОСТЬ
ДОКАЗАТЕЛЬСТВО
ПОЛНОТА
НЕГЕДЕЛЬ
АРИФМЕТИКА
ФОРМАЛЬНАЯ
АКСИОЛОГИЯ
URI: http://elar.urfu.ru/handle/10995/18405
RSCI ID: https://elibrary.ru/item.asp?id=16816371
Origin: Известия Уральского государственного университета. Сер. 3, Общественные науки. 2011. N 3 (94)
Appears in Collections:Tempus et Memoria

Files in This Item:
File Description SizeFormat 
iuro-2011-94-02.pdf526,5 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.