Витгенштейн - [35]
– 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 является ложным, другими словами, если… и т. д.
Разумеется, мы ограничились тремя элементарными предложениями только из педагогических соображений, и этот способ может иметь широкое применение. Из всего вышеизложенного Витгенштейн вывел то, что он называет «общей формой предложения», которая представляет все пропозициональные (молекулярные) формы посредством логической символики:
Таким образом, данная общая форма предложения, беря в расчет лишь форму предложений, предъявляет in nucleo все возможные пропозициональные формы; она является выражением правила знаков и в то же время показывает условия истинности каждого нового предложения. Другими словами, она позволяет a priori сконструировать форму из других форм с помощью единственной операции инверсии. В этом смысле, ничего не говоря об этих формах, она ограничивается тем, что показывает их.
Именно большой успех «Трактата» придал смысл главной идее, к которой нас подвело рассмотрение понятия образа, а именно – к тому, что логическая форма является невыразимой и может лишь показывать себя в соответствующей символике. Отсюда возникает вопрос: если можно показать пропозициональный знак через него самого, каковы условия истинности предложения?
Что такое «логический закон»?
На этом не заканчиваются выводы, вынесенные Витгенштейном из своего тезиса, согласно которому не следует признавать какие-либо логические константы. Теперь пришел черед обратиться к двум столбцам таблицы истинности. Эти столбцы демонстрируют странность, которая заключается в согласовании, выраженном соответствующими предложениями со всеми истинностными возможностями элементарных предложений (или ни с одной из них). Это означает, что данные предложения в действительности не имеют условий истинности, поскольку они либо всегда истинны (тавтология), либо всегда ложны (противоречие), независимо от того, что имеет место в действительности. Обычное предложение, наоборот, является истинным лишь при определенных условиях, с которыми оно согласуется, или ложным, если одно из этих условий не было выполнено. Между тем мы многократно настаивали на том, что смыслом предложения являются его условия истинности. Из этого непосредственно вытекает, что предложение, не имеющее условий истинности, – бессмысленно. Может показаться, что составленная нами таблица так же позволяет строить предложения, лишенные смысла, как и естественный язык…
Однако это не так, поскольку тавтология (или противоречие) лишена смысла не по причине невозможности существования видимо изображенного положения вещей, но из-за самих свойств истинностных функций.
Рассмотрим предложение (в привычном обозначении «p или q»):
Поставив p на место q, получим следующую небольшую таблицу:
А теперь заменим одну из двух p на ее отрицание:
Расположенная выше таблица истинности показывает форму предложения типа «идет дождь, или не идет дождь», которое всегда истинно в силу свойства функции, называемой дизъюнкцией, которая показана во второй и третьей строках таблицы. Обычное предложение, когда оно истинно, информирует нас о том, что имеет место в действительности, то есть что одно из его оснований истинности имеет место. Здесь же ситуация иная, поскольку тавтология хоть и является (всегда) истинной, однако совершенно ни о чем нас не информирует. Зато она выявляет свойство дизъюнкции, которое одновременно является формальным свойством мира, а именно – возможное положение вещей существует или не существует. Итак, можно сказать, что тавтология (как и противоречие) выявляет, по выражению Витгенштейна, «каркас мира» или «логику мира».
Где можно найти тавтологию? В логике. Логические законы, представленные в системах Фреге и Рассела, являются не более чем тавтологиями – именно благодаря этому выводу Витгенштейн снискал почет среди логиков в 1920-е годы.
Для понимания вышеизложенного достаточно вернуться к способу утверждения логических законов, выбранному этими великими учеными. Напомним, что логический закон должен обосновывать умозаключение. Как было упомянуто ранее, умозаключение не может быть правильным при наличии истинных посылок и ложного заключения. А теперь обратим внимание на одну из шестнадцати функций нашей таблицы истинности, на импликацию (→), которая обладает одним любопытным свойством: она ложна только тогда, когда ее антецедент истинен, а консеквент ложен. Предположим, что основания истинности (молекулярного) предложения, φ, являются одновременно основаниями истинности другого предложения, ϕ, или, другими словами, предположим, что ϕ согласуется со (по крайней мере) всеми возможностями истинности, с которыми согласуется φ. В этом случае импликация φ
