Спецификации выбора числа остаются, конечно, такими же, как и раньше; требованиям различения также можно придать ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Белнап Н.N. Логика вопросов и ответов


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

(cкачать страницу)

Смотреть книгу на libgen

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