CC BY
60
Вестник Томского государственного университета. 2017. № 421. С. 53-58. Б01: 10.17223/15617793/421/7
УДК 164
В. В. Целищев
ИСТИННОСТЬ НЕРАЗРЕШИМЫХ ПРЕДЛОЖЕНИЙ В СВЕТЕ ПЕРВОЙ ТЕОРЕМЫ ГЁДЕЛЯ О НЕПОЛНОТЕ
Исследование выполнено при финансовой поддержке РНФ (грант 16-18-10359).
Сопоставляются два способа определения истинности неразрешимого геделева предложения. Стандартный способ апеллирует исключительно к метаматематическим соображениям, в то время как предложенный М. Даммитом анализ апеллирует к арифметической интерпретации. Экспликация аргумента Даммита и его опровержение ставят вопрос о различии эпистемологической значимости двух подходов к истинности геделева предложения.
Ключевые слова: неполнота; истина; геделево предложение; эпистемология; самореференция; Гёдель; Даммит.
Построение формальной системы для арифметики имеет целью «схватывание» интуитивных ее истин; это означает, что все истины должны быть доказуемы в этой системе. При достижении обычных в таком предприятии требований к системе, когда все доказуемые утверждения являются истинными, а все истинные - доказуемыми, мы имеем ситуацию, при которой истинные и доказуемые утверждения с эпистемологической точки зрения равноценны. В этом смысле полнота формальных систем является идеалом логического анализа оснований математики. Первая теорема Гёделя о неполноте арифметики утверждает, что для широкого класса формальных систем арифметики существуют неразрешимые предложения, являющиеся истинными. Таким образом, понятия истины в содержательной арифметике и формально доказуемого утверждения расходятся, что выливается в целый комплекс эпистемологических проблем. В фокусе этих проблем находится обоснование истинности так называемого геделевого предложения, истинного и недоказуемого в системе. Философский анализ этой проблемы имеет дело с пониманием роли способов конструирования геделева предложения, лежащих в основе конструирования идей и механизма кодирования и самоотносимости, балансирующих на грани парадокса. Прежде всего находящаяся на поверхности парадоксальность заключается в самой интерпретации геделевого предложения (далее - в).
Геделево предложение в в формальной системе Б, с интуитивной точки зрения, говорит: «Я недоказуемо в Б». Доказуемо ли в в Б? Пусть формальная система Б обоснована, т.е. если предложение в выводимо в ней, тогда оно истинно в стандартной интерпретации. Но тогда видно, что в невыводимо в Б. Если бы оно было выводимо, тогда оно должно было бы быть ложным, так оно само говорит о своей невыводимости. Но в этом случае формальная система Б не была бы обоснованной, что противоречит предположению. Далее, так как в недоказуемо в Б, и утверждает это обстоятельство, значит оно истинно [1. С. 61].
Такое «объяснение» истинности геделева предложения скрывает несколько важных обстоятельств. Некоторые исследователи полагают объяснение просто эвристическим замечанием самого Гёделя, требующим более тщательного рассмотрения, в частности устранения оттенка парадоксальности, связанным с идеей самореференции. Действительно, Гёдель впал в
первородный грех, когда написал: «Мы, следовательно, имеем предложение, которое говорит о себе, что оно недоказуемо» [2. С. 148й]. Это предложение может быть эвристическим, и, тем не менее, оно неверно. В работе нет самореференции и присутствует лишь простая или множественная диагонализация; эквивалентные неподвижные точки, но нет саморефе-рентности в любом строгом смысле, который мы могли бы сделать точным. Мы не катаемся на тонком льду парадокса [3].
Булдту вторит П. Смит:
Нет ничего подозрительного или парадоксального в Первой теореме Гёделя, которая является техническим результатом о формальных аксиоматических системах (результат, который может быть доказан без обращения к «самоприменимым» предложениям) [4. С. 4].
Другим, лежащим на поверхности, уже реальным объяснением служит то обстоятельство, что в Б можно доказать утверждение в истинно, если и только если Б непротиворечива.
Отсюда следует, что истинность в уже неявно предполагается в доказательстве в форме предположения о непротиворечивости Б. Такое предположение подтверждается чисто математическими соображениями и методами, не оставляя места эпистемологическим соображениям. В какой мере вопрос об истинности гёделева предложения решается чисто математически? П. Смит дает достаточно развернутый ответ на этот вопрос, исследуя его на нескольких примерах формальных систем арифметики р (арифметика Робинсона [5. С. 160-172]) и Арифметики Пеано (РА) [1. С. 166-169]. Система р, основанная на первых четырех постулатах Пеано (без аксиомы индукции), представляет прекрасный полигон для обсуждения результатов о неполноте, поскольку все четыре ее аксиомы рассматриваются как общепринятые арифметические истины и в ее основе лежит первопорядковая логика, она обладает всеми необходимыми ресурсами для конструирования геделева предложения. Другими словами, система р вполне «респектабельна» и сконструированное в ней геделевское предложение в является истинным в силу этой респектабельности.
Другой случай - когда к системе р мы добавляем в качестве дополнительной аксиомы какое-либо математическое утверждение или гипотезу, истинностное значение которого до сих пор неизвестно, скажем, догадку Гольдбаха. Результирующая система будет
непротиворечивой, если догадка Гольдбаха истинна. Поскольку до сих пор этой догадке не нашлось контрпримера и есть другие соображения в пользу ее истинности, есть резоны считать построенное внутри новой системы геделево предложение «в (Гольдбах)» истинным.
Еще один случай - это система, образованная добавлением к аксиомам Арифметики Пеано (РА) аксиомы —I в (отрицание в). Эта теория, в силу интерпретации — в как ложного утверждения, не будет обоснованной, но при непротиворечивости РА она будет непротиворечивой, что позволяет конструировать геделево предложение в, которое оказывается истинным по уже принятым ранее резонам. Из приведенных примеров Смит делает вывод, что у нас есть различные причины верить в обоснованность или непротиворечивость систем, и тем самым в истинность в. Это означает, что эта истинность определяется чисто математическими резонами [4. С. 171-173].
Следует отметить, что в последнем примере с добавлением в виде аксиомы отрицания геделева предложения мы получаем нестандартные интерпретации, что вряд ли может свидетельствовать в пользу самой идеи стандартной демонстрации истинности в. Кроме того, с нашей точки зрения, Смит делает поразительную ошибку, объясняя истинность в разнообразием случаев непротиворечивости, которые приводят к многообразию геделевых предложений. Однако причина, по которой геделево предложение в является истинным, остается прежней, сводящейся к «эвристическому» замечанию Геделя. Фактически речь идет о том, что истинность в уже неявно предполагается в доказательстве в форме предположения о непротиворечивости соответствующей системы. П. Раатикайнен отмечает, что у нас есть столько же оснований полагать в истинным, сколько для веры в непротиворечивость формальной системы [6]. В известном смысле это релятивистский тезис, потому что вера в непротиворечивость варьируется от одной формальной системы к другой. Такой релятивизм вряд ли может быть удовлетворительным в отношении вопроса об истинности в. Он неоправдан как с математической точки зрения, так, с точки зрения эпистемологии.
Доказательство Гёделем своей Первой теоремы о неполноте осуществляется через конструирование того, что сейчас мы называем геделевым предложением. Примечательными особенностями геделевых предложений принято считать (1), что в некотором смысле они говорят сами о себе, что они недоказуемы; и (И) что они истинны при условии непротиворечивости теории. Современные версии доказательства в стиле оригинального доказательства Гёделем - по крайней мере в стиле способа конструирования геде-левого предложения - на самом деле не оказывают значительной поддержки этим тезисам или оказывают ее в лучшем случае ценой произвольных ограничений [7. С. 193].
Коль скоро непротиворечивость системы устанавливается синтаксически, аргумент в пользу истинности в решается на синтаксическом уровне. Если же непротиворечивость устанавливается теоретико-модельным способом, тогда прежний способ демон-
страции истинности геделевого предложения получает поддержку. Против обоих способов обсуждения выступает М. Даммит, который выдвинул интересные аргументы в пользу интуитивного происхождения истинности геделева предложения, имеющие важное эпистемологическое значение. Он указывает на фундаментальное обстоятельство, связанное с разным пониманием термина «модель».
Некоторые философы отрицают какое-либо содержание теоремы Гёделя, помимо синтаксического, полагая, что нет интуитивных причин называть неразрешимое предложение в «истинным»; но их мнение совершенно неправдоподобно. Ошибка состоит в неправильном применении понятия модели. Однако при обсуждении теоремы Гёделя мы оперируем понятием модели как нечто таким, которое может быть дано нам независимо от какого-либо описания: как вид интуитивной концепции, которую мы можем обозреть во всей ее полноте умственным взором... Это понятие не имеет ничего общего с концепцией, которая законно используется в математике [8. С. 190-191].
Геделево предложение по своей структуре является универсальной квантификацией. Как известно, при использовании неограниченной универсальной кван-тификации требуется осторожность, диктуемая фини-тистскими соображениями. Если такая квантификация понимается как пробегающая над полной бесконечной совокупностью чисел, тогда она должна интерпретироваться как гипотетическое утверждение: если задано некоторое число п, тогда Р(п) будет истинно для Р(1), Р(2), Р(3) и т.д. При этом последовательность должна представлять потенциальную бесконечность утверждений. Это известное обстоятельство получает парадоксальное выражение в применении к геделеву предложению, структура которой представляет универсальную квантификацию. Г. Серени отмечает в этой связи следующее:
По определению, истинность геделева предложения влечет истинность его числовых конкретизаций. Так как эти конкретизации представляют собой Д0-предложения, из теоремы о Е^полноте следует, что все они доказуемы. Таким образом, доказуемость числовых конкретизаций геделева предложения следует из истинности самого предложения, которая, в свою очередь, следует из его недоказуемости. Следовательно, мы можем парадоксально заключить, в случае геделева предложения, что наше знание доказуемости всех его числовых конкретизаций следует из нашего знания недоказуемости предложения [9. С. 72-73].
Общепринятое объяснение истинности геделева предложения апеллирует именно к целостной конструкции универсальной квантификации. Между тем указанный парадокс и состоит в том, что для установления истинности геделевого предложения мы должны обратиться к нумерическим конкретизациям (числовым примерам) универсальной квантификации. Эта стратегия, предпринятая М. Даммитом, радикально меняет подход к установлению причин геделева предложения.
Этот вопрос связан с двумя важными идеями. Во-первых, это двойственный характер в, которое может
рассматриваться как с метаматематической, так и с арифметической точки зрения. Во-вторых, это идея, что истинность в устанавливается в контексте стандартной интерпретации формальной системы арифметики. Эти две идеи тесно связаны между собой.
Геделево предложение в конструируется в формальной системе, которая призвана «схватить» концепцию натурального числа, и коль скоро в интерпретируется как истинное утверждение, в характеристике формализуемой части арифметики ничего не изменится существенно, если в добавить к аксиомам формальной системы в качестве аксиомы. Но вот если к этой системе добавить отрицание в, тогда мы получаем формальную систему, которая характеризует не только натуральные числа, но и нечто выходящее за пределы ряда натуральных чисел. Речь идет о нестандартной интерпретации. Наличие нестандартной интерпретации является аргументом в пользу истинности в.
Р. Пенроуз отмечает в этой связи: «Заключение об истинности высказывания в (Б) для непротиворечивой формальной системы Б мы делаем, исходя из допущения, что те символы системы Б, которые, как мы полагаем, служат для представления натуральных чисел, действительно представляют натуральные числа. Окажись на их месте другие числа, скажем, некие экзотические «сверхнатуральные» числа, - мы вполне могли бы обнаружить, что высказывание в(Б) ложно» [10. С. 173].
Конечного способа убедиться в том, что «числа», о которых идет речь, являются натуральными, не существует. К этому факту прямое отношение имеют геде-левские теоремы о неполноте. Любая аксиоматическая система, построенная для описания натуральных чисел, не позволяет нам определить, является ли в истинным или ложным. Но полагание системы непротиворечивой в этом отношении придает смысл истинности в, который заключается в намеренной интерпретации символов системы. Таким образом, проблема определения истинностного значения геделева предложения напрямую связана с идеей стандартной интерпретации. Интерес представляет обращение этого тезиса, согласно которому истинность в и является признаком стандартной интерпретации. По такому пути и пошел в обосновании истинности в М. Даммит; этот подход ведет к значительной ревизии стандартных аргументов в пользу истинности ге-делевого предложения.
Поскольку в не доказуемо и не опровержимо, должны быть в системе такие модели, в которых оно истинно, и другие модели, в которых оно ложно. Поскольку в не истинно во всех моделях системы, мы можем распознать в как истинное предложение при условии, что под «истинным» имеется в виду «истинно в намеренной модели системы». Мы, таким образом, должны иметь в виду совершенно определенную идею того вида математической структуры, к которой мы намерены обращаться, когда говорим о натуральных числах; и через обращение именно к этой интуитивной концепции мы распознаем истинность в [8. С. 186].
Идея Даммита состоит в том, что истинность геде-лева предложения устанавливается обращением к ин-
туитивно известным арифметическим истинам, которые представляют конкретизации универсальной квантификации. Поскольку предложение G имеет форму (Vx)Ax, и коль скоро все А(0), А(1), А(2), ... признаются истинными, вполне обоснован переход от истинности нумерических конкретизаций к истинности (Vx)Ax. Однако этот переход совершается в рамках формализма, согласно первопорядковой логике, лежащей в основе формальной системы, и вряд ли он, в силу своей тривиальности, может претендовать на объяснение истинности ^х)Ах. Скорее, на это может претендовать принцип, согласно которому все предложения А(0), А(1), А(2), . истинны. Опять-таки, это предположение связано с различным пониманием модели, о котором говорилось выше, а именно модели в математическом смысле и модели как «реальности», благодаря которой они могут быть определены как истинные.
Обсуждение этого факта в терминах моделей затемняет этот в противном случае очевидный факт, потому что утверждением об истинности в некоторой модели всех предложений А(0), А(1), А(2), . мы смазываем зазор между способностью распознавания для каждого n* истинности А(п*) и способностью распознавания того факта, что для каждого п* А(п*) истинно [8. С. 192].
(Здесь п* представляет цифру (numeral) числа п).
Условие непротиворечивости для истинности G устанавливается, по Даммиту, принципом, который апеллирует к тому, что выходит за рамки формальной системы. Принцип этот состоит в истинности всех А(0), А(1), А(2), ... Но именно это обстоятельство и означает непротиворечивость системы. Указанный принцип, высказанный Даммитом в несколько туманной манере, более четко сформулирован С. Клини:
«Если мы предполагаем, что теоретико-числовая формальная система должна быть непротиворечивой, мы можем распознать, что G истинно, приняв во внимание структуру этой системы как целого, хотя мы не можем распознать истинность G использованием только принципов вывода, формализованных в этой системе» [11. С. 426].
Собственно аргумент Даммита в пользу истинности G довольно краток, будучи представлен буквально одним абзацем: «Всякий раз, когда для некоторого предиката Вх мы можем распознать все утверждения В(0), В(1), В(2),... как истинные в стандартной модели, мы можем распознать ^х)Вх как истинное в этой модели. Этот факт известен нам в силу нашей ясной интуитивной концепции структуры модели» [8. С. 191].
Необходимая экспликация идеи Даммита осуществлена Н. Теннантом [12] с помощью « семантического аргумента». Не входя в детали его аргументации, приведем его формулировку в следующем виде:
«G есть универсальная квантификация примитивно-рекурсивного предиката, где каждая нумерическая конкретизация предиката для любого числа доказуема в системе S. Доказательство в S гарантирует истинность. Отсюда, каждая конкретизация G истинна. Поэтому, поскольку G является просто универсальной квантификацией над подобными конкретизациями, геделево предложение должно быть истинным.
Теннант при этом апеллирует к дефляционной теории истины, что лишь запутывает, или по крайней мере, затемняет аргументацию в пользу истинности G. Более успешную экспликацию аргумента Даммита (правда, с целью опровержения ее), следуя реконструкции аргумента К. Райтом, осуществил Г. Серени» [9. С. 50].
Нотация и основные факты, требуемые для понимания реконструкции аргументации Даммита, таковы. Как и в любом описании роли геделева предложения, имеем: для любой формулы ф, *ф* обозначает геделев номер ф. Формальная система S есть произвольное, но фиксированное рекурсивное непротиворечивое расширение системы Q Робинсона, чья стандартная модель обозначается через ю. Далее:
Proof s= {(m,n) еф2: n = *ф* для некоторой формулы ф; m есть геделево число доказательства в S формулы ф.
Proof S (x,y) есть Д0 формула, определяющая Proof S в ю.
Prs (y) = (3y) Proof s (x,y).
(Здесь и далее выражение *х* означает геделев номер выражения х).
Последняя формула является Ei-формулой, и поэтому для любой формулы Prs (ф), Prs(*ф*) истинна точно в том случае, когда ф доказуема в S. Согласно Диагональной Лемме [13], имеем важное соотношение для геделева предложения G:
Q доказывает G Prs (*G*).
Поскольку система s обоснована по определению, G истинна точно в том случае, когда — Prs (*G*) и, следовательно, когда истинно (Vx) —Proof s (x, *G*). Это означает важный факт: три выражения, а именно G, — Prs (*G*) и (Vx)—Proof s (x, *G*), взаимозаменяемы. Однако статус этих утверждений разнится, поскольку одни являются метаматематическими, а другие - арифметическими. Это обстоятельство играет существенную роль при анализе аргументации Дам-мита. Действительно, при указанной взаимозаменяемости возникает вопрос, какой характер имеет геде-лево предложение G: метаматематический или же арифметический. Если имеет место второе, тогда истинность G доказывается через нумерические конкретизации G. Если же имеет место первый вариант, тогда G есть sui generic предложение, т. е. с эпистемологической точки зрения, имеющее особый характер. Г. Сере-ни полагает, что аргументация Даммита не выдерживает критики при ее экспликации. Стратегия Серени состоит в сопоставлении двух экспликаций аргумента об истинности G - стандартной и Даммита. Цель Серени состоит в демонстрации того, что аргументация Дам-мита на самом деле, при кажущемся фундаментальном различии, сводится к стандартному варианту. Рассмотрим структуру обеих экспликаций.
Одна из экспликаций аргумента Даммита принадлежит К. Райту [14]. Райт дал свою версию для интуиционистской логики. Г. Серени модифицировал версию Райта для классической логики [9. С. 51]:
Для достаточно богатой формальной системы s (начиная с системы Q) имеем:
(1) Proofs (m, *G*) истинно ^ Посылка, m - натуральное число
(2) 8 доказывает Ргоо^ (т, *в*) ^ (1), ^-полнота 8
(3) 8 доказывает в ^ (1), определение Ргоо^
(4) 8 доказывает —Рт8(*в*)^- (3), определение в
(5) 8 доказывает — Proof8 (т, *в*) ^ (4), определение Рг8
(6) 8 доказывает Proof8 (т, *в*) & — Proof8 (т, *в*) ^ (2), (5)
(7) — Proof8 (т, *в*) истинно ^ (6), противоречие
с (1)
(8) —Proof8 (п, *в*) для каждого пею ^ (7), универсальное обобщение
(9) (Ух) — Proof8 (х, *в*) истинно ^ (8), определение истинности в ю.
(10) в истинно ^ (9), экв. в и (Ух) — Proof8 (х, *в*)
Серени находит в такой экспликации фундаментальный изъян. В решающем переходе от (8) к (9) вводится переменная на основании правила Универсального Обобщения логики первого порядка. Хотя Серени признает формальную обоснованность применения этого правила, тем не менее он полагает, что его применение требует использования неявной посылки об однородности элементов, подлежащих обобщению. Другими словами, эти элементы должны обладать общим свойством. Тогда обобщение не зависит от индивидуальных элементов и представляет собой некоторую схему формального вывода. Это означает, что природа элементов не имеет значения и в представленном выводе переменная х не предполагает подстановки вместо нее именно чисел. Серени приходит к важному заключению о том, в данном выводе нет реального обращения к числам, т. е. к тем самым нумерическим конкретизациям универсальной квантификации, о которой говорил Даммит.
Суть проблемы состоит в том, что в выводе участвуют два выражения: Рг8 (*в*) и Proof8(m,*G*) в качестве взаимозаменяемых выражений. Но если второе из них является арифметическим утверждением с участием геделева числа т, то первое - метаматематическим утверждением. Использование эквивалентности их в выводе при переходе от (4) к (5) приводит к путанице. На самом деле, коль скоро в выводе нет явного обращения к числам, следует исключить Proof8(m,*G*) из структуры доказательства. В этом случае аргумент Даммита принимает следующий вид:
(1) Р^^в*) истинно ^ Посылка
(2) 8 доказывает Р^(*в*) ^ (1), ^-полнота 8
(3) 8 доказывает в ^ (1), определение Рг8
(4) 8 доказывает — Р^(*в*) ^ (3), определение в
(5) 8 доказывает Р^(*в*) & — Р^(*в*) ^ (2), (4)
(6) 8 доказывает — Р^(*в*) истинно ^ (1), (5) противоречит (1)
Однако этот вывод является экспликацией стандартного вывода недоказуемости геделева предложения и, в конечном счете, обоснованием его истинности. Это означает опровержение идеи Даммита об обосновании истинности в через нумерические конкретизации.
Каков при этом получается выигрыш в философской интерпретации Первой теоремы Гёделя? Аргумент Даммита о природе истинности геделева пред-
ложения является альтернативным по отношению к стандартному объяснению этой истинности. Опровержение аргумента Даммита, предложенное Серени, основано на том, что экспликация этого аргумента раскрывает то обстоятельство, что он на самом деле сводится к стандартному. Не рассматривая аргументы в пользу стандартного объяснения, следует обратить внимание, какой ценой достигается такая редукция. Если цена оказывается слишком высокой, тогда и опровержение находится под вопросом.
Прежде всего, в чем состоит эпистемологическое различие двух подходов? Стандартный подход апеллирует к истинности геделева предложения как целого, в то время как подход Даммита апеллирует в этом вопросе к истинности нумерических конкретизаций предложения. Эпистемологическая дилемма в этом случае состоит в определении того, что первично: само в или его числовые примеры в(0), в(1), в(2),...? Сере-ни полагает, что объяснение универсальной квантифи-кации (Ух)Бх через примеры, что и является обоснованием логического правила Универсального Обобщения, в принципе неверно. Он полагает, что в реальной математике универсальная квантификация не имеет места, поскольку в ней оперируют числами; более того, (Ух) является логическим артефактом. Ситуация становится запутанной именно в связи с геделевым предложением. Как только, используя идею геделевской нумерации, стало возможным кодировать арифметические утверждения в виде самих арифметических утверждений, т. е. в виде метаматематических утверждений, роль (Ух) становится более сложной.
Действительно, для обычного арифметического предложения в формальной теории никаких сложностей нет, но для геделева предложения они есть.
Двойственная природа универсального арифметического предложения проявляет себя в том факте, что суждения, выражаемые двумя различными формулировками утверждения его истинности, которые эпи-стемологически неразличимы в случае обычного арифметического предложения, становятся эпистемо-логически различными суждениями. Действительно, если М = (Ух)фх такое предложение, тогда утверждение, что М истинно может быть интерпретировано способом, который радикально отличен от обычной арифметической интерпретации, согласно которому функция ф(п) истинна для каждого натурального числа. В самом деле, можно верить (или знать), что М истинно, без знания (или даже не подозревая), что М есть универсальное утверждение и что у него вообще
есть арифметическая интерпретация. Например, можно верить, что Арифметика Пеано свободна от противоречий; следовательно, опираясь на общее знание сообщества логиков, что предложение Con (PA) выражает непротиворечивость РА, можно верить, что Con(PA) истинно, без осознания того факта, что это на самом деле предложение формальной арифметики [9. С. 64-65].
Разные эпистемологические стандарты для обычных арифметических утверждений и для метаарифме-тических утверждений объясняются тем, что геделево предложение включает в себя два утверждения, сформулированных на двух разных языках: языке арифметики и языке метаарифметики. В первом случае мы имеем обыденную арифметику, а во втором -кодированные утверждения. Осознание двойственного характера геделева предложения позволяет заключить, что его истинность может быть доказана двумя путями: как чисто арифметического утверждения и как метаматематического утверждения. Если с формальной точки зрения они равноценны, за счет эквивалентности PrS (*G*) и ProofS(m,*G*), то с эпистемологической точки зрения вопрос состоит в том, имеет ли доказательство метаматематическое приоритет над доказательством арифметическим, которое получается рассмотрением числовых примеров.
С одной стороны, арифметический аргумент является эпистемологически предпочтительным, потому что апелляция к числовым примерам является интуитивно понятной. С другой стороны, можно полагать, что метаматематический аргумент (или стандартный аргумент) более приемлем опять-таки эпистемологи-чески, потому что арифметический предикат, входящий в геделево предложение, столь сложен, что вряд ли можно говорить о его интуитивном содержании и тем более его постижении человеком.
Предпринятые экспликации аргумента Даммита в пользу истинности геделева предложения не могут считаться заключительными, поскольку оставляют открытыми значительное число вопросов. Соотношение метатеоретических и арифметических методов включает вопросы самореферентных утверждений, различных способов доказательства Первой теоремы Гёделя, роль понятия непротиворечивости в связи с истинностью геделева предложения, способы конструирования геделева предложения, роль кодирования, и т.д. Это подлинный клубок проблем, которые являются в настоящее время предметом интенсивных исследований феномена неполноты.
ЛИТЕРАТУРА
1. George A., Velleman D. Philosophies of Mathematics. Oxford : Blackwell Publishing, 2002.
2. Godel K. Оп Formally Undecidable Proposition of Principia Mathematica and Related Systems I // Collected Works of Kurt Godel. Vol. 1 / eds.
Feferman S. et al. Oxford : Oxford University Press, 1986. Р. 144-195.
3. Buldt B. Godel's Incompleteness Theorems - Tutorial. URL: http://opus.ipfw.edu/philos_facpres/130
4. Smith P. An Introduction to Godel's Theorem (second edition). Cambridge : Cambridge University Press, 2013.
5. Boolos G., Jeffrey R. Computability and Logic. Cambridge : Cambridge University Press, 1989.
6. Raatikainen P. On the Philosophical Relevance of Godel's Incompleteness Theorems // Revue Internationale de Philosophie. 2005. Vol. 59, № 4.
Р. 513-534.
7. Milne P. On Godel Sentences and What They Say // Philosophia Mathematica (III). 2007. Vol. 15. P. 193-226.
8. Dummett M. The Philosophical Significance of Godel's Theorem // Truth and Other Enigmas. Cambridge : Harvard University Press, 1978.
Р. 186-201.
9. sereny G. How Do We Know that the Godelian sentence of a Consistent Theory is True? // Philosophia Mathematica (III). 2011. Vol. 19. Р. 47-
73.
10. Пенроуз Р. Тени разума. М. : Ин-т компьют. исслед., 2003.
11. Клини С.К. Введение в метаматематику. М. : Изд-во иностр. лит., 1957.
12. Tennant N. Deflationism and the Godel Phenomena // Mind. 2002. Vol. 111, № 443. P. 551-582.
13. Hajek P., Pudlak P. Metamathematics of First-Order Arithmetic. Berlin : springer, 1993.
14. Wright C. About 'The Philosophical significance of the Godel's Theorem'; some Issues // McGinnes B., Oliveri (eds.) The Philosophy of Michael Dummett. Dordrecht : Kluwer AcademicPress, 1994. Р. 167-202.
Статья представлена научной редакцией «Философия» 5 мая 2017 г.
THE TRUTH OF UNDECIDABLE SENTENCES IN THE PERSPECTIVE OF GODEL'S FIRST INCOMPLETENESS THEOREM
Vestnik Tomskogo gosudarstvennogo universiteta — Tomsk State University Journal, 2017, 421, 53-58. DOI: 10.17223/15617793/421/7
Vitaly V. Tselishchev, Institute of Philosophy and Law, siberian Branch of Russian Academy of sciences (Novosibirsk, Russian Federation). E-mail: leitval@gmail.com
Keywords: incompleteness; truth; Godelian sentence; epistemology; self-reference; Godel; Dummett.
The first theorem of Godel on the incompleteness of arithmetic asserts that for a wide class of formal systems of arithmetic there are true but unsolvable sentences. Thus, the concepts of truth in informal arithmetic and formally provable statements diverge, which gives rise to the whole complex of epistemological problems. The purpose of the article is to analyze the problems of the truth of the unprovable Godel sentence, in particular, to consider the role of methods for constructing the Godel sentence, the ideas and the mechanism of coding and self-reference, balancing on the verge of a paradox. The standard establishment of the truth of the Godel sentence in a syntactic and model-theoretic way was challenged by M. Dummett, who advanced interesting arguments in favor of the intuitive origin of the truth of the Godel sentence, which has an important epistemological significance. The author proposes a comparison of the standard approach with Dummett's understanding of the nature of the Godel proposition. The problem solved in the article: the use of the dual nature of the Godel sentence in the context of establishing its truth as (a) the metamathematical sentence and (b) the arithmetic assertion; proof of the truth of the Godel proposition as a universal quantification by establishing the truth of its examples; demonstration of the need for a standard interpretation of the formal system of arithmetic for the truth of the Godel sentence; establishing a connection between these two ideas. Methods used: reconstructing Dummett's arguments using first-order logic; use of the metamathematical result on the relation of the Godel proposition of the provability predicate in the Diagonal Lemma, or the Fixed Point Theorem. Conclusions: Dummett's argument about the nature of the truth of the Godel sentence is alternative with respect to the standard explanation of this truth. The argument of G. sereni on the reducibility of Dummet's argument to the standard way of establishing the truth of the Godel sentence is investigated. The reason for reducibility is the existence of different epistemo-logical standards for the usual arithmetic and meta-arithmetic assertions, since the sentence can be interpreted in a dual way - as arithmetic and as metamathematical. The comparison of Dummett's and sereni's arguments rests on the assumption of the incomprehensibility of the arithmetic interpretation of the predicative of provability and the sufficiency of the metamathematical interpretation of the Godel sentence. It is shown that the undertaken explication of Dummett's argument in favor of the truth of the Godel sentence can not be considered as a final, since it leaves a considerable number of questions open. The relation between metatheoretical and arithmetic methods includes the questions of self-referential assertions, various ways of proving the First Theorem of Godel, the role of the concept of consistency in connection with the truth of the Godel sentence, the ways of constructing the Godel sentence, the role of coding, etc. This is a genuine tangle of problems that are currently the subject of intense research into the phenomenon of incompleteness.
REFERENCEs
1. George, A. & Velleman, D. (2002) Philosophies of Mathematics. Oxford: Blackwell Publishing.
2. Godel, K. (1986) On Formally Undecidable Propositions of Principia Mathematica and Related systems I. In: Feferman, s. et al. (eds) Collected
Works of Kurt Godel. Oxford: Oxford University Press.
3. Buldt, B. (2015) Godel's Incompleteness Theorems — Tutorial. [Online] Available from: http://opus.ipfw.edu/philos_facpres/130.
4. smith, P. (2013) An Introduction to Godel's Theorem. 2nd ed. Cambridge: Cambridge University Press.
5. Boolos, G. & Jeffrey, R. (1989) Computability and Logic. Cambridge: Cambridge University Press.
6. Raatikainen, P. (2005) On the Philosophical Relevance of Godel's Incompleteness Theorems. Revue Internationale de Philosophie. 59:4. pp. 513-
534.
7. Milne, P. (2007) On Godel sentences and What They say. Philosophia Mathematica (III). 15. pp. 193-226.
8. Dummett, M. (1978) Truth and Other Enigmas. Cambridge: Harvard University Press. pp. 186-201.
9. sereny, G. (2011) How Do We Know that the Godelian sentence of a Consistent Theory is True? Philosophia Mathematica (III). 19. pp. 47-73.
10. Penrose, R. (2003) Teni razuma [shadows of Reason]. Translated from English. Moscow: Institute of Computer studies.
11. Kleene, s.C. (1957) Vvedenie v metamatematiku [Introduction to metamathematics]. Moscow: Izd-vo inostr. lit.
12. Tennant, N. (2002) Deflationism and the Godel Phenomena. Mind. 111:443. pp. 551-582.
13. Hajek, P. & Pudlak, P. (1993) Metamathematics of First-Order Arithmetic. Berlin: springer.
14. Wright, C. (1994) About 'The Philosophical significance of the Godel's Theorem'; some Issues. In: McGinnes, B.F. & Oliveri, G. (eds.) The Philosophy of Michael Dummett. Dordrecht: Kluwer AcademicPress.
Received: 05 May 2017
