Философия Науки. Хрестоматия

Ссылка на соответствующую формальной системе содержательную аксиоматику, т.е. ссылка на определенный фрагмент действительности, ничего не даст. Дело в том, что всякая аксиоматическая система (в том числе и содержательная) есть некоторая упрощенная идеализация, лишь приблизительно соответствующая действительности. Переходя от содержательной аксиоматики к формальной и доказывая непротиворечивость последней, имеют цель доказать внутреннюю пригодность этой идеализации. Ссылка же для доказательства пригодности какой-либо идеализации на саму эту идеализацию явно представляет круг. Сказанное не означает, что непротиворечивость нельзя доказать методом моделей. Как раз, напротив, показав, что данная система аксиом выполнима, т.е. имеется система объектов, удовлетворяющая ей, тем самым доказывают се непротиворечивость. Но все дело в том, что модель должна быть абстрактной (т.е. взята с точностью до изоморфизма) и каким-то образом точно определена. С. 419-420. Чтобы оправдать такого рода систему аксиом, необходимо указать бесконечную область, для которой она выполняется, но убедиться в существовании бесконечной области можно только через значимость системы аксиом, характеризующих ее. Получается круг. Этот круг можно раздвинуть, т. е. указать модель для данной системы аксиом, определив эту модель через выполнимость некоторой другой системы аксиом. Таким образом удается свести непротиворечивость одной теории к непротиворечивости другой. Так, если система объектов определена через выполнимость системы аксиом ,41 и таким образом определенная система S удовлетворяет системе аксиом ,42, то ,42 будет непротиворечивой, если непротиворечива ,41.

Непротиворечивость одной теории сводится к непротиворечивости другой - круг Раздвигается, по не разрывается.

Чтобы выйти из этого круга, Д. Гильберт предложил доказывать непротиворечивость в отрицательном смысле, т.е. аксиоматическая система непротиворечива, если в этой системе не может быть выведено предложение А и его отрицание.

Для достижения этой цели, согласно программе Гильберта, надо представить аксиоматическую систему в исчислении, трансформировав правила логики в правила оперирования символами, в правила исчисления. После этого вопрос о непротиворечивости аксиоматической системы сводится к доказательству невозможности получения в исчислении формулы определенного вида. Само исчисление, которое является формализацией аксиоматической теории, рассматривают как аксиоматическую систему 3-го уровня. Иногда под аксиоматической системой в строгом смысле слова имеют в виду только исчисление, только формализм. Мы будем называть аксиоматическую систему на этом уровне формализованной теорией, аксиоматическим исчислением. С.420-421.

Генетический метод является методом, в рамках которого изучается формализм. Д. Гильберт считает, что в рамках генетического метода вполне возможно решить вопрос о непротиворечивости исчислений, но он недостаточен для прямого обоснования математики.

Задача обоснования теоретико-множественной системы мышления (на которой основывается аксиоматический метод второго уровня) решается Гильбертом путем формализма (аксиоматической системы третьего уровня) в рамках генетической (рекурсивной) системы мышления. Для Гильберта и формалистов последняя система мышления является слишком слабой, чтобы доставлять интерпретации даже для простых аксиоматических исчислений. Для них генетический метод является лишь средством обоснования аксиоматического метода. С. 422.

III

В чем же характерные особенности генетического метода, безотносительно к частным ограничениям? В чем его отличие от аксиоматического метода? Эго отличие мы видим, во-первых, в способе введения объектов теории и, во-вторых, в логической технике этих теорий.

При аксиоматическом методе область предметов, относительно которой строится теория, не берется за нечто исходное; за исходное берут некоторую систему высказываний, описывающих некоторую область объектов, и систему логических действий над высказываниями теории.

При генетическом подходе отправляются как от исходного от некоторых налично данных объектов и некоторой системы допустимых действий над объектами. В генетической теории процесс рассуждения представлен в «форме мысленного эксперимента о предметах, которые взяты как конкретно наличные». С. 422-423.