Требование различения и спецификация требования различения

Формально удобно считать, что ли-вопросы всегда содержат спецификацию требования различения, но она неизбежно будет пустой. [c.71]

Итак, прямые ответы представляют собой конъюнкцию выбранных альтернатив, причем мощность выбора определяется посредством спецификации выбора числа и, в случае соответствия этому компоненту, посредством спецификаций требований полноты и различения. [c.15]

Б. Переходим теперь к определению р в ра. Каждая предпосылка состоит из трех частей спецификации выбора числа, спецификации требования полноты и спецификации требования различения. [c.51]

Ввиду того что, как мы указывали выше, для естественного языка вопрос о различении в явном виде обычно не встает, классификация вопросов, построенная на допущении, что спецификация требования различения может варьироваться независимо от спецификаций выбора числа и требования полноты, не будет иметь той объяснительной силы, что имеет классификация вопросов, представленная в таблице (разд. 1.3.2). Однако ради сохранения единообразия в терминологии мы предлагаем добавлять или не добавлять прилагательное различающий к ранее установленным типам вопросов в зависимости от того, какая спецификация требования различения используется в вопросе — непустая или пустая. Далее, поскольку требование различения избыточно, когда вопрос использует одно-альтернативпзто спецификацию выбора числа, единственными интересными дополнениями к табл. из разд. 1.3.2 будут различающий вопрос, исчерпывающий список, и различающий вопрос с несколькими примерами. Оба типа вопросов накладывают требование различения. Отсутствие слова различающий будет указывать на то, что требование различения не наложено. Сказанное следует понимать как то, что сущест- [c.70]

В разд. 1.3.2 мы допустили разные требования полноты, вплоть до максимальной, однако здесь аналогии, думается, нет ответ либо удовлетворяет, либо не удовлетворяет требованию различения — третьего не дано. Суть дела не в том, что промежуточные степени различения не имеют значения, а в том, что они, по всей вероятности, не используются систематически в эротетической логике. Именно поэтому мы рассматриваем только спецификации требований пустого и непустого различения. [c.70]

Чтобы отразить в обозначениях требование различения, мы должны 1) описать нотацию, позволяющую ответам выражать это требование 2) построить систему обозначения спецификаций требования различения для интеррогативов 3) определить соответствующее отношение между двумя видами нотаций. [c.71]

При создании удобной системы записи для интеррогативов нам нужно позаботиться только о том, чтобы она была легко запоминаемой. Будем употреблять знак тире (—) для обозначения лексической спецификации требования пустого различения и знак ф для обозначения лексической спецификации требования непустого различения. Эти знаки подставляются вместо й в (36) и (37), и интеррогативы принимают вид [c.72]

Спецификации выбора числа остаются, конечно, такими же, как и раньше требованиям различения также мсжко придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов они раз- личны, если не применимы в точности к одним и тем же вещам. Например, если выбор имеет вид Нф Нф, то соответствующее требование различения выглядит как Vx HgX=H.x). Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. Гораздо более неприятную проблему ставят перед нами требования полноты. Хотя вполне разумно задать вопрос, отсутствуют ли в выборе какие-нибудь из предоставленных истинных альтернатив, у нас кет, вообще говоря, способа выразить это на языке исчисления предикатов первого порядка. Требование полноты содержит переменные, пробегающие по свойствам, и тем самым оно поднимает нас до онтологического уровня. Мы вполне могли бы остановиться на одном частном случае, когда множество связанных с данным определителем дескрипторов конечное и, следовательно, область также конечна. В этом случае требование полноты можно будет выразить через конечную конъюнкцию. Детали этой логической конструкций Еосстанзвлйзат-стся без особого труда. [c.87]

Справочник химика 21

Химия и химическая технология