№4 (71) ФИЛОСОФИЯ НАУКИ 2016 Проблемы логики и методологии науки УДК 160.1 DOI: 10.15372/PS20160403 В.В. Целищев СЕМАНТИЧЕСКАЯ ИЗБЫТОЧНОСТЬ В КОНЦЕПЦИИ ИСТИННОСТИ ГЕДЕЛЕВАПРЕДЛОЖЕНИЯ* В статье анализируется проблема определения истинности геделева предложения в рамках семантического аргумента М. <...> Стратегия избегания предиката истины через использование дефляционной концепции истины, предложенная Н. <...> Обоснование истинности геделева предложения на этом пути связывается с принципами рефлексии. <...> Ключевые слова: геделево предложение; семантическая избыточность; дефляционная концепция истины; принципы рефлексии V.V. <...> Tselishchev THE SEMANTIC REDUNDANCY IN THE CONCEPTION OF THE TRUTH OF GЦDELIAN SENTENCE The article analyzes the problem of determining the truth of Gdelian sentence in the context of M. <...> The justification of the truth of Gdelian sentence is associated with principles of reflection. <...> «Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях» (Философия науки. <...> Целищев В.В., 2016 Семантическая избыточность в концепции истинности геделева предложения 27 Keywords: Gdel sentence; semantic redundancy; deflationary conception of truth; principles of reflection В математических работах о геделевских теоремах о неполноте истинность геделева предложения считается само собой разумеющимся фактом, усматриваемым из самого способа построения этого предложения. <...> Сам Гедель подчеркивал важность именно философских соображений. <...> Г. Крайзель говорит об этом так: «Сам Гедель… постоянно подчеркивал… как мало потребовалось ему новых математических построений. <...> Совершенно не испытывая угрызений совести по поводу того, что он, так сказать, “поживился на дармовщинку”, Гедель видел в своих первых успехах реализацию следующей, часто забываемой, но плодотворной общей схемы. <...> Действительно, геделево предложение, недоказуемое в формальной системе, но полагаемое истинным, занимает особое место при рассмотрении различных концепций истинности. <...> Обычный критерий истинности арифметических утверждений состоит в их доказуемости. <...> В случае <...>