次协调逻辑初探——渊源的、历史的、哲学的思考

摘要

该文正文试图分四部分对次协调逻辑进行渊源的、历史的、哲学的探析:第一部分主要陈述次协调逻辑产生的理论动机及其依据的现实原型.首先,关于其理论动机,主要从布劳维尔和卢卡西维茨对排中律和矛盾律的考察以及逻辑真理必然性的相对性这三个方面加以论述;其次,关于其现实原型,主要以逻辑来源于现实世界以及人们的实践经验为依据,从数学、哲学(包括辩证法理论、梅农本体论、模糊性)这些具体方面来加以阐述.指出,次协调逻辑的哲学动机就是要重新构建符合非形式原型的逻辑系统.第二部分主要论述次调逻辑的理论论证和创立过程.首先,关于其理论论证,主要介绍了布兰登的非标准可能世界理论,并加入了自己关于合成可能世界逻辑运算的一些分析,指出,次协调的立场在理论上是可行的;其次,关于其创立过程主要介绍了作为次协调逻辑历史雏形的瓦西里耶夫的

目录

文摘

英文文摘

引 言

一、次协调逻辑的理论动因和现实原型

(一)次协调逻辑的理论动因

1、布劳维尔和卢卡西维茨对排中律的具体考察

2、卢卡西维茨对矛盾律的考察

3、逻辑真理必然性的相对性

(二)次协调逻辑的现实原型

1、数学中的次协调原型

2、哲学中的不协调原型

3、社会生活中的次协调原型

二、次协调逻辑的理论论证及创立过程

(一)次协调逻辑的理论论证

1、非标准可能世界的合成规则

2、非标准可能世界的逻辑演算

(二)次协调逻辑的创立过程

1、瓦西里耶夫的“想象逻辑”

2、雅斯可夫斯基的“商讨逻辑”

三、次协调逻辑的基本理论及成熟分支

(一)次协调逻辑的基本理论

1、Cn的形式语言

2、Cn的公理、推理规则及其解释

3、Cn的语义赋值

(二)次协调逻辑的成熟分支

1、次协调辨证逻辑DL系统

2、次协调逻辑的其它分支

四、次协调逻辑的哲学探析

(一)次协调逻辑与非经典逻辑

(二)次协调逻辑与逻辑真理观

(三)次协调逻辑与诸矛盾问题

(四)次协调逻辑与哲学辨证法

(五)次协调逻辑与科学新模式

结语

参考文献

后 记