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

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

复合命题的量词与充分条件的逻辑性质

现代逻辑引入符号“(?)~x”和“(?)~x”分别表达全称量词和存在量词,以分析命题的形式,这是数理逻辑发展的一个突破口.量词在谓词逻辑中的地位和作用是极为显著和重要的,因而,有的逻辑学家干脆把谓词逻辑称为“量词理论”.传统逻辑曾按“量”把直言命题分为全称命题和特称的命题,也想研究量词的逻辑性质,但是,由于传统逻辑只局限于研究直言命题,不研究关系命题,即使对复合命题及其推理的分析,也仅着眼于构成复合命题的逻辑联结词,只根据联结词的逻辑性质进行推演,而根本忽视对量词的分析;更由于传统逻辑没有“(个体)变元”和命题函项的概念,以致对于量词的研究十分肤浅.本文的主要任务,在于探索复合命题中量词的性质及其作用,以澄清对复     

论语言逻辑的对象,性质及研究方法

语言逻辑,亦称自然语言逻辑.它的研究对象是什么?包括哪些内容?是一门什么性质的科学?即是说,它应当建立怎样一个体系,在国内外都还未取得一致的意见.在此,我们也略抒己见,就教于逻辑学界的同志们.     

我国逻辑教学的回顾与展望

回顾我国的逻辑教学 ,1987年是逻辑教材建设的一条分界线。此前的教材虽著述颇丰 ,但基本上没有触动传统逻辑的理论框架 ;此后的教材则围绕着教学内容的改革和逻辑现代化的口号展开了讨论。实际上 ,要实现逻辑教学现代化 ,除了编写高质量的大学逻辑教材外 ,还必须实现思想观念的三个变革 ,即由非系统观向系统观转变 ,由阶段发展观向跨越式发展观转变 ,由传统的人才观向新的人才观转变。     

传统逻辑教材改革的成功尝试——读《新逻辑教程》兼论逻辑教学新体系的建立

10年改革,我国逻辑学界思想十分活跃,学术研究空气异常浓厚,编写出版了大量教材、专著及其他著述,所取得的成就令人瞩目.这些著述,无论是内容的新颍、丰富,还是理论体系的合理建构,以及理沦阐述的广度、深度与科学性,都是改革以前的著述不可比拟的.改革为逻辑学领域注入了活力,带来了生机,促进了逻辑科学的蓬勃发展,初步形成了逻辑学界的繁荣景象.据不完全统计,自1979年出版金岳霖主编的《形式逻辑》教材     

转变教育教学观念促进逻辑教学转型——评《关于我国逻辑教学的若干问题》

近年来,在逻辑教学大讨论中,有的文章对我国国情和大学生的思维实际的认识是错误的,对传统逻辑的局限性还没有深刻的认识,仍坚持以传统逻辑作为高校逻辑入门课的教学内容。这些观点,反映了落后的教育教学观念,阻碍了我国高校逻辑教学从传统逻辑向现代逻辑的转型。因此,转变教育教学观念,对实现我国高校逻辑教学现代化就是十分重要和非常迫切的任务。     

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

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

略论现代逻辑在当代高等教育中的地位和作用

19世纪末 2 0世纪初产生的数理逻辑引发了逻辑学领域内的伟大革命 ,并且代替传统形式逻辑成为现代科学的基础科学。在基础的广泛性、应用的普遍性以及提高当代大学生的逻辑思维素质和能力等方面 ,传统形式逻辑跟数理逻辑不可同日而语。因此 ,在当代高等教育中现代逻辑应当成为素质教育的核心课程、基础课程     

试论逻辑词的辖域问题

从现代逻辑的角度看,逻辑词就是进行逻辑演算或操作的运算子(简称算子)或操作子(operator),或者说是一类特殊的函子(functor)。逻辑运算或操作总是有运算对象或操作对象的,总是由运算子或操作子作用于变元上进行的。这就产生了逻辑词的作用域或辖域问题。一般地讲,一个逻辑词的辖域,就是该逻辑词支配或作用、管辖或约束的语言表达式。从现代逻辑的角度讲,在一个公式中,一个逻辑算子的辖域就是该算子作用到的变     

关于形式逻辑教材建设的思考

改革十年,我国各方面的工作都取得了显著成绩。一度被视为落后于国外几十年的形式逻辑学领域,十年来也发展迅速,呈现一派欣欣向荣的景象。无论是从教学、科研队伍的人员数量到业务素质来看,还是从形式逻辑教材及其他逻辑著述的种类,数量,到这些出版物的质量来看,都充分显示了我国形式逻辑教学、科研水平得到了大幅度提高,与发达国家的