|
|
Автор: Белнап Н., Стил Т.
Издательство: Прогресс
Год издания: 1981
Количество страниц: 290
Язык: русский
Формат: DJVU
Размер: 6,9 Мб
Каталожный номер: 65878
|
Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков-профессионалов. В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и даже общекультурное значение). Именно такими понятиями являются "полнота" и "непротиворечивость" систем аксиом "алгоритм", "доказательство", "смысл высказывания и тема", "интерпретация", "семантическая информация", "парадокс" и т. д. К числу понятий, имеющих общенаучное и общекультурное значение, следует отнести также и понятие вопроса. Его уточнение интересно как с теоретико-познавательной точки зрения, так и с точки зрения его использования в прикладных целях. Диалоговые и вообще вопросно-ответные информационные системы формализуют встроено ответные отношения, а, следовательно, качество и эффективность этих систем зависят от перечня возможных вопросов и от формальных уточнений соответствующих вопросно-ответных отношений. Книга Н. Белнапа и Т. Стила - вторая в мировой литературе, специально посвященная проблемам логики вопросов и ответов (так называемой эротетической логики).
|
|