ПОИСК Статьи Рисунки Таблицы Слкой-вопросы. Их субъекты. Реальные и номинальные альтернативы из "Логика вопросов и ответов" Реальные альтернативы, предоставляемые вопросом (9), не могут быть определены в терминах подстановки, так как, очевидно, подстановка неязыкового объекта вместо переменной л в матрицу (10) бессмысленна. Тем не менее достичь желаемого результата можно, определяя реальные альтернативы, предоставляемые вопросом (9), как упорядоченные пары вида /, а является наименьшим простым числом, большим чем 45 . Здесь под / понимается функция, ставящая в соответствие переменной х некоторый объект из реальной категории, связанной с условием (11), т. е. некоторое натуральное число. Такую упорядоченную пару можно трактовать как предложение, утверждающее, что вещь f(x) удовлетворяет матрице (10). О его истинности или ложности можно говорить в зависимости от того, удовлетворяет вещь этой матрице или нет. Набор всех реальных альтернатив образует реальную (действительную) область вопроса (9). [c.34] Именная область вопроса (12) состоит из различных предложений, получаемых в результате замены переменной д на имена мальчиков и переменной у на имена девочек в матрице (13), а реальная область этого вопроса состоит из различных пар вида /, х является братом у , где / (х) есть мальчик, а /( /) есть девочка . [c.35] для определения реальных и номинальных альтернатив, задаваемых /сакои-вопросом, нам в общем случае необходимо иметь три объекта 1) множество X вопросительных переменных 2) категорное отображение в множество Х 3) матрицу А. Если X непусто, мы определяем понятие абстрактного какой-субъекта как тройку Х, g, Ау, состоящую из этих единиц . Вспомним, что в разд. 1.2.1 отмечалось, что абстрактный ли-субъект ли-вопросов — это то же самое, что область альтернатив, тогда как для какой-вопросов понятия абстрактного субъекта и области альтернатив не совпадают. Поэтому даже если в каком-то частном случае два какой-вопроса предоставляют одно и то же множество альтернатив, мы все равно будем считать два ка-кои-вопроса с разными субъектами разными. [c.36] даже введя локальные соглашения, нельзя приписать интуитивному условию формальный статус категорного, если именная категория, определяемая из интуитивного условия, не является эффективно разрешимой. Например, нельзя в качестве субъекта вопроса Какие теоремы исчисления предикатов первого порядка содержат ровно четырнадцать символ()в ъ использовать выражение х — теорема исчисления предикатов первого порядка // х содержит ровно четырнадцать символов), так как кандидат на роль именной области — множество всех имен, и только имен (определенного вида), теорем исчисления предикатов первого порядка — не является разрешимым. [c.42] Вернуться к основной статье