论直言推理中存在预设的合理性

摘要

存在预设是传统逻辑学家在评价直言命题推理时通常都必须考虑的基本问题.所谓存在预设即是指假定直言命题的主项或谓项所表达的类是一个非空集合,或者说,主项或谓项所指示的类不能是空集.如果取消了这一假定,在传统逻辑中被视为演绎有效的某些直言推理就不再有效.我们给出了一个从现代逻辑角度来为传统逻辑中存在预设合理性的逻辑辩护的框架,不仅把存在预设问题从对当关系推理扩展到命题变形推理和三段论,而且从主项存在预设扩展到谓项存在预设.