Философия логического атомизма

Дискуссия

Вопрос: Можете ли вы рассматривать все эти классы, классы классов и т.д. как единое целое? М-р Рассел: Всё это фикции, но в каждом случае различные фикции. Когда вы говорите: 'Существуют классы индивидов', высказывание 'существуют' требует расширения и объяснения, и, записав то, что действительно имели в виду или должны были иметь в виду, вы найдёте, что оно представляет собой нечто совершенно отличное от того, что вы думали. Эта процедура расширения и полной записи того, что подразумевается, будет иной, если вы перейдёте к 'Существуют классы классов индивидов'. Имеется бесконечное число значений 'существуют'. Поскольку речь идет о иерархии классов, только первое является фундаментальным. Вопрос: Меня интересует, не аналогично ли это пространствам, где первых три измерения действительны, а более высокие измерения просто символические. Я вижу, что различие есть, более высокие измерения существуют, но вы можете рассматривать их как единое целое. М-р Рассел: Имеется только одно фундаментальное значение, которое является первым, значение, касающееся индивидов, но перейдя к классам, вы отошли настолько далеко от того, что существует, как если бы перешли к классам классов. На самом деле в физическом мире классов не существует. Есть индивиды, но не классы. Если вы говорите: 'Универсум существует', данное значение 'существует' будет совершенно отличным от значения, в котором вы говорите: 'Существуют индивиды', и которое подразумевает, что 'пропозициональная функция "х - индивид" иногда является истинной'. Все эти высказывания являются высказываниями о символах. Они никогда не относятся к самим вещам, и должны иметь дело с 'типами'. Последнее на самом деле является важным, и я не должен забывать говорить, что отношение символа к тому, что он обозначает, различно в разных типах. Я веду речь теперь не об иерархии классов и т.п., но о том, что отношение предиката к тому, что он обозначает, отличается от отношения имени к тому, что обозначает оно. Нет одного единственного понятия 'значения', как обычно думают, так чтобы вы в одинаковом смысле могли сказать: 'Все символы имеют значение', но существует бесконечное число разных способов значения, т.е. разных типов отношения символа к символизируемому, которые абсолютно различны. Например, отношение пропозиции к факту совершенно отлично от отношения имени к индивиду, как вы можете видеть из того факта, что существует две пропозиции, всегда относящиеся к одному данному факту, а с именем это не так. Последнее демонстрирует вам, что отношение, которое пропозиция имеет к факту, совершенно отлично от отношения имени к индивиду. Вы не должны предполагать, что сверх и помимо этого существует способ, которым вы можете прийти к фактам, именуя их. Вы всегда можете прийти к вещи, на которую нацелены, только посредством надлежащего типа символа, достигающего её подходящим способом. Это реальная философская истина, лежащая в основе всей теории типов.

VIII. ЭКСКУРС В МЕТАФИЗИКУ: ЧТО ЭТО ТАКОЕ