从谓词逻辑的观点看传统词项逻辑推理中的空词项

摘要

传统词项逻辑推理有许多不适用于空词项,性质命题之间的对当关系和9个直言三段论有效式只有预设主项或谓项存在才成立。传统词项逻辑用自然语言进行描述,常常使人们知其然而不知其所以然。如果用谓词逻辑理论将其形式化一步一步地进行演算,人们就会感到豁然开朗。