推理形式问题辨正──兼与龚启荣先生商榷

龚启荣先生在《贵州大学学报》１９９７年第２期发表文章,认为重言蕴涵式不是判定命题推理的有效方法,并认为不能用数理逻辑来“改造”或“取代”传统形式逻辑。这涉及传统逻辑中的一些重要问题,如推理的形式定义与判定问题、命题推理的有效性如何判定问题、蕴涵怪论的本质问题、传统逻辑与数理逻辑的关系问题等。这些问题不解决,将直接影响传统逻辑的地位、发展与教学。也有学者不同意龚先生的观点。本刊编发的倪荫林先生的文章即是一例,以期引起更多同志对这些问题的关注和研究,热忱欢迎大家参与讨论。     

数理逻辑不能取代形式逻辑及其它——与吴牟人同志商榷

读了《社会科学战线》一九八三年第四期吴牟人同志的《数理逻辑与形式逻辑是同一门学科的不同发展阶段》一文(以下简称“吴文”),觉得与该文关于用数理逻辑取代形式逻辑、数理逻辑与形式逻辑的区别、形式逻辑研究的指导思想、形式逻辑的作用以及推理的真实性诸问题的看法难以苟同。在此,我愿提出自己的观点与吴牟人同志商榷。     

论真值表方法在复合命题中的特殊作用

论真值表方法在复合命题中的特殊作用曲玉波形式逻辑作为一门工具性的科学，已经有两千多年的历史。随着时代的变迁，传统形式逻辑的局限性越来越充分地暴露了出来，而它与现代形式逻辑的融合已经得到了肯定，并结出了硕果。尤其是数理逻辑真值表方法的引入，使形式逻辑的...     

辩证思维推理初探

辩证思维推理的本质 在辩证逻辑中,概念是一总体,这个总体在判断中分化,只有经过推理才能达到新的统一,由抽象上升到具体。 形式逻辑和辩证逻辑的推理都是探寻新结果,由已知到未知的思维形式。形式逻辑(无论是亚里士多德的逻辑还是现代的数理逻辑)的推理和辩证逻辑的推理都是蕴涵式,即前提蕴涵结论。但形式逻辑的蕴涵仅仅是命题形式上的蕴涵,是无矛盾系统的蕴涵,这种蕴涵揭示的是命题间外在的必然联系;而辩证逻辑的蕴涵乃是命题辩证关系的蕴涵,是矛盾系统的蕴涵,这种蕴涵揭示的是概念内在的必然联系。     

论判断的实质及其基本结构

如何丰富和发展传统形式逻辑,人们的认识不尽一致。自数理逻辑产生和发展以来,有一种颇为流行的观点,认为“严格意义下的形式逻辑,应当是专指传统形式逻辑中的演绎逻辑和现代数理逻辑”。这是以一种观念为研究问题的出发点,在这种观点影响下人们总想用数理逻辑的研究方法和成果去“丰富”、“改造”传统形式逻辑,这就不能不遇到一些困难。事实上,传统形式逻辑的产生和发展,直到形成完整的体系,包括着归纳逻辑和演绎逻辑两大部分。过去,有的将传统形式逻辑(今也叫普通逻辑)看     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。     

论传统逻辑教育现代化

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

试析黑格尔对形式逻辑的误解

形式逻辑不是思维科学，而是关于推理的形式科学，辩证逻辑与它并无高低之别。其逻辑规律是语言世界中关于推理形式的规律。从现代逻辑观点看，黑格尔所谓“甲是甲”（“ａ＝ａ”）的命题形式包含（陷于）矛盾，是空洞的、抽象的同语反复，违反形式逻辑本身，“一切东西（事物）和它自身同一”等意见，完全是他从逻辑方面或从本体论方面对同一律等三律乃至形式逻辑的误解     

论非有效推理形式的判定问题──逻辑类比法的理论基础

论非有效推理形式的判定问题──逻辑类比法的理论基础袁正校从亚里士多德奠基的传统逻辑，到以命题演算和谓词演算为基础的现代逻辑，形式逻辑的研究范围不断扩大，方法不断进步，工具更加精良。可是，研究推理，仍是形式逻辑的核心，因为，形式逻辑研究词项（概念）和命...     

论证逻辑刍议

形式逻辑,包括传统形式逻辑和数理逻辑,都是关于推理的逻辑,它们在确定推理的有效性方面是极为成功的。然而,一进入论证的领域,其局限性就暴露无余。要解决论证问题,就需要有一种不同于形式逻辑的论证逻辑。该文对论证逻辑的特点,以及论证逻辑的内容,都提出了具体看法。     

一个直言命题的新系统

形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,彻底弄清直言命题的问题就成为形式逻辑研究中的一个非常重要的问题。     

形式逻辑演绎推理就是从一般到个别的推理吗？

本文首先依据“一般”与“个别”的特征以及二者的关系，论证了“形式逻辑演绎推理就是一般到个别的推理”这个广为流行的定义是不正确的。接着依据形式逻辑演绎推理的各种有效式，论证了上述错误定义及其引伸同形式逻辑演绎推理是不相容的。最后剖析了持上述错误定义的根源在于：一是混淆了理性认识辩证运动的推移过程和理性认识相对确定的推理环节；二是混淆了辩证逻辑演绎方法和形式逻辑演绎推理。     

谈谈非形式逻辑问题

1 批判性思维就是通过积极、谨严的分析、评价,以辨别、确定某一论题、论述的是非、正误的思维过程,也就是论辩思维。非形式逻辑是有关批判性思维———论辩思维的逻辑。2 非形式逻辑仍然以思维形式为研究对象。它之所以叫非形式逻辑,只是说它是运用自然语言进行论述的,目的不在于建立形式化的逻辑系统,而是要提高人们在日常生活和工作中的论辩能力。非形式逻辑是非数理逻辑的逻辑。3 非形式逻辑是对数理逻辑的否定,是对传统逻辑的否定的否定———在更高基础上的对传统逻辑螺旋形上升的复归。4 非形式逻辑的出现证明所谓的"传统逻辑已经无用,我国逻辑现代化就是要用数理逻辑取代传统逻辑"的说法是错误的。5 今后我国高校一般文科应以讲授非形式逻辑为主,应组织力量尽快编出一批非形式逻辑教材。     

一个直言命题的新系统

一对直言命题认识的历史形式逻辑主要是从思维形式方面研究推理的科学。对推理的研究又是建立在对命题研究的基础之上的。直言命题是人类思维实践中最大量、最经常使用的一种简单命题,有人把它称为原子命题,它是构成其他命题的基础,也是各种推理的基础,所以,彻底弄清直言命题的问题就成为形式逻辑研究中的一个非常重要的问题。逻辑史上第一个深入研究直言命题的人,是两千四百多年前的希腊学者亚里士多德。在     

论证直言命题的正确推理形式

传统逻辑讨论A E I O四种直言命题,它们在数理逻辑即现代形式逻辑中,表现为一阶谓词公式: 传统逻辑讨论的直言命题的正确推理,最基本的是:按逻辑方阵对当关系推理,换质法、换位法、附性法和三段论。考虑到前提、结论的不同情况,它们实际上包含四十多个形式。在这些基本形式之上,还可发展出换质位法、戾换法、联锁三段论等形式。在数理逻輯中,任何推理的形式,都可表示为一个比较复杂的复合命题形式。例如,若干个前提之间,可用合取符号∧联结起来;前提与结论之间,可用蕴涵符号→联结起来,使推理形式表现为: 前提1∧前提2……∧前提n→结论     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

真值表在形式逻辑中的功能

真值表是形式逻辑中广泛使用的一种逻辑方法,也是一种非常有用的工具.利用这一工具,可以判定一个命题表达式的真值情况;命题间的等值或矛盾关系;两个命题是否有条件关系;还可以应用它确定若干命题是否有一种共同情况存在以及寻找符合题设条件的情况和推理形式是否正确.这些结果都可以利用真值表这一工具一目了然地显示.     

逻辑、逻辑系统和逻辑学

金岳霖先生的逻辑思想非常卓越：他认为传统形式逻辑有严重不足，因而新兴出数理逻辑。数理逻辑不仅能很好给思维以训练，而且也是科学研究的重要工具。大学应开设的是数理逻辑课程。它是一门重要基础课。金先生的这些思想在今天得到充分证明。数理逻辑在许多学科得到应用，并发展出专门的应用逻辑。     

非形式逻辑意义探析

非形式逻辑是继传统逻辑和现代数理逻辑之后产生出来的新的逻辑分支,它的产生一定程度上是对传统逻辑和现代数理逻辑的发展,总体上属于非经典逻辑.非形式逻辑的产生必然对以传统逻辑和数理逻辑为基础的其它学科,特别是哲学,产生重要影响,具有重要的哲学意义.同时,非形式逻辑致力于提供更好的论证理论,既关注思维形式,又关注思维内容,这必然对生活世界有重要意义,从而使逻辑更加相关社会,相关生活.     

论传统形式逻辑中的关系推理

论传统形式逻辑中的关系推理李小虎在传统形式逻辑（普通逻辑）中，关系推理被确认为是一种独立的推理形式，与直言三段论推理并列，从属于演绎推理。现行的传统形式逻辑教科书，无以例外地介绍了关系推理的内容、其实，传统形式逻辑难以解释关系推理的逻辑性质问题，也难...