невозможно задать дедуктику (формализованную систему доказательств),
которая одновременно обладала бы свойствами полноты (т.е. доказывала бы
все содержательно истинные утверждения, которые можно сформулировать с
помощью данного языка) и непротиворечивости (т.е. не доказывала бы
некоторое суждение вместе с его отрицанием). Иными словами, теорема
Геделя утверждает, что в такого рода "выразительных" формальных языках
непременно найдутся истинные, но недоказуемые утверждения - причем этот
результат не зависит от конкретного выбора дедуктики.
Это означает, чтомножество "содержательных" истин всегда превосходит по объему множествоистин, доказуемых с помощью любой сколь угодно сложной формализованной
системы доказательств.
Для того чтобы понять смысл данной теоремы, необходимо уточнить смысл
понятий, входящих в ее формулировку. Прежде всего, необходимо уточнить
понятие "формальной системы" - поскольку только к таким системам и имеет
отношение рассматриваемая теорема. В самом общем плане формальная
система - это система подчиненная неким жестким, однозначно заданным
правилам. Соответственно, "формализацию" можно определить как процедуру,
цель которой - дать предельно четкое, однозначное и исчерпывающее
описание объекта, подлежащего формализации.
Для достижения этой цели, прежде всего, используется символическая форма
записи тех правил, которым подчинена данная система.
Таким образом,
полностью формализованная научная теория должна представлять собой
некоторую совокупность формул, записанных без всяких пояснительных слов
или предложений, написанных на "естественном", неформализованном языке.
Если при описании формальной системы и используются какие-то слова
естественного языка, то лишь с дидактической целью, для пояснения - но
не как элементы самой формальной теории.
Использование символической записи предполагает фиксацию конечного
набора символов, которые только и могут быть использованы для
формулирования утверждений данной формальной системы (алфавит языка).
Помимо набора символов задается также совокупность правил, указывающих
как следует оперировать с данными символами (причем правила эти также
записываются в символической форме).
Главное требование к формализму - символы, используемые в данной
формальной системе, должны принимать лишь те значения, которые им
приписываются в явном виде в рамках заданного формализма. Эти
фиксированные значения задаются через посредство правил, указывающих
способ действия с тем или иным символам, а также через описание взаимных
отношений между заданными символами.
Иногда говорят, что формализация полностью изгоняет всякий смысл.
Говорят, что формальная система - это система, оперирующая символами,
лишенными какой-либо семантической нагрузки. Т.е. семантика полностью
заменяется синтаксисом. Это не совсем так.
Здесь нужно уточнить, что такое "смысл". Смысл (слова, предмета и т.п.)
возникает в том случае, когда осмысляемое ставится в соответствие с
чем-то внешним, находящимся за пределами осмысляемого предмета (т.е. с
"контекстом"). Отсюда вытекает определение смысла как
"трансцендирования". Смысл всегда есть выход за пределы "актуально
данного", "наличного". Когда говорят, что в полностью формализованной
системы смысл полностью отсутствует, то имеют в виду, по существу, что в
рамках заданного формализма запрещается всякое трансцендирование т.е.
выход за пределы данного формализма. То есть для определения и
использования символов формальной системы можно использовать только ту
информацию, которая в явной форме содержится "внутри" данной формальной
системы - и никакую другую. Иными словами, формальная система должна
быть "герметична", замкнута в себе. Все, что необходимо для работы с
ней, для понимания ее выражений, - содержится в ней самой.
Запрещая трансцендирование, мы лишаем формальную систему смысла как
целое. Однако отдельные ее элементы и конструкции сохраняют смысл,
который в этом случае определяется через соотнесение с другими
элементами или конструкциями - внутри заданной формальной системы. Таким
образом, смысл не изгоняется полностью, но ограничивается рамками самой
формальной системы и внутри данной формальной системы полностью
эксплицируется, развертывается.
Смысл каждого элемента или конструкции - определяется через то "место",
которое они занимают внутри данной формальной системы. Это место должно
быть задано в явной форме. Ничего не подразумевается. Не допускается
никакая недосказанность или неопределенность.
Пока речь шла о формальных системах, понимаемых в самом широком смысле.
Это могут быть либо какие-то совершенно произвольные "выдуманные"
системы, либо формализованные модели каких-то реальных (материальных)
систем - таких объектов, которые допускают исчерпывающее, четкое,
однозначное, конечное описание своего способа функционирования (в виде
системы правил, которым подчинены действия данной системы).
В этом последнем случае мы можем рассматривать формализацию как "итог"
познавательного процесса, или как своего рода "идеал", к которому
стремится наше познание. Возможность создания адекватной формализованной
модели объекта указывает на то, что мы смогли получить исчерпывающую
информацию о данном объекте. Неформализуемость же, напротив, указывает
на неполноту наших знаний об объекте.
Далее, нам необходимо уточнить к какого рода формальным системам
приложима теорема Геделя. Это так называемые "исчисления" или
"дедуктивные системы". По существу, это ничто иное, как формализованные
описания тех или иных дедуктивных математических теорий (например,
формализованной арифметики, геометрии и т.п.).
Исчисления задаются следующим образом.
Прежде всего, задается
формализованный язык данного исчисления. Для этого нужно определить
алфавит и грамматику языка. Алфавит - это набор символов (букв)
допустимых в данном языке. Имея алфавит, мы можем составлять слова -