Выполнимость есть отношение между произвольными объектами и определенными выражениями, называемыми "пропозициональными функциями". Это выражения типа "x бел", "x больше, чем у" и т. п. Их формальная структура аналогична структуре предложений, но они могут включать в себя так называемые свободные переменные (как 'х' и 'у' в выражении "x больше, чем у"), которые не могут входить в предложения.
При определении понятия пропозициональной функции для формализованных языков мы обычно пользуемся "рекурсивным методом", т. е. сначала описываем пропозициональные функции простейшего вида (что, как правило, не встречает трудностей), а затем указываем операции, посредством которых из простых могут быть построены более сложные функции. Такой операцией может быть, например, образование логической дизъюнкции или конъюнкции двух данных функций, т. е. соединение их с помощью слов "или" либо "и". Предложение теперь можно определить просто как пропозициональную функцию, не содержащую свободных переменных.
Что касается понятия выполнимости, то мы могли бы попытаться определить его так: данные объекты выполняют данную функцию, если последняя становится истинным предложением, когда свободные переменные в ней мы заменяем именами этих объектов. В этом смысле, например, снег выполняет пропозициональную функцию "x бел", так как предложение "снег бел" истинно. Однако, даже оставляя в стороне другие трудности, мы не можем воспользоваться этим методом, поскольку хотим употребить понятие выполнимости для определения истины.
Для определения понятия выполнимости нам лучше вновь обратиться к рекурсивной процедуре. Сначала мы указываем, какие объекты выполняют простейшие пропозициональные функции, а затем формулируем условия, при которых данные объекты выполняют сложную функцию, предполагая при этом, что нам известно, какие объекты выполняют более простые функции, из которых построена сложная функция. Так, например, мы говорим, что данные числа выполняют логическую дизъюнкцию "x больше, чем у или x равно у",если они выполняют хотя бы одну из функций "x больше, чем у" или "x равно у".
Как только получено общее определение выполнимости, мы тотчас же замечаем, что оно автоматически применимо также к тем особым пропозициональным функциям, которые не содержат свободных переменных, т. е. к предложениям. Выясняется, что для предложения возможны лишь два случая: предложение выполняется либо всеми объектами, либо ни одним из них. Отсюда мы легко получаем определение истинности и ложности: предложение истинно, если оно выполняется всеми объектами, и ложно в противном случае.[17]
(Может показаться странным, что мы избрали окольный путь определения истинности предложений вместо того, чтобы использовать, например, прямую рекурсивную процедуру. Причина заключается в том, что сложные предложения образуются из более простых пропозициональных функций, но не всегда из более простых предложений, поэтому неизвестен общий рекурсивный метод, применимый специально к предложениям.)
Из этого беглого наброска не видно, где и как в рассуждение включается предположение о "большем богатстве" мета-языка. Это выясняется лишь при более детальном и формальном построении.[18]
12. Следствия данного определения.
Определение истины, набросок которого был дан выше, приводит ко многим интересным следствиям.
В первую очередь, это определение оказывается не только формально корректным, но также и материально адекватным (в смысле раздела 4), иными словами, из него следуют все эквивалентности вида (Т). В этой связи важно заметить, что условия материальной адекватности единственным образом детерминируют объем термина "истина". Поэтому любое определение истины, которое материально адекватно, будет необходимо эквивалентно построенному выше. Семантическая концепция истины не дает нам, так сказать, возможности выбирать между различными неэквивалентными определениями этого понятия.
Кроме того, из нашего определения мы можем дедуцировать различные законы общего характера. В частности, с его помощью мы можем доказать законы противоречия и исключенного третьего, столь важные для аристотелевской концепции истины, т. е. мы можем показать, что только одно из двух противоречащих друг другу предложений истинно. Эти семантические законы не следует отождествлять с родственными логическими законами противоречия и исключенного третьего. Последние принадлежат пропозициональному исчислению, т. е. наиболее элементарной части логики, и вообще не включают в себя термина "истинно".
17
При осуществлении этой идеи возникает определенная техническая трудность. Пропозициональная функция может содержать произвольное число свободных переменных, а логическая природа понятия выполнимости изменяется в зависимости от этого числа. Когда речь идет о функциях с одной переменной, то обсуждаемое понятие является бинарным отношением между этими функциями и единичными объектами; для функций с двумя переменными оно становится тернарным отношением между функциями и парами объектов и т. д. Таким образом, мы имеем дело, строго говоря, не с одним понятием выполнимости, а с бесконечным множеством таких понятий, и оказывается, что эти понятия не могут быть определены независимо одно от другого и все должны вводиться одновременно.
Для преодоления этой трудности мы используем математическое понятие бесконечной последовательности (или, может быть, конечной последовательности с произвольным числом терминов). Мы договариваемся рассматривать выполнимость не как многоместное отношение между пропозициональными функциями и бесконечным числом объектов, но как бинарное отношение между функциями и последовательностями объектов. При таком допущении формулировка общего и точного определения выполнимости больше не представляет никаких трудностей. Теперь истинное предложение можно определить как предложение, которое выполняется каждой последовательностью.
18
Для того чтобы рекурсивно определить понятие выполнимости, мы должны использовать определенную форму рекурсивного определения, не разрешенную в объектном языке. Поэтому "существенное богатство" мета-языка может заключаться просто в наличии этого типа определения, С другой стороны, известен общий метод, позволяющий устранить все рекурсивные определения и заменить их обычными, явными определениями. Когда мы пытаемся применить этот метод к определению выполнимости, мы видим, что должны либо ввести в мета-язык переменные более высокого логического типа, чем переменные объектного языка, либо задать аксиоматически в мета-языке существование классов, более широких по объему, чем все те классы, существование которых может быть установлено в объектном языке. (См. работы: