Однако сама возможность сопоставления объектов познающим разумом мотивирует необходимость принятия такой особой сущности как логическая форма, даже несмотря на то, что ее анализ сугубо логическими средствами может быть различным и даже неправильным. Рассел пишет по этому поводу: «Совершенно неясно, что представляет собой правильное логическое рассмотрение формы, но чем бы ни было это рассмотрение, ясно, что мы знакомы (возможно, в расширительном смысле слова ‘знакомство’) с чем-то столь абстрактным, как чистая форма, поскольку иначе мы не могли бы осмысленно использовать такое слово, как ‘отношение’»[20] . В этом смысле логический анализ зависит от эпистемологического интереса, поскольку определение предметного содержания формальной логики связано с выявлением особого типа логических объектов. Этот же эпистемологический интерес позволяет Расселу обосновать априорный характер логики. Логика невыводима из эмпирических данных, поскольку оперирует объектами иной природы, с которыми познающий разум знаком непосредственно.
Руководствуясь потребностями теории познания, Рассел указывает на несводимость простых высказываний к эмпирическим данным, допуская знакомство с их логической формой. Аналогичная ситуация возникает и относительно сложных высказываний, в которых упорядочиваются уже не эмпирические данные, но логические формы простых высказываний. Возможность сопоставления последних требует принятия еще одного типа логических объектов, также данных в отношении непосредственного знакомства и характеризующих структуру сложных высказываний, определяя их понимание. Как пишет Рассел, «помимо форм атомарных комплексов существует много других логических объектов, которые вовлечены в образование неатомарных комплексов. Такие слова, как или, не, все, некоторые, явно затрагивают логические понятия; и поскольку мы можем осмысленно использовать эти слова, мы должны быть знакомы с соответствующими логическими объектами»[21] . Например, высказывание “Дездемона любит Отелло и не любит Кассио” включает логические союзы, соответствующие логическому умножению и отрицанию, характеризующие отношения между атомарными комплексами. Если атомарные комплексы обозначить как ‘ p ’ и ‘ q ’, то форма данного молекулярного комплекса будет выглядеть как ‘ p ? ~ q ’. С точки зрения Рассела, логическим союзам также должны соответствовать примитивные значения, логические объекты.
Введение логических объектов расширяет онтологическую основу формальной логики, которая становится знанием об особом типе предметов. И в этом отношении, несмотря на специфический характер предметной области, логика представляет собой науку, подобную всем другим наукам. Дело философии вписать ее в доктринальные рамки научного знания. Ясно, что для Рассела этот процесс существенно зависит от принимаемой им онтологической концепции, которая придает положениям логики субстанциальный характер, и теоретико-познавательных предпосылок, заставляющих рассматривать содержание формальной системы в перспективе действительного мира. Принимая в расчет сказанное выше, существенной корректировки требует следующее утверждение Рассела: «Философию, сторонником которой я являюсь, можно назвать логическим атомизмом или абсолютным плюрализмом, поскольку, утверждая, что существует много вещей, она вместе с тем отрицает существование целого, состоящего из этих вещей. Таким образом, философские высказывания касаются не совокупности вещей в целом, но каждой вещи в отдельности; и они должны затрагивать не только каждую вещь, но такие свойства всех вещей, которые не зависят от их случайной природы и от счастливой случайности существования, но которые истинны в любом возможном мире, независимо от тех фактов, которые можно обнаружить только при помощи наших органов чувств»[22] . В условиях, когда моделирующие отношения структур описания, на экспликацию которых претендует формальная логика, ставятся в зависимость от онтологических и теоретико-познавательных предпосылок, буквальное понимание приведенного утверждения было бы неверным; наоборот, специфика взглядов Рассела требует учитывать и совокупность рассматриваемых вещей, и специфическую природу и иерархическую структуру примитивных значений, и зависимость анализа выражения от действительного существования предмета описания.
[1] См., например: Рассел Б. Философия логического атомизма. Томск: Водолей, 1999. С.31.
[2] Russell B. Our Knowledge of the External World. – London: George Allen & Unwin, LTD, 1926. P .47.
[3] Рассел Б. Введение в математическую философию. – М.: Гнозис, 1996. – С.155-156.
[4] Frege G. Philosophical and Mathematical Correspondence. – Oxford: Basil Blackwell, 1980. – P.130.
[5] Рассел Б. Философия логического атомизма. С.90.
[6] Там же. С.88.
[7] Рассел Б. Введение в математическую философию. Гл.2;13.
[8] Там же. С.123.
[9] Рассел Б. Философия логического атомизма. С.91.
[10] Рассел Б. Проблемы философии. – СПб: Изд.П.П.Сойкина, 1914. – С.35.
[11] Там же.
[12] Там же. С.36.
[13] Там же. С.44.
[14] Данный пример требует уточнения, поскольку ни с Сократом, ни с Вальтером Скоттом мы не имеем непосредственного знакомства в собственном смысле данного слова, эти имена требуют дальнейшего анализа, но для простоты изложения мы будем рассматривать их здесь как собственные. Ниже мы вернемся к этому вопросу в связи с аналогичной проблемой у Витгенштейна.
[15] Там же. С.89.
[16] Там же. С .92.
[17]Тамже . С .94.
[18] Russell B. Theory of Knowledge: The 1913 Manuscript // The Collected Papers of Bertrand Russell. – London: Allen & Unwin, 1984. – P.100.
[19] Ibid. P.101.
[20] Ibid. P.98.
[21] Ibid. P.99.
[22] Russell B. Misticism and logic. P.111.