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