Как именно происходит описание членов скобочных выражений, несущественно.

Мы можем различать три способа описания: 1. Прямое перечисление. В этом случае мы можем просто вместо переменной поставить ее постоянное Значение. 2. Указание функции f x, Значение которой для всех Значений х является описываемым Пропозициями. 3. Указание формального закона, по которому построены эти Пропозиции. В этом случае число скобочных выражений охватывает все без исключения члены формального ряда.

Витгенштейн объясняет, что в правых скобках знак ж обозначает множество Элементарных Пропозиций, а точкам соответствует определенное количество этих Элементарных Пропозиций. Когда Витгенштейну безразлично, сколько их и в каком порядке они располагаются, то он пишет £, то есть "некое множество Элементарных Пропозиций". Когда, напротив, известно, сколько их и как они располагаются, то скобки раскрываются соответственно: если таких пропозиций три, то С, = (Р, Q, R).

В левых скобках - не что иное, как основания Истинности Элементарных Пропозиций из истинностной таблицы 5.101. Последняя

буква означает истинность, остальные_________ , в соответствии с 4.442,

соответствуют ложности. Количество этих признаков зависит от количества Элементарных Пропозиций в правых скобках; если там одна Пропозиция, то их будет две, если две, то четыре. Так, для двух

Элементарных Пропозиций р, q это будет___ И или (ЛЛЛИ), то есть 12-я

колонка в истинностной таблице 5.101. Она будет соответствовать истинностной функции ~ р & ~ q. Стало быть, эта Операция действительно Отрицает каждую Элементарную Пропозицию, находящуюся в правых скобках. Напомним, что ~ р & ~ q эквивалентно ~(pvq). Вот мы получили новую Пропозицию. Для того чтобы получить из этой Пропозиции другую (ведь речь идет о последовательном применении Операции Отрицания), мы применим к ней знак ~ еще раз: получим

~~(pvq) = pbq

Вот так мы из двух Элементарных Пропозиций р, q путем двойного применения Отрицания получили дизъюнкцию pvq.

"Значения переменных назначаются", - говорит Витгенштейн, то есть Значением С, может быть любое множество Пропозиций. Причем это множество можно просто перечислить - Р, Q, R. Можно указать функцию f х, а можно указать формальный ряд в духе 4.1273, то есть дать рекурсивное определение. В любом случае Значение С, будет любым сочетанием Элементарных Пропозиций, из которых путем последовательного Отрицания можно получить любую Пропозицию.

5. 5302. Говоря вскользь: Сказать о двух Вещах, что они тождественны, бессмысленно, а сказать об одном Предмете, что он тождествен самому себе, значит, ничего не сказать.

Если мы говорим, что тождество выражает такое отношение, что два предмета имеют общими все свойства, то это один и тот же предмет, а если они имеют общими не все свойства, это не полное тождество.

Рассел исходил из идеи тождества неразличимых. По Витгенштейну, не существует двух одинаковых предметов (ср. 2.0233). Если два предмета совершенно одинаковы, то это один предмет. Поэтому бессмысленно

утверждать а = b. Один предмет тождествен себе с необходимостью, поэтому утверждение а = а неинформативно.

5.542. Но ясно, что "А полагает, что р", "А думает, что р", "А говорит, что р" суть Пропозиции Формы "р говорит р". И здесь мы имеем не координацию Факта и Предмета, а координацию Фактов посредством координации их Предметов.

Хотя Витгенштейн не ссылается здесь на Фреге, он решает проблему в духе Фреге. Он лишает "р"статуса Пропозиции. "Р говорит р"- значит, что нечто издает какие-то звуки. По сути, "Р говорит р", а следовательно, и его деривант "А полагает, что р" является функционально элементарной пропозицией [Maslow 1962: 108]."Когда человек разделяет мнение о чем-то, он строит картину факта, приводя элементы своей Картины в соответствие с элементами факта. Картина тем не менее сама является фактом. Поэтому мы имеем "соответствие фактов посредством соответствия их предметов". Он сравнивает утверждение о мнении в этом отношении с утверждением вроде "Гренландия холодная", говорит, что Гренландия холодная". Здесь, следуя Витгенштейну, мы соотносим элементы пропозиционального Знака (который является Картиной) с элементами факта. Точнее, элементы пропозиционального знака соответствуют объектам мира, и способ их комбинации в пропозиции используется для того, чтобы представить путь, по которому объекты комбинируются друг с другом" [Fogelin 1976: 68].

И еще одна важная мысль относительно витгенштейновского понимания пропозициональных установок: "... когда нам говорят "А говорит, что р", то нам показывается (we are shown), что А говорит, что он утверждает о мире посредством того, что нам говорится, какие слова он использует. Или опять-таки если нам говорят "А полагает, что р", то нам показывается то, что А полагает, посредством того, что он говорит о том, какая картина ему представляется" [Mounce 1982: 86].

Итак, позиция Витгенштейна, в отличие от позиции Фреге, относительно пропозициональных установок примерно та же, какую Витгенштейн всегда высказывает, когда заходит речь о разных уровнях языка. Витгенштейн всегда прибегает здесь к метафоре молчаливого обнаружения, отвергая саму идею иерархичности языкового сознания. Все предложения равны, а те предложения, которые, используя выражение из Уорвела, "более равны, чем другие", не являются настоящими предложениями, то есть ни о чем не говорят.

Учение о пропозициональных установках, тем не менее, сыграло огромную стимулирующую роль в аналитической философии XX века, особенно в послевоенный период. Решение проблемы пропозициональных установок опиралось скорее на фрегевское представление проблемы. Так, Хинтикка строит семантику возможных миров для пропозициональных установок [Хинтикка 1979],а Крипке рассматривает ситуацию удвоения

мира в контекстах мнения [Крипке 1986].Критика самого понятия истинности как основы семантической теории [Даммит 1987, Сааринен

1986]в послевоенный период перенесла акцент с того, что любая пропозициональная установка является скрытой Элементарной Пропозицией, на то, что любая Элементарная Пропозиция является скрытой пропозициональной установкой. Особенно отчетливо эта антиверистская позиция - ничто не является пропозицией, прямым контекстом, но всякое утверждение есть мнение, то есть косвенный контекст - стала преобладать в послевоенной теории речевых актов - так называемая перформативная гипотеза [Ross 1976, Вежбицка 1985],в соответствии с которой любому высказыванию в речи реально предпосылается перформативная пресуппозиция. Это решение в духе позднего Витгенштейна.