"Бертран Рассел. Логический атомизм" - читать интересную книгу автора

тип, если и только если, при любом данном факте, в котором A является
конституентом, существует соответствующий факт, который имеет B в качестве
конституента и который получается либо путем замены A через B или же его
отрицание.
Проиллюстрируем это. Сократ и Аристотель имеют тот же самый тип, потому
что "Сократ был философом" и "Аристотель был философом" - оба являются
фактами.
Сократ и Калигула также имеют тот же самый тип, потому что "Сократ был
философом" и "Калигула не был философом" также представляют собой факты
"Любить"
и "убивать" относятся к тому же самому типу, потому что "Платон любил
Сократа" и "Платон не убивал Сократа" оба суть факты. Формально следует из
определения, что когда два слова имеют значения различного типа, тогда
отношение этих слов к тому, что они обозначают, также различных типов. То
есть существует не одно отношение значения между словами и тем, что они
обозначают, а множество отношений значения, каждое различного логического
типа, поскольку существуют логические типы среди объектов, для которых
имеются слова. Этот факт - самый серьезный источник ошибок и путаницы в
философии. В частности, он чрезвычайно затрудняет словесное выражение
любой теории отношений, которая логически способна быть истинной, потому
что язык не может сохранить различие типа между отношением и его
терминами. Большинство аргументов за или против реальности отношений
оказывалось несостоятельным благодаря этому источнику путаницы.
В этом пункте я предлагаю отклониться на момент и сказать кратко,
насколько смогу, что я думаю об отношениях. Мои взгляды по вопросу об
отношениях в прошлом были менее ясны, чем я думал, но они никоим образом
не были такими, какие мои критики приписывают мне. Из-за недостатка
ясности в собственных мыслях я не был в состоянии выразить их смысл.
Вопрос об отношениях является трудным, и я далек от утверждения, что
теперь способен разъяснить его. Но я думаю, что некоторые пункты мне ясны.
В то время, когда я писал "Принципы математики", я еще не видел
необходимости в логических типах. Доктрина типов глубоко повлияла на
логику, и я считаю, она показывает, что в точности является правильным
элементом в аргументации тех, кто сопротивляется "внешним" отношениям. Но
будучи далека от усиления их основной позиции, доктрина типов, напротив,
приводит к более полному и радикальному атомизму, чем любой иной, который
я рассматривал как возможный двадцать лет назад. Вопрос об отношениях -
один из наиболее важных, возникших в философии, так как большинство других
вопросов связаны с ним монизм и плюрализм; является ли что-либо полностью
истинным, кроме Целостной истины, или целиком реальным, кроме полной
реальности; идеализм и реализм в некоторых их формах; возможно ли
существование самой философии как предмета отличного от науки и
обладающего собственным методом. Будет достаточно, чтобы сделать мое
намерение ясным, если я приведу отрывок из книги Брэдли "Очерки об истине
и реальности", не в целях спора, а потому, что в нем поднимается именно та
проблема, которую нужно поставить. Но прежде всего я попытаюсь
сформулировать свой собственный взгляд без аргументации. (Я многим обязан
моему другу Витгенштейну в этом деле.
См его книгу "Логико-философский трактат" (Tractatus
Logico-Philosophicus, Kegan Paul, 1922). Я не принимаю целиком его