传统逻辑与现代逻辑对量词研究的比较

本文从传统逻辑与现代逻辑对量词研究的比较中,阐述了量词在逻辑学中的重要意义,并从量词研究的角度上揭示了传统逻辑与现代逻辑的一些重大区别。本文认为,传统逻辑“没有量词的明确观念”,对量词的研究极不充分。谓词逻辑的形式和规律都和量词的特征密切相关,量词的使用,是数理逻辑发展的重大突破口,是数理逻辑成熟的重要标志,解决了长期以来影响逻辑学发展的一个障碍。文中进而从命题内部结构的分析,全称命题存在命题的表述式,命题函项转变为命题、单称命题与全称、存在命题的关系四个方面具体分析了现代逻辑使用量词的特点、作用以及较之传统逻辑的优越性。     

吸收新成果 丰富和发展形式逻辑

我国形式逻辑的研究,在解放后,曾经有过一个繁荣的春天。当时讨论问题之多,争论之热烈,确是前所未有的,并且出了讨论集三大本。然而,由于受到“左”的影响,对研究思维形式的作用和意义估计不足,对国外形式逻辑的新发展重视不     

数理逻辑在逻辑理论与方法上的新发展

本文从数理逻辑与传统逻辑的比较研究中,论述了数理逻辑是传统逻辑在现代的发展,数理逻辑优越于传统逻辑的基本特征,以及数理逻辑与传统逻辑在命题内部成分、推理理论及其判定方法、元逻辑研究等方面的区别,进而论述数理逻辑在逻辑理论与方法上的新发展。     

实践检验与逻辑论证的联系

实践是检验真理的唯一标准,这是马克思主义认识论的基本原理。它的理论意义和实践意义,在粉碎“四人帮”以后的解放思想、拨乱反正中得到了充分的显示。然而,应该看到,马克思主义的认识论是能动的反映论,不仅强调实践的作用,而且强调逻辑论证的重要作用。因此在肯定实践是认识的基础,实践是检验真理的标准的同时,还必须充分估价逻辑思维、逻辑论证在认识真理、论证真理中的重要作用,弄清实践检验与逻辑论证的联系。实践是认识的源泉,是检验真理的标尺。逻辑则是来自实践,并反映实践,因而是派生的第二性的东西。实践检验具有客观性、直接现实性的特点,而逻辑论证则具有主观性、间接抽象性的特点。把两者严格加以区别,才能坚持辩证唯物主义的实践论,才能和一切唯心主义划清界限。然而,实践是检验真理的标准,丝毫也不意味着它是孤立地进行的。实际上,在认识、验证真理的过程中,它是与逻辑论证紧密地联系着的。许多科学家从自己的科学发现以及科学理论的建立的切身经验中,也体会到实践检验与逻辑论证是不能分离的。门捷列也夫就说过:“确定一个定律的正确性,只有借助于由它推导所得的结论(当还没有这定律时,这些结论是不可能有的和不可设想的),以及这些结论在实际考验中的证实。”所以,我们又必须看到实践检验与逻辑论证两者的辩证联系,只有这样,才能坚持辩证唯物主义的能动反映论,才能和机械论划清界限。     

关于蕴涵的几种关系

蕴涵是逻辑学的一个重要概念。近年来,我国逻辑界讨论了充分条件假言命题与必要条件假言命题的定义及其逻辑联结词的问题,由于传统逻辑教学中引入数理逻辑,引入真值表,又讨论了假言命题蕴涵与实质蕴涵的关系以及蕴涵真值表是否完全