|
92 имеет члены. Вы хотите сказать, что это истинно в точности для 100 значений переменных. Последнее одинаково с тем, когда о классе говорят, что он имеет сто членов. Всё то, что вы хотите сказать о классах, одинаково с тем, что вы хотите сказать о пропозициональных функция к. исключая случайные и неуместные лингвистические формы, однако с определёнными оговорками, которые теперь должны быть объяснены. Возьмём, например, две пропозициональные функции, такие как 'х - человек', 'х - беспёрое, двуногое'. Обе они формально эквивалентны, т.е. когда одна из них является истинной, таковой является и другая, и наоборот. Кое-что из того, что вы можете сказать о пропозициональной функции, не будет необходимо оставаться истинным, если вы на её место подставите другую формально эквивалентную пропозициональную функцию. Например, пропозициональная функция 'х - человек' одна из тех, что должны иметь дело с понятием человечество. Последнее не верно для 'х - беспёрое, двуногое'. Или, если вы говорите: 'Тот-то и тот-то утверждает, что такой-то и такой-то является человеком', сюда входит пропозициональная функция 'х - человек', но 'х - беспёрое, двуногое' - нет. Есть много такого, что вы можете сказать о пропозициональной функции, которая не была бы истинной, если бы вы подставили другую формально эквивалентную пропозициональную функцию. С другой стороны, любое высказывание о пропозициональной функции, которая остаётся истинной или остаётся ложной, в зависимости от обстоятельств, когда вы подставляете вместо неё другую формально эквивалентную пропозициональную функцию, может рассматриваться как относящаяся к классу, который ассоциируется с пропозициональной функцией. Я хочу, чтобы вы брали слова может рассматриваться в строгом смысле. Я использую их вместо является, поскольку является было бы неверным. 'Экстенсиональные' высказывания о функциях суть те, что остаются истинными, когда вы подставляете любую другую формально эквивалентную функцию, и они суть те, что могут рассматриваться как относящиеся к классам. Если у вас имеется любое высказывание о функции, которое не является экстенсиональным, вы всегда можете образовать из него нечто подобное высказыванию, которое является экстенсиональным, а именно, существует функция, формально эквивалентная рассматриваемой, относительно которой рассматриваемое высказывание является истинным. Это высказывание, искусственно образованное из того, с которого вы начинали, будет экстенсиональным. Оно всегда будет одинаково истинным или одинаково ложным для любых двух формально эквивалентных функций, и это производное экстенсиональное высказывание мо- — 76 —
|