能处理一类“why 问题”的问题逻辑系统
发布人:网站编辑
发布日期:2022-10-23
逻辑学研究 2021 年第 4 期,52–65 文章编号:16743202(2021)04005214
作者:张保垒
摘 要:现今的问题逻辑系统能较好地处理“whether 问题”,但处理“why 问题”面临困难。本文对辛迪卡的命题逻辑询问探究系统作了适当的修改,通过添加“why 提问规则”的方式,构建了一个能处理一类“why 问题”的询问探究系统 IMIpw ,并证明了“询问推导与经典推导的关系定理”、“询问推导的可靠性定理”等重要元定理。
关键词:问题逻辑;whether 问题;why 问题;询问探究模型
中图分类号:B81 文献标识码:A