Читать «Истина и доказательство» онлайн - страница 9

Если выполняются все описанные выше условия, построение искомой дефиниции истины не представляет принципиальных трудностей. Однако в техническом отношении это достаточно сложная процедура, чтобы можно было подробно объяснить её здесь. Для любого данного предложения языка-объекта мы можем легко сформулировать соответствующую частную дефиницию формы (3). Однако, поскольку множество всех предложений в языке-объекте является, как правило, бесконечным, мы не можем достигнуть общей дефиниции с помощью простой конъюнкции всех частных дефиниций. Тем не менее во многих случаях оказывается возможным построить общее определение.

Очень грубо говоря, мы поступаем следующим образом. Прежде всего рассматриваем простейшие предложения, которые не содержат каких-либо других предложений в качестве своих составных частей. Для этих простейших предложений можно определить условия их истинности непосредственно (используя ту же самую идею, которая ведёт к частным дефинициям). Затем, используя синтаксические правила, касающиеся формирования сложных предложений из простых, расширяем дефиницию на любое составное предложение языка. В данном случае используется метод, известный математикам как рекуррентная дефиниция. По некоторым техническим причинам метод рекурсии используется для определения понятия выполнения, а не истины. Истина затем легко определяется в терминах выполнимости.