|
Этот афоризм является в какой-то мере обобщением всего того, что сказано в разделе 5 с его учением об общей пропозициональной форме, о формальности логического вывода, теории вероятности, Операции, универсальности, тождестве, пропозициональных установках. Таков неполный перечень вопросов, которые, по Витгенштейну, можно разрешить, потому что они находятся внутри языка. Но помимо этого 5.5 вводит еще новую, заключительную тему раздела 5 - тему солипсизма. 6 Общая форма истинностной Функции такова: [ р, С,, Щ Q]. Это и есть общая Форма Пропозиции. 6.001 Это означает не что иное, как то, что каждая Пропозиция есть результат последовательного применения Операции N' (х) к элементарным Пропозициям. 196 Этот раздел кажется самым трудным в силу нагромождения нестандартных формул и графов. Между тем, самое трудное осталось уже позади. Формула [ р, С,, Щ Q], в сущности, довольно проста, р означает множество Элементарных Пропозиций, z— то подмножество их, выбранное произвольно, которое подлежит какой-либо операции, a (N Q, как мы уже знаем, - операция Отрицания. То есть эта формула говорит: "Возьмите всю совокупность Элементарных Пропозиций ( р), выберите из них, сколько хотите ( Q и произведите над ними операцию последовательного Отрицания; в результате получите общую Форму Пропозиции ("Дело обстоит так-то и так-то"), которая, как доказано в разделе 5, является общей Формой истинностной функции Элементарных Пропозиций. 6.11 Поэтому Пропозиции Логики не говорят ничего. (Они являются аналитическими Пропозициями). 6.127 Все Пропозиции логика равнозначны, среди них не бывает по существу исходных законов и производных Пропозиций. Каждая Тавтология сама обнаруживает, что она Тавтология. То есть прозрачная Тавтология типа р = р и усложненная типа (р ~^(pv ~ р)-> ~ ~ р говорят фактически об одном и том же. Как уже говорилось, Хинтикка внес важную конструктивную поправку в это утверждение, разграничив глубинную и поверхностную информации. Но и сам Витгенштейн высказывался еще ранее написания "Трактата" в сходном духе: "Логические пропозиции, конечно, все показывают что-то различное, все они показывают, тем или иным образом, что они тавтологии, но это разные тавтологии, и поэтому каждая из них показывает нечто разное" [Wittgenstein 1982: 113]. 6.1271 Ясно, что число "законов Логики" произвольно, ибо можно было бы вывести Логику из одного закона, строя просто логическое произведение из фрегевского закона (Фреге, возможно, сказал бы, что этот основной закон был бы не столь очевидным. Но удивительно, как такой строгий мыслитель, как Фреге, принимал степень очевидности в качестве критерия для логической Пропозиции). — 171 —
|