Логико-философский трактат. Философские исследования
Шрифт:
3.318. Подобно Фреге и Расселу, я определяю суждение как функцию содержащегося в нем выражения.
3.32. Знак есть то, что может быть воспринято как символ.
3.321. Посему один и тот же знак (письменный, речевой и т. д.) может быть общим для двух различных символов – в этом случае они будут обозначаться различным образом.
3.322. Использование одного и того же знака для обозначения двух различных объектов вовсе не указывает на общую для них характеристику,
3.323. В повседневном языке одно и то же слово очень часто имеет различные способы обозначения – то есть принадлежит различным символам, – или два слова, имеющих различные способы обозначения, употребляются в суждениях схожим образом.
Так, слово «быть» выступает как глагол-связка, как знак равенства и как выражение существования; слово «существовать» употребляется сходно непереходному глаголу «происходить», а слово «тождественный» – как прилагательное; мы говорим не только о чем-то, но и о том, что нечто существует. (В суждении «Зеленое зеленое» первое слово есть имя существительное, а второе – прилагательное, и эти слова не просто имеют разные значения: они являются различными символами.)
3.324. Таким образом возникают фундаментальные недоразумения (философия полна ими).
3.325. Чтобы избегать подобных ошибок, мы должны использовать знаковый язык, исключающий ошибки благодаря тому, что в нем каждому знаку соответствует свой символ, а также не употреблять знаки, по-разному обозначающие; то есть использовать знаковый язык, который опирается на логическую грамматику и логический синтаксис.
(Логическая символика Фреге и Рассела – пример такого языка, хотя, не стану спорить, в нем не устранены все без исключения ошибки.)
3.326. Чтобы опознать символ по его знаку, мы должны обращать внимание на его осмысленное употребление.
3.327. Знак не определяет логическую форму, если не учитывать его логико-синтаксическое окружение.
3.328. Если знак не используется, он не имеет значения. В этом суть принципа Оккама.
(Если все указывает на то, что знак имеет значение, то он имеет значение.)
3.33. В логическом синтаксисе значение знака не играет роли. Должно быть возможно оперировать логическим синтаксисом, не опираясь на значения знаков: предполагается лишь описание выражений.
3.331. Обратимся с учетом этого к «теории типов» Рассела. Очевидно, что Рассел ошибается, поскольку он использует значения знаков, составляя правила их употребления.
3.332. Никакое суждение не может утверждать что-либо о себе, поскольку пропозициональный знак не может содержаться в себе самом (а это суть «теории типов»).
3.333. Причина, по которой функция не может быть собственным аргументом, заключается в том, что функция уже содержит прототип аргумента и не может содержать саму себя.
Предположим, что функция F(fx) является собственным аргументом; в этом случае возникает высказывание «F(F(fx))», в котором внешняя функция F и внутренняя функция F должны иметь различные значения, ведь внутренняя имеет форму ?(fx), а внешняя – форму ?(?(fx)). Общим для обеих функций является только обозначение «F», но само по себе оно ничего не означает.
Это становится очевидным, если вместо «F (Fu)» мы запишем «(??): F(?u) x ?u = Fu». Тем самым устраняется парадокс Рассела.
3.334. Правила логического синтаксиса должны быть самоочевидными, когда известен способ обозначения каждого знака.
3.34. Суждение обладает постоянными и случайными свойствами. К случайным относятся те свойства, которые возникли из конкретного способа порождения пропозиционального знака.
Постоянные свойства – те, без которых суждение не в состоянии выразить свой смысл.
3.341. Таким образом, в суждении постоянно то общее, что есть у всех суждений, выражающих один и тот же смысл.
Точно так же в символе постоянно то общее, что есть у всех символов, служащих выполнению одной задачи.
3.3411. Поэтому можно сказать: то, что есть общего у всех символов, обозначающих объект, является истинным именем объекта. И потому, один за другим, все типы комбинаций оказываются несущественными для имени.
3.342. Пусть в наших обозначениях достаточно условностей, безусловно вот что: если нечто определено произвольно, нечто другое должно иметь место. (Такова природа обозначения.)
3.3421. Важен не конкретный способ обозначения, а то, что он является возможным. Именно так в целом обстоит в философии: раз за разом частное оказывается несущественным, зато возможность частного снова и снова открывает нечто относительно сути мира.
3.343. Описания суть правила перевода с одного языка на другой. Любой корректный знаковый язык должен подлежать переводу в соответствии с подобными правилами; именно это является общим для всех знаковых языков.
3.344. Символ обозначает то, что является общим для всех тех символов, которыми его возможно заменить по правилам логического синтаксиса.
3.3441. К примеру, мы можем выразить то общее, что присуще всем системам записи функций истинности, следующим образом: общее у них то, что, например, формулы «~p» («не p») и «p ? q» («p или q») могут заменить любую из них.
(Это характеризует способ, каким нечто общее может быть выявлено той или иной возможной знаковой системой.)