Читать «Семантическая концепция истины и основания семантики» онлайн - страница 25

Мне кажется, что реальная причина нашего отношения заключается в ином: мы знаем (пусть лишь интуитивно), что противоречивая теория должна содержать ложные предложения, а мы не хотим считать приемлемой теорию, содержащую такие предложения.

Имеются различные методы установления того, что данная теория содержит ложные предложения. Некоторые из них опираются на чисто логические свойства обсуждаемой теории. Метод, рассмотренный только что (т. е. доказательство противоречивости), не является единственным методом этого типа, но считается наиболее простым и чаще всего используется на практике. С помощью определенных предположений относительно истины эмпирических предложений мы можем получить столь же эффективные методы, которые уже не носят чисто логического характера. Если мы решим принять общий постулат, сформулированный выше, то успех в применении любого из этих методов сделает теорию неприемлемой.

22. Применения семантики к дедуктивным наукам.

Что касается применимости семантики к математическим наукам и их методологии, т. е. к мета-математике, то здесь мы находимся в гораздо более выгодном положении, чем в случае эмпирических наук. Нам уже не нужно выискивать причины, которые бы оправдали некоторые надежды на будущее (занимаясь, таким образом, какой-то пропагандой в защиту семантики), здесь мы можем указать на конкретные полученные результаты.

Продолжают выражать сомнения, может ли понятие истинного предложения ― в отличие от понятия доказуемого предложения ― иметь какое-либо значение для математических дисциплин и играть какую-либо роль в методологическом анализе математики. Мне кажется, однако, что именно понятие истинного предложения образует наиболее важный вклад семантики в мета-математику. У нас уже имеется целый ряд интересных мета-математических результатов, полученных с помощью теории истины. Эти результаты относятся ко взаимоотношениям между понятиями истинности и доказуемости; устанавливают новые свойства второго понятия (которое, как известно, является одним из фундаментальных понятий мета-математики); и проливают некоторый дополнительный свет на важнейшие проблемы непротиворечивости и полноты. Наиболее интересные из этих результатов были кратко рассмотрены в разделе 12.

Кроме того, с помощью методов семантики мы можем дать адекватные определения важным мета-математическим понятиям, которые до сих пор использовались лишь на интуитивном уровне, например понятию определимости или понятию модели системы аксиом. Это позволяет предпринять систематический анализ этих понятий. Исследования определимости, в частности, уже принесли некоторые интересные результаты и обещают еще больше в будущем.