对当关系：传统逻辑与现代逻辑之比较

摘要

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

目录

文摘

英文文摘

厦门大学学位论文原创性声明及著作权使用声明

引言

一、怪现象及解决思路

(一)不同逻辑系统中的对当关系推理

(二)问题及解决思路

二、文献综述

(一)关于传统逻辑与现代逻辑对全称命题形式化差异的成因

(二)关于自然语言全称命题是否预设主词存在

(三)关于传统逻辑对当关系的重新表达

三、自然语言量词“有的”、“所有”的主词存在情况

(一)自然语言中“有的”的主词存在情况

(二)日常语言中“所有”的主词存在情况

(三)特例及分析

四、传统逻辑与现代逻辑的对当方阵之间的联系

(一)否定的不同层面

(二)不同逻辑系统的预设层次

(三)传统逻辑对当方阵在现代逻辑中的表达

结语

参考文献

后记