Витгенштейн - Франсуа Шмитц

Второй вывод, который можно сделать при изучении нашей таблицы, касается способа ее построения. Мы использовали несложный пример истинностных функций двух элементарных предложений. Однако мы можем проделать абсолютно то же самое с бесчисленным множеством элементарных предложений: имея n элементарных предложений, можно последовательно создать все истинностные функции этих n предложений. В отношении этих n элементарных предложений существуют 2ⁿ возможности истинности, соответствующие тем же 2ⁿ возможностям существования или несуществования положений вещей, отображаемых n элементарных предложений. Простой подсчет показывает, что имеется 2⁽²ⁿ⁾ различных истинностных функций 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 является ложным, другими словами, если… и т. д.