Наличие «множественности» у данного пропозиционального знака зависит от того, насколько точно соответствуют истинностные возможности предложения возможностям существования или несуществования положений вещей, отображаемых элементарными предложениями. Следовательно, пропозициональный знак не может согласовываться с одной (или несколькими) истинностной возможностью элементарных предложений, которые не соответствовали бы возможности существования или несуществования положений вещей, отображенных элементарными предложениями. Напротив, мы видели, как предложение «в 22 часа 30 минут у Жана была температура 37,5, и в 22 часа 30 минут у Жана была температура 39 градусов» согласовывалось с иллюзорной возможностью существования положений вещей: соединению элементарных предложений не соответствует ни одна возможность существования положений вещей, изображенных посредством этих двух элементарных предложений.
В более общем плане пропозициональный знак отражает, с каким подмножеством множества истинностных возможностей элементарных предложений он согласуется. Это замечание позволяет нам продвинуться дальше и выявить множество молекулярных предложений, состоящих из двух элементарных предложений, поскольку данное множество является лишь множеством подмножеств множества из четырех элементов {<pv, qv>, v, qf>, <pf, qv>, f, qf>}, которое соответствует множеству {<α, β>, <α, β>, <α,β>, <α, β>}. Так как множество из четырех элементов имеет шестнадцать (24) подмножеств, можно составить следующую таблицу:
Небольшие символы, написанные в верхней части некоторых столбцов, обозначают логические союзы:
– p ˅ q соответствует p или q (инклюзивная дизъюнкция: оба элементарных предложения могут быть истинными);
– р ← q соответствует р если q;
– р → q соответствует если р, то q (импликация);
– р ↔ q соответствует если, и только если р, то q (двойная импликация);
– р ˄ q соответствует р и q (конъюнкция);
– р
q соответствует или р, или q (эксклюзивная дизъюнкция: два элементарных предложения не могут быть одновременно истинными);
– ~q (~p) соответствует не q (не р);
– р ↓ q соответствует ни р, ни q (инверсия).
Буквы «т» и «п» в верхней части двух столбцов обозначают два особых случая, которые мы вскоре рассмотрим, а именно «тавтологию» и «противоречие».
Столбец под знаком «˅» мы использовали в качестве исходной точки.
Из всего вышеизложенного можно сделать несколько выводов, которые приводит Витгенштейн.
– Не существует логической константы.
Прежде всего, представляется очевидным, что пропозициональные связки взаимовыразимы. Например, предложение если р, то q(p → q) имеет ту же «истинностную функцию» р и q, что и предложение не р или q (~p ˅ q), и не (р и не q)(~(p ˄ ~q)). Так что достаточно воспользоваться связками «~» и «˅» или «~» и «→», а то и вовсе одной связкой «↓», чтобы записать какое угодно молекулярное предложение, состоящее из двух элементарных предложений. Из этого следует, что нет никаких оснований для того, чтобы присваивать этим связкам особое значение; единственное, что важно, – знать, какая «истинностная функция» элементарных предложений есть молекулярное предложение, что в случае с p → q становится очевидным посредством обозначения (и, л, и, и,) (p, q), без каких-либо связок. Напротив, использование логических союзов может запросто навести на мысль, что они обладают особым значением, обозначая то, что Рассел называл «логическими данными».
Теперь мы лучше понимаем «основополагающую идею» Витгенштейна: не существует ни логического «объекта», ни логической константы, а логика как наука не должна заниматься изучением свойств этих так называемых объектов. По сути использование логических союзов создает иллюзию, что они сообщают нечто о форме (то есть условиях истинности) молекулярных предложений, которые образуются с их помощью, и это приводит к колоссальной путанице, в которую оказались втянуты Фреге с Расселом (и не только они одни!).
«Общая форма предложения»
Второй вывод, который можно сделать при изучении нашей таблицы, касается способа ее построения. Мы использовали несложный пример истинностных функций двух элементарных предложений. Однако мы можем проделать абсолютно то же самое с бесчисленным множеством элементарных предложений: имея n элементарных предложений, можно последовательно создать все истинностные функции этих n предложений. В отношении этих n элементарных предложений существуют 2n возможности истинности, соответствующие тем же 2n возможностям существования или несуществования положений вещей, отображаемых n элементарных предложений. Простой подсчет показывает, что имеется 2(2n) различных истинностных функций n элементарных предложений.
Однако пойдем дальше: как мы видели, можно выразить все истинностные функции при помощи истинностных функций лишь двух элементарных предложений. Между тем все истинностные функции двух элементарных предложений могут, в свою очередь, быть выражены посредством, например, одной функции – «инверсии» («ни… ни…», которую иногда называют штрихом Шеффера по имени ее «изобретателя»). Из этой возможности Витгенштейн выводит то, что составляет стержень «Трактата»: совокупность молекулярных предложений можно определить как результат одной операции – инверсии – над элементарными предложениями.
Вместо этой чересчур простой операции попробуем пояснить мысль Витгенштейна посредством двух операций – отрицания и дизъюнкции. Для большей наглядности предположим, что существует только три элементарных предложения – p, q и r. Из этих трех предложений мы условимся образовывать новые предложения, либо ставя знак отрицания «~» перед одним предложением, либо вставляя знак дизъюнкции «v» между двумя предложениями. Итак, вот пример того, как можно строить более сложные предложения:
– p; ~ p ˅ q; ~ (~ p ˅ q); r ˅~ (~ p ˅ q); ~q; ~q ˅ [r ˅~ (~ p ˅ q)] и т. д.
Таким образом возможно сконструировать a priori все истинностные функции одного, двух или трех элементарных предложений. Главное заключается в том, что способ, которым мы строили пропозициональные знаки, позволяет обнаружить на каждом этапе данного построения условия истинности нового предложения, поскольку каждое из двух обозначений операций одновременно является выражением определенной истинностной функции (см. таблицу, приведенную выше). В отношении выбранных нами примеров результат будет следующим: ~ p является истинным, если, и только если p является ложным; ~ p ˅ q является истинным, если, и только если ~ p и q не являются одновременно ложными, иначе говоря, если p не является истинным, а q ложным; ~ (~ p ˅ q) является истинным, если, и только если ~ p ˅ q является ложным, другими словами, если… и т. д.
