Cтраница 4
Спецификации выбора числа остаются, конечно, такими же, как и раньше; требованиям различения также можно придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов: они раз - личны, если ке применимы в точности к одним и тем же вещам. Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. Хотя вполне разумно задать вопрос, отсутствуют ли в выборе какие-нибудь из предоставленных истинных альтернатив, у нас нет, вообще говоря, способа выразить это на языке исчисления предикатов первого порядка. Требование полноты содержит переменные, пробегающие по свойствам, и тем самым оно поднимает нас до онтологического уровня. Мы вполне могли бы остановиться на одном частном случае, когда множество связанных с данным определителем дескрипторов конечное и, следовательно, область также конечна. [46]
Спецификации выбора числа остаются, конечно, такими же, как и раньше; требованиям различения также можно придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов: они различны, если не применимы в точности к одним и тем же вещам. Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. Хотя вполне разумно задать вопрос, отсутствуют ли в выборе какие-нибудь из предоставленных истинных альтернатив, У нас нет, вообще говоря, способа выразить это на языке исчисления предикатов первого порядка. Требование полноты содержит переменные, пробегающие по свойствам, и те. Ны вполне могли бы остановиться на одном частном случае, когда множество связанных с данным определителем дескрипторов конечное и, следовательно, область также ко-нзчка. Детали этой логической конструкции восстанавливаются без особого труда. [47]