论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

两个独立性:从经验到逻辑的历史追溯

两个独立性是充分条件关系最重要的逻辑性质,是人类之所以能从已有知识获取新知识的逻辑依据。逻辑有效充分条件关系中的逻辑的两个独立性源自经验的充分条件关系,又回过头来为经验科学服务。数理逻辑中的实质蕴涵不是充分条件关系的科学抽象,从而产生蕴涵怪论。随着逻辑科学的发展,蕴涵怪论最终将被消除。     

制约逻辑与相干逻辑比较研究

实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴涵相联系的E系统都采用entailment这个词来表征,故易被误认作相近的系统。事实上,制约关系与相干蕴涵不同;制约逻辑接纳而相干逻辑排斥选言推理,故此二者殊异。认为制约逻辑与相干逻辑等价,是一种误解。     

推理关系形式化产生的问题及哲学思考

推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。     

关于批判性思维的批判的批判——与王路教授商榷

＂王文＂以数理逻辑否定普通逻辑、批判性思维逻辑、非形式逻辑是以小逻辑观否定大逻辑观;＂王文＂混淆传统逻辑与普通逻辑,混淆数理逻辑与现代逻辑,其＂以数理逻辑完全取代普通逻辑＂的错误主张偷换为冠冕堂皇的＂以现代逻辑取代传统逻辑＂的口号;绝对不能以数理逻辑取代普通逻辑,＂王文＂所提出的以数理逻辑取代普通逻辑的种种理由都是不能成立的。     

联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。     

试析在自然逻辑与不自然逻辑中对蕴涵的刻画

正如罗素认为整个逻辑都是建立在蕴涵理论基础之上一样,我们也肯定蕴涵是逻辑学最重要的概念,首先介绍不同的蕴涵定义,说明了实质蕴涵是对假言命题在真值意义上的抽象,而建立在实质蕴涵基础上的逻辑蕴涵,是以不自然的方式刻画逻辑学中最重要的"推出关系"或者"后承关系",从而引起种种误解。其任务就是要在区分这两种具有不同含义的蕴涵的基础上,进一步研究不自然逻辑中的蕴涵概念,澄清各种对蕴涵的误解。     

对普通逻辑引进实质蕴涵真值表的再思考

近年出版的许多普通逻辑教材在复合判断中,引进了数理逻辑的真值表,用来标示复合判断的逻辑性质。其中,对引进实质蕴涵真值表说明充分条件假言判断的逻辑性质,逻辑学界存在着截然不同的看法。肯定者认为,“真值表的引入使复合判断及其推理的内在联系表现得更加紧密,也使形式逻辑的学科体系表现出更高的形式化程度。”①否定者则指出,“简单地把定义实质蕴涵的真值表用于充分条件假言判断,必然会造成对充分条件假言判断的歪曲。”②分歧的焦点在于:实质蕴涵的真值表是否能够正确标示充分条件假言判断的逻辑性质?本文拟对此问题作一些初步的探讨。     

引进数理逻辑的知识要符合传统逻辑的特点

论述了传统逻辑的一些基本要求 ,同时通过示例说明了数理逻辑的特点。比较数理逻辑和传统逻辑 ,认为引进数理逻辑的知识要符合传统逻辑的特点。     

我的逻辑观

在现代,不能用“必然地得出”作为逻辑的定义,应当提倡并树立大逻辑观。在我国高等学校的逻辑教学中不应用现代逻辑（数理逻辑）取代传统逻辑,而应既保留传统逻辑的精华,又吸收现代逻辑的主要成果,经过不断地改革探索,《普通逻辑》的现代化已经取得了重要进展。     

传统形式逻辑与数理逻辑关系论

充分条件关系跟刻划真值函数关系的实质蕴涵关系之间是风马牛关系.因此,用数理逻辑"改造"或"取代"传统形式逻辑是一种常识性错误.     

蕴涵命题真值表的应用及缺陷

在人类思维的逻辑领域，以数理逻辑为代表的现代逻辑，对以形武逻辑为代表的传统逻辑产生了十分深刻的影响。但在二的整合过程中，却出现了不合谐的音符，尤其是数理逻辑蕴涵命题真值表在传统逻辑中的应用，使推理中出现了标准、形武的所谓合理性与结果之间的自身矛盾性，成为困扰逻辑界的一大难题。本从数理逻辑命题的构成、蕴涵命题的取值特征、数理逻辑与形武逻辑的同一性、反差异性等几个方面，力图说明作为自我完备的一个符号体系的数理逻辑，其蕴涵命题的真值取值有着自身的值域性的缺陷，而形武逻辑在借用的过程中，却没有注意到这一点，只注重了二的同一性却忽视了二的差异性，从而导致了应用中的矛盾性也兢成为其必然的结果了。     

试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开.逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果.逻辑哲学的主要论题包括：逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察.     

索微探赜引介开新--金岳霖的逻辑历程

金岳霖是中国著名的哲学家、逻辑学家。他在中国引进现代逻辑,率先在高校开设数理逻辑课程,使现代逻辑在中国从无到有,开辟了逻辑教学和研究现代化的道路;阐幽探微,发展了逻辑理论;普及逻辑知识,培养和造就了大批逻辑专业人才,对西方逻辑在中国的传播和发展做出了卓越贡献。但是,20世纪50-60年代,他对自己早期逻辑思想的错误批评,对中国逻辑科学的发展产生了一定的负面影响.     

对蕴涵及其“怪论”的思考

经典逻辑由于出现了“实质蕴涵怪论”而遭到非议,其原因无非是把经典逻辑当成了“普遍适用”的逻辑规律。本文从实质蕴涵概念入手,概述了多种蕴涵理论,从而为实质蕴涵及其“怪论”辩护。     

逻辑哲学与哲学逻辑之关系考究

20世纪以来,随着现代逻辑特别是数理逻辑的迅猛发展,现代逻辑在发展过程中与现代哲学相互渗透、相互促进,进而使逻辑哲学与哲学逻辑收到世界的重视,本文通过对逻辑哲学、哲学逻辑的探究,使人们更加深刻的认识到逻辑的哲学反思在逻辑学研究中的重要性和必要性.     

逻辑实证主义对现代西方主流经济学的影响

在科学主义和数理逻辑形式主义影响下,物理学方法在社会科学研究中得到进一步扩张。逻辑实证主义通过对近代认识论进行批判地吸收和改造,在方法论上实现了实证主义的经验主义传统同现代逻辑分析方法一定程度的结合。科学理论构成思想的提出推动了经济学的形式化发展。实证原则方法论的确立对经济学可检验性提出了内在要求。在经济学数学化问题上应当采取科学的分析态度。     

蕴涵怪论辨析

蕴涵怪论是指在二值逻辑的蕴涵理论中，对蕴涵关系真的所有可能情况作某种解释而产生的怪异现象。蕴涵怪论的产生并非来自蕴涵关系本身。当人们把实质蕴涵的真用某一语句进行解释，或者由重言蕴涵式的必然性得到某种可能性，或者将某种实际的推论看作蕴涵关系时，怪论就可能会产生。蕴涵怪论的存在是实实在在的，试图消除蕴涵怪论的努力促进了蕴涵理论的发展。     

论蕴涵的演进--从蕴涵到制约

蕴涵是贯穿整个现代逻辑发展的一个基本概念。实质蕴涵的提出引起学术界极大争议,“蕴涵怪论”一直是争论焦点之一。由于对推理前提和结论之间的关系有着不同理解和阐释,逻辑学家们提出了不同的蕴涵概念,并构建了相应的现代逻辑系统。笔者试图从逻辑史的角度去区分、澄清和阐明不同意义的蕴涵及其相互关系,并提出作者的一些粗浅认识。     

论传统逻辑教育现代化

传统逻辑教学现代化问题，是一个与我国逻辑教学和研究密切相关的问题。“逻辑教学现代化”不是要抛弃传统逻辑，而是传统逻辑教学也要现代化。但是，曾经采用吸收数理逻辑的方式效果不佳。从推理实践和自然语言论证的需要来看，用数理逻辑或“形式化”的逻辑来“取代”传统逻辑显然是行不通的。事实证明，最明智的选择是结合非形式逻辑、批判性思维，更重要的是教学观念、教学方法与手段等的现代化。