论文部分内容阅读
逻辑学研究的核心宗旨之一,就是分析自然语言论证。任何逻辑系统要做到这点,就得力求足够准确地刻画自然语言论证的逻辑形式及其规律。经典逻辑是否能够准确用以分析自然语言论证,一向是学术界热烈争论的话题。“蕴涵怪论”和“归纳问题”(及相关归纳悖论)就是在这样的争论中产生并被长期探讨的问题。但以往提出的各种解决方案都因各有弊端而难以令人接受。本文在考察以往研究成果的基础上,试图跳出演绎与归纳分立研究的传统范式,提出一种基于演绎与归纳统一的新逻辑模式,使这两种难题得到统一化解决。本文首先介绍进行此项研究的动机、目标以及指导原则,回顾经典逻辑“蕴涵怪论”问题及其与“归纳问题”的关联,考察其主要化解路径。其中详细阐明了经典逻辑实质蕴涵式和自然语言中“如果……,那么……”语句之间的差异,并且提出蕴涵怪论问题和归纳问题的来源,就是经典逻辑系统所刻画的逻辑形式与一般自然语言论证的逻辑形式之不对应性。继而,本文提出,当蕴涵式以实际真相为对象时(相对于观念的连结),可进一步分为两种:“已观察命题”和“推测命题”。“已观察”蕴涵命题比较接近于实质蕴涵的实际含义,而“推测”蕴涵命题则不然,这种命题所断定的个体对象尚未全部观察过,其根据只能是归纳,正是由于忽略此类差异导致“蕴涵怪论”问题。基于这样的划分,可总结出至今的化解路径的三个共同特征,这三个特征导致了各个化解路径的种种弊端。在以上工作基础上,本文讨论了归纳论证的基本原则和传统归纳法的问题,提出并阐述能够解决上述问题的新的逻辑模式。此模式在以上三个特征上区别于从前的主要“怪论”化解路径,否定经典逻辑把“推测”蕴涵式刻画为抽象属性和抽象属性之间的全称蕴涵的做法,而将其刻画为具体个体和具体个体之间的关系,从而把归纳和演绎的传统模式给统一起来。在模式设计上,先给出一种方便于应用的简略“三段模式”,接着给出更严谨的形式证明,在经典命题逻辑公理系统的基础上,仅仅增加基于统计学基础原理的简略模式作为唯一新引入的公理。此新引入公理的核心是“随机过程”与“同样选取”两个假设,本文就此进行了多方讨论。根据统计学原理,如果从一个随机过程,按照同样的方式选取前提中的和结论中的个体,那么因为两者处于这种特殊关系,可以高概率地推测两者的属性也相同。这并不是说,两者之间所有的属性都一模一样,而是断定,结论中的个体和前提中的个体之间的区别,不大于前提中的个体互相之间的区别。新逻辑模式就是刻画从“随机过程”和“同样选取”两个假设出发进行推测的逻辑模式。本文系统讨论了此新模式对各种归纳悖论和蕴涵怪论的统一性化解,并简要探讨了其实用价值与应用途径。