СИМВОЛИЧЕСКАЯ ЗАПИСЬ ВОПРОСА1. Символическая запись вопроса 1 типа Если исходить из того, что логическая структура вопроса и суждения, идентичны, что принципиальная сущность этой логической структуры подобна логической форме причинно-следственной зависимости, то основной формулой вопроса-суждения выступает (S ? Р?, т. е. основная формула определяется зависимостью между двумя ее структурными элементами. Используя эту зависимость, можно построить эротетический язык вопросно-ответных отношений, что для установления диалоговых систем имеет принципиальное значение. Учитывая относительную простоту предлагаемого языка, можно надеяться, что он будет принят логиками (хотя в настоящем разделе и не ставилась задача по разработке и представлению формализованного языка — языка вопросов и ответов). В формальной записи вопрос можно представить таким образом: [ (S ? Р) V (S ? Р) ] ? читается так: «Верно ли, по вашему мнению, что S есть Р, или вы не согласны с тем, что S есть Р». Например, «Согласны ли вы с тем, что все люди смертны?» с альтернативами: «Да», «Нет». Выбирая ту или иную альтернативу, отвечающий соглашается или не соглашается с предлагаемым утверждением, суждением, концептуальным положением, т. е. .выбирает для ответа суждение: «Да, я согласен, что все люди смертны» или «Нет, я не согласен, что все люди смертны». Следующее вопросительное выражение: [ (C ? S) V (C ? S) ] ? читается следующим образом: «Согласны ли вы с тем, что Сократ человек, т. е. принадлежит к понятию «все люди»? Если ответ положительный, то идет следующая запись: [ (C ? Р) V (C ? Р) ] ? читается: «Согласны ли вы с тем, что Сократ смертен или вы не согласны, что Сократ смертен?» Если ответ положительный, то он считается выводом. Формальная его запись выглядит в общем виде так: [ (S ? Р) V (S ? Р) ] ? [ (C ? S) V (C ? S) ] ? [ (C ? Р) V (C ? Р) ] ? Понятно, что правило вывода можно соблюсти только в том случае, если получен положительный ответ на первый и второй вопрос; и только в этом случае можно сформулировать третий вопрос, ответ на который выступает выводом: — 114 —
|