Логико-философский трактат. Философские исследования

Выражение характеризует форму и содержание.

3.311. Выражение предполагает формы всех суждений, в которых оно может встречаться. Это общая характеристика класса суждений.

3.312. Поэтому оно представляется посредством общей формы выражений, им характеризуемых.

На самом деле в этой форме выражение будет константой, а все прочее – переменными.

3.313. Посему выражение представляется посредством переменных, чьи значения – суждения, которые содержат это выражение. (В предельном случае переменная становится константой, выражение становится суждением.

)

Я называю такую переменную пропозициональной переменной.

3.314. Выражение обретает смысл только в суждении. Все переменные могут быть истолкованы как пропозициональные переменные.

(Даже переменные имена.)

3.315. Если мы превратим элемент суждения в переменную, то получим класс суждений, все из которых будут значениями итогового переменного суждения. В целом этот класс окажется зависимым от значения, которым наши произвольные договоренности наделили части исходного суждения.

И если все его знаки, имеющие условно закрепленные значения, обратятся в переменные, мы все равно получим подобный класс. Этот класс, впрочем, будет зависеть не от условностей, а только от природы суждения. Он соответствует логической форме – логическому прототипу.

3.316. Значения пропозициональных переменных обусловлены.

Само обусловливание значений есть переменная.

3.317. Обусловливать значения пропозициональной переменной значит указывать суждения, чьей общей характеристикой служит эта переменная.

Посему обусловливание имеет отношение только к символам, а не к их значению.

И важно, что обусловливание – не более чем описание символов и ничего не говорит об обозначаемом.

Как возникает описание суждения, не имеет значения.

3.318. Подобно Фреге и Расселу, я определяю суждение как функцию содержащегося в нем выражения.

3.32. Знак есть то, что может быть воспринято как символ.

3.321. Посему один и тот же знак (письменный, речевой и т.

 д.) может быть общим для двух различных символов – в этом случае они будут обозначаться различным образом.

3.322. Использование одного и того же знака для обозначения двух различных объектов вовсе не указывает на общую для них характеристику, если мы прибегаем к различным методам обозначения. Ибо знак, как известно, произволен. Мы можем использовать два различных знака, и что общего останется тогда у означаемого?

3.323.