逻辑哲学 选言判断 联言判断 类属 普通逻辑 共产主义者 本体论承诺 充分必要条件