你这个问题应该改成“传统直言命题推理中命题主项存在的预设问题”.在传统直言命题推理中,反对关系、差等关系和下反对关系的推理必须预设主项存在,若主项不存在,推理就不成立.如“所有的鬼都是红脸”推出“有的鬼是红脸”,前提是一个全称命题,结论是一个存在命题,存在命题表示对主项存在的断定,表示“至少存在一个鬼是红脸”,如果主项“鬼”不存在,而结论又断定“至少存在一个鬼.”,这就矛盾.因此,这种推理成立必须建立在主项存在的预设之下.
你这个问题应该改成“传统直言命题推理中命题主项存在的预设问题”.在传统直言命题推理中,反对关系、差等关系和下反对关系的推理必须预设主项存在,若主项不存在,推理就不成立.如“所有的鬼都是红脸”推出“有的鬼是红脸”,前提是一个全称命题,结论是一个存在命题,存在命题表示对主项存在的断定,表示“至少存在一个鬼是红脸”,如果主项“鬼”不存在,而结论又断定“至少存在一个鬼.”,这就矛盾.因此,这种推理成立必须建立在主项存在的预设之下.