PhilosophyDay

2.4.4 ‘Сказанное’ и ‘показанное’

Другая философия / Аналитическая философия / 2.  Программа логического атомизма / 2.4 Логический атомизм "Трактата": от синтаксиса к онтологии / 2.4.4 ‘Сказанное’ и ‘показанное’

Страница 4

Отсюда вытекают особенности функционирования формальных понятий. Указание на формальное понятие может выражаться в предложении использованием переменных. Например, присутствие переменной ‘x

’ в ‘($х

)fx

’ свидетельствует об использовании псевдопонятия предмет: «Там, где всегда правильно используется слово ‘предмет’, оно выражается в символической записи через переменное имя» [4.

’) на использование формального понятия предмета указывает логический прообраз данного предложения ‘fx

’. Представленные примеры могут прочитываться как “Имеется предмет x

, обладающий свойством f

” и “Предмет а

обладает свойством f

” соответственно. Но нельзя употреблять формальные понятия как выраженные действительными функциями, поскольку там, где они употребляются «как собственно понятийное слово, возникают бессмысленные псевдопредложения» [4.1272]. Бессмысленно, например, говорить: “Имеется х

,

обладающий свойством быть предметом” или “а

обладает свойством быть предметом”. Внутреннее свойство, выраженное формальным понятием, обнаруживает себя в функционировании знаков и не может быть явно установлено в каком-то предложении [158]. Указанные особенности относятся ко всем формальным понятиям и могут служить их отличительным признаком.

Формальные понятия вводятся с использованием соответствующих переменных. Присутствие переменных уже указывает на их возможную область определения. «Формальное понятие уже дано с предметом, который под него подводится» [4.12721], поэтому вводить одновременно формальное понятие и то, что под него подпадает, бессмысленно. Скажем, вводить как исходные переменную ‘x

’ и константу ‘а

’ для указания на предметы нельзя. Ведь правильное использование ‘x

’ в ‘fx

’ уже подразумевает, что ее место может быть занято ‘a

’. Если же ‘a

’ вводится особо, то это должно подразумевать, что у аесть какое-то особое свойство. Но последнее может быть выражено только содержательным понятием в осмысленном предложении, а стало быть, ‘a

’ тогда не было бы неопределяемым. Все неопределяемые должны вводиться со знаком формального понятия, в противном случае возникают псевдопредложения. Если помимо формального понятия предмет в качестве исходного вводится имя ‘Сократ’, то необходимо было бы указать, что Сократ

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

В заблуждение, связанное с нарушением этого требования, как считает Витгенштейн, впадает Рассел, который наряду с понятием функции в качестве исходных вводит конкретные функции [4.12721]. В самом деле, чтобы предотвратить возникновение парадоксов, он в аксиоме сводимости постулирует существование предикативных формально-эквивалентных функций. Но это может свидетельствовать лишь о том, что формальное понятие функции изначально было введено неправильно. Зачем Расселу вдруг понадобилось уточнение? Если ориентироваться на синтаксис, то, как показано выше, правильное использование формального понятия функции само предотвращает появление парадоксов. Надлежащее использование переменных, определяемое логической формой предложения, само показывает, что всякая функция является предикативной. Черты формальных понятий полностью определены синтаксисом предложений, который задает символическую интенцию знаков, с помощью которых построено это предложение. Но сами эти черты не могут быть выражены в каком-то другом предложении: «Вопрос о существовании формального понятия бессмыслен. Ибо ни одно предложение не может на такой вопрос ответить» [4.1274]. Предложение показывает символическую интенцию своих знаков, и тому, кто не видит, бесполезно давать объяснения, поскольку объяснение должно опираться на предложения, символические особенности которых уже известны. Но тому, кто не понимает символических особенностей первых, еще более неясными были бы символические особенности вторых. В этом случае лишь возникла бы распространенная методологическая ошибка: Объяснение неизвестного через еще более неизвестное. Здесь находит свое завершение тема, высказанная в Заметках, продиктованных Дж.Э. Муру