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

A System of Erotetic Logic that Can Deal with a Class of“Why-questions”

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

Most systems of erotetic logic can handle ‘whether-questions'easily,but they en-countered some difficulties when dealing with‘why-questions'.In this paper,Hintikka's propositional system of interrogative model of inquiry is modified,and a new system of interrogative inquiry,IMI_(pw),is constructed with the help of“the questioning rule of why-questions”.Some important meta-theorems,which concerns the relationship between in-terrogative derivation and classic derivation,the soundness of interrogative derivation,are proved.