论直言命题的存在含义——对一个老问题的系统思考

词项逻辑有一个实质性假定:即直言命题的主项和谓项只能指涉由实存个体组成的一个非空非全的类。但它同时又试图发展成为一个纯形式的理论,该实质性假定不参加其具体的推理过程,由此导致一些奇怪的结果:如每一步都正确的一个推理过程,其最终结果却违反了它的推理规则。解决的办法就是去掉该实质性假定,像现代逻辑一样纯形式地发展其理论。