存在内含

条目

历史版本

存在内含，也被称为“存在假定”，是在传统逻辑中的一种基本假设。这一假设规定，在性质命题中，主项和谓项所指涉的类别必须是非空且非全的，即它们包含有实际存在的个体。这种存在内含的前提对于性质命题相关推理的有效性至关重要。如果没有这个前提，许多逻辑理论将会失效。

影响

存在内含的影响体现在多个方面。首先，它确保了性质命题中不同类型的命题之间的特定关系得以维持。例如，当存在内含被排除时，原本对立的A型命题和E型命题之间的反对关系就会失效，同样，I型命题和O型命题之间的下反对关系也会失去效力。此外，全称命题与其同质的特称命题之间的差等关系也无法保持。然而，即便在这种情况下，对当关系中的矛盾关系依然能够成立。

策略差异

针对存在内含的问题，不同的逻辑学派采用了不同的策略。这些策略的选择反映了传统逻辑与现代逻辑之间的显著差异。传统逻辑通常不太关注全称命题和特称命题在主项断定方面的区别，而倾向于将全称命题推导出特称命题视为理所当然的过程。这种观点暗示了传统逻辑的研究对象主要限于现实世界中存在的事物。相比之下，现代逻辑则超越了这一限制，不仅考虑现实世界，还探讨可能的世界。尽管如此，传统逻辑在处理性质命题及其推理的方法上仍具有一席之地，因为它更贴近人们的直觉和日常经验，同时也更具实用性。