文献类型：期刊文章

作　　者：王习胜[1]

机构地区：[1]皖西学院政法与公共管理系,安徽六安237012

出　　处：《皖西学院学报》

年　　份：2004

卷　　号：20

期　　号：1

起止页码：27-30

语　　种：中文

收录情况：NSSD、普通刊

摘　　要：据何断定选言判断选言支间相容与否,涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定,是传统逻辑应用层次的事实存在裁定;现代形式逻辑中之所以没有严格析取的判断形式,是用合取与析取的综合方式进行了取代;不相容选言判断是对思维实际的抽象概括,具有非形式性质,运用形式化析取符号表述排中律,存在矛盾;不相容选言判断的负判断的等值判断,不只有(p∧q)∨(-p∧-q)一种形式,还应有(p∧q)·∨(-p∧-q)的形式,从思维实际论,(p∧q)·∨(-p∧-q)的形式,更贴近日常思维,更利于研习者理解。

关 键 词：不相容选言判断  逻辑哲学 本体论承诺 普通逻辑 等值判断  

分 类 号：B812.22]