ON AN IMPLICIT INTENSIONAL TREATMENT OF G2 BY GODEL
Vitaliy Valentinovich Tselishchev, Aleksandr Valerievich Khlebalin
Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Sciences, 8 Nikolaeva str., Novosibirsk, 630090, Russia
Keywords: intensionality of mathematics, concept of consistency, incompleteness, formalization
Abstract
The article shows the groundlessness of a simplified understanding of the significance of K. Gödel's Second Incompleteness Theorem as missing its conceptual contents. The relationship between the extensional and intensional contents of constructing the G2 sentence is revealed. It is shown that the second one is associated with the choice of a method for formalizing the concept of consistency. The advantages of the intensional interpretation of G2 are substantiated.
|