论文部分内容阅读
无论是传统逻辑还是现代逻辑,其中的对当关系推理都处于基础地位。然而这两个逻辑体系对自然语言直言命题的形式化方式不同,对当方阵也不相同;根据相同的直言命题,所推出的结论也存在差异。注重精确的逻辑,何以产生这样奇怪的现象?许多逻辑学家对这个问题进行了研究,形成了不同的理论,促进了人们对传统逻辑、现代逻辑的进一步思考和认识。但是,由于问题的复杂性,在许多方面人们还无法取得一致的共识,争议远未平息。对于追求精确的逻辑来说,这样的问题迟迟未加以解决,令人遗憾。
本文对传统逻辑与现代逻辑的对当关系进行比较研究,以期对这两个体系的对当关系之间的差异问题作出较为妥善的解释,增进对传统逻辑与现代逻辑的理解。全文分为四个部分:
第一部分描述了传统逻辑与现代逻辑对当方阵的差异现象;
第二部分梳理了较有代表性的相关理论,并对其优点及面临的一些问题作简要评述;
第三部分从多个角度较为详细地考察了自然语言中的“所有”和“有的”的主词的存在情况,得出“所有”、“有的”的主词存在的结论,以正确理解全称命题的涵义、进行准确形式化;
第四部分由剖析否定的层次出发,提出逻辑系统的预设层次应划分为预设主词存在、预设个体存在、不预设个体存在等层次,进而探讨传统逻辑与现代逻辑对当方阵之间的联系、探讨传统逻辑对当推理关系在现代逻辑中较为合理的表达方法。