关于不相容选言判断的几个问题

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