| Итог: | Современная логика изучает не только понятия, имеющие сугубо техническое значение и представляющие интерес лишь для логиков-профессионалов. В настоящее время арсенал логических средств рассуждения используется и для изучения понятий, имеющих общенаучное (и даже общекультурное значение). Именно такими понятиями являются "полнота" и "непротиворечивость" систем аксиом "алгоритм", "доказательство", "смысл высказывания и тема", "интерпретация", "семантическая информация", "парадокс" и т. д. К числу понятий, имеющих общенаучное и общекультурное значение, следует отнести также и понятие вопроса. Его уточнение интересно как с теоретико-познавательной точки зрения, так и с точки зрения его использования в прикладных целях. Диалоговые и вообще вопросно-ответные информационные системы формализуют встроено ответные отношения, а, следовательно, качество и эффективность этих систем зависят от перечня возможных вопросов и от формальных уточнений соответствующих вопросно-ответных отношений. Книга Н. Белнапа и Т. Стила - вторая в мировой литературе, специально посвященная проблемам логики вопросов и ответов (так называемой эротетической логики).
|
|---|
