Cтраница 1
Спецификации выбора числа остаются, конечно, такими же, как и раньше; требованиям различения также можно придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов: они раз - личны, если ке применимы в точности к одним и тем же вещам. Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. [1]
Спецификация выбора числа осуществляет контроль над размером выбора, но не всякий тип контроля, очевидно, интересен для эротетической логики. Поэтому примем решение установить нижний предел числа альтернатив как полностью отражающий любую спецификацию выбора числа и явным образом введем в рассмотрение случаи почти неограниченной спецификации, не задающие верхнего предела. [2]
Спецификации выбора числа остаются, конечно, такими же, как и раньше; требованиям различения также можно придать абсолютно точный смысл, поскольку в исчислении предикатов первого порядка у нас имеется естественное понятие различения для дескрипторов: они различны, если не применимы в точности к одним и тем же вещам. Обобщить требование различения на случай выборов произвольного числа достаточно просто, и мы предоставляем это читателю. [3]
Выбор и спецификация выбора числа Первая из трех частей прямого ответа - выбор. [4]
Каждая предпосылка состоит из трех частей: спецификации выбора числа, спецификации требования полноты и спецификации требования различения. [5]
Первая часть предпосылки - 5 - есть спецификация выбора числа, которая в нашем анализе устанавливает верхний и нижний пределы числа выборов. Верхнее число должно быть больше или равно нижнему. Например, запись означает, что спецификация выбора числа между 3 и 5, а запись показывает, что число выбранных альтернатив во всяком прямом ответе должно быть по крайней мере 3 и не иметь верхнего предела. [6]
Каждая предпосылка состоит из трех частей: спецификации выбора числа, спецификации требования полноты и спецификации требования различения. [7]
Мы будем говорить, что такая запись является лексической спецификацией выбора числа и что она обозначает соответствующую абстрактную спецификацию, которую с свою очередь можно представить в виде упорядоченной пары кардинальных чисел ( или тире), подчиняющейся ограничениям типа изложенных выше. [8]
Мы будем говорить, что такая запись является лексической спецификацией выбора числа и что она обозначает соответствующую абстрактную спецификацию, которую в свою очередь можно представить в виде упорядоченной цары кардинальных чисел ( или тире), подчиняющейся ограничениям типа изложенных выше. [9]
Во-вторых, мы, быть может, захотим использовать спецификацию выбора числа как устройство, дающее отвечающему полезную информацию для нахождения желаемого ответа при минимальной затрате сил. [10]
В такой ситуации спрашивающему следовало бы задать вопрос, устанавливающий скорее спецификацию выбора числа между тремя и пятью, чем ровно три или по крайней мере три. С точки зрения теории рентабельности эта же ситуация может быть описана так: функция выгоды для спрашивающего, оценивающая информацию, задаваемую разным числом альтернатив, дает значение 0 для ответов с менее чем тремя альтернативами, строго возрастает между тремя и пятью и постоянна для ответов с числом альтернатив, большим пяти. Так как обработка избыточных альтернатив обычно требует денежных затрат, спрашивающий захочет прервать ее после ответов с шестью и более альтернативами. [11]
Итак, прямые ответы представляют собой конъюнкцию выбранных альтернатив, причем мощность выбора определяется посредством спецификации выбора числа и, в случае соответствия этому компоненту, посредством спецификаций требований полноты и различения. [12]
Указанное ограничение можно преодолеть, если по-другому определить последо-вательностный выбор, например, если просто объявить, что значение почти неограниченной спецификации выбора числа состоит в том, что санкционируется каждый конечный выбор. [13]
Эти вопросы сходны друг с другом во всех отношениях, кроме одного: оба имеют одинаковые субъекты и одинаковые, почти неограниченные спецификации выбора числа, однако первый вопрос в отличие от второго требует полноты ответа. Задавая вопрос ( 28), конечно, неуместно требовать сверх выбора ( 43) еще и выполнения какой-либо разновидности полноты ответа. Ответом на ( 28) служат примеры чисел, и наложение требования полноты привело бы к тому, что в ответе будет больше информации, чем требуется в вопросе, точно как в той истории с отцом из города Литл-Рок. [14]
Указанное ограничение можно преодолеть, если по-другому определить последо - Вательностный выбор, например, если просто объявить, что значение почти неограниченной спецификации выбора числа Состоит в том, что санкционируется каждый конечный выбор. [15]