|
90 что это множество уже здесь в своей полноте. Если вы собираетесь что-то говорить обо 'всех пропозициях', вы должны, прежде всего, определить пропозиции каким-то таким способом, чтобы исключить те из них, которые указывают на все пропозиции уже определённого типа. Из этого следует, что слово 'пропозиция' в том смысле, в котором мы обычно пытаемся его использовать, является бессмысленным, и что мы можем разделить пропозиции на множества и можем высказывать утверждения о всех пропозициях в данном множестве, но такие пропозиции сами не будут членами этого множества. Например, я могу сказать: 'Все атомарные пропозиции являются либо истинными, либо ложными', но само последнее не будет атомарной пропозицией. Если вы без ограничений попытаетесь сказать: 'Все пропозиции являются либо истинными, либо ложными', вы утверждаете вздор, потому что, если бы это не было вздором, оно само должно было бы быть пропозицией и одной из тех пропозиций, которые включаются в свой собственный объём, а следовательно, закон исключённого третьего, как он провозглашён только что, является бессмысленным набором звуков. Вы должны расчленить пропозиции на различные типы, и можете начать с атомарных пропозиций или, если вам нравится, можете начать с тех пропозиций, которые вообще не указывают на множество пропозиций. Затем следующими вы возьмёте те, которые указывают на множества пропозиций той разновидности, которые вы брали первыми. Те, что указывают на множества пропозиций первого типа, вы можете назвать вторым типом, и т.д. Если вы примените это к человеку, который говорит: 'Я лгу', вы найдёте, что противоречие исчезло, поскольку он должен будет сказать, каким типом лжеца он является. Если он говорит: 'Я утверждаю ложную пропозицию первого типа', фактически это высказывание, поскольку оно указывает на общность пропозиций первого типа, относится ко второму типу. Следовательно, не верным будет то, что он утверждает ложную пропозицию, и он остаётся лжецом. Сходным образом, если бы он говорил, что утверждал ложную пропозицию 30,000-ного типа, последнее было бы утверждением 30,001-го типа, поэтому, он всё ещё оставался бы лжецом. И контраргумент, доказывающий, что он к тому же не был лжецом, разрушается. Вы можете сформулировать, что общность любой разновидности не может быть членом самой себя. Последнее применимо к тому, что мы говорим о классах. Например, общность классов в мире не может быть классом в том же самом смысле, в котором последние являются классами. Так мы должны различать иерархию классов. Мы будем начинать с классов, которые всецело со- — 74 —
|