能处理一类“why问题”的问题逻辑系统

作者：张保垒

来源：逻辑学研究, 2021, 14(04): 52-65.

DOI：10.3969/j.issn.1674-3202.2021.04.005

• 问题逻辑
• whether问题
• why问题
• 询问探究模型

现今的问题逻辑系统能较好地处理"whether问题",但处理"why问题"面临困难。本文对辛迪卡的命题逻辑询问探究系统作了适当的修改,通过添加"why提问规则"的方式,构建了一个能处理一类"why问题"的询问探究系统IMIpw,并证明了"询问推导与经典推导的关系定理"、"询问推导的可靠性定理"等重要元定理。

• 单位
  华东师范大学; 吕梁学院