WHETHER A GAME-THEORETICAL SEMANTICS OF "NATURAL" FOR FRIENDLY-INDEPENDENT LOGIC?
V. V. Tselishchev1,2
1Institute of Philosophy and Law, Siberian Branch of the Russian Academy of Science, 8, Nikolaev st., Novosibirsk, 630090, Russia
2Novosibirsk National Research State University, 2, Pirogov st., Novosibirsk, 630090, Russia
Keywords: теоретико-игровая семантика, дружественно-независимая логика, синтаксис, сколемизация, композициональность, game-theoretical semantics, friendly- independent logic, syntax, skolemization, compositionality
Abstract
The paper considers the question of the degree to which Goodstein's theorem may be considered to be an analogue of a true, but not provable Gödelian sentence. It is shown that such an interpretation leads to Isaacson's thesis, according to which the demonstration of the truth of real mathematical analogues of the Gödelian sentence in the formal language of arithmetic uses conceptual resources that go beyond the resources required to understand the basic arithmetic of finite natural numbers. The plausibility of the thesis is disputed from the point of view of the incomprehensibility of the arithmetic content of the Gödelian sentence.
|
