自然语言逻辑的产生与人工智能中的知识表示

自然语言逻辑研究的是自然语言,如果从实际生活来看,自然语言逻辑研究不应该像形式逻辑那样抽象化,然而,现有的自然语言逻辑却显示了高度形式化、抽象化的特点。之所以形式化,除了使用现代逻辑的研究方法外,另一个更深层次的原因是人工智能的发展要求自然语言逻辑形式化。在形式化过程中,虽然自然语言的内涵性、模糊性和交互性等特点给形式化工作带来重重困难,但同时又丰富和发展了自然语言逻辑的理论研究。     

从逻辑哲学看辩证逻辑的形式化

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式,相反,它可以有多元化的进路。     

哲学理论的形式化问题

形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义,一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

普通逻辑基本规律若干理论问题探讨

对逻辑规律的正确理解与把握 ,涉及对人们逻辑精神的培养 ;然而 ,现行教材对逻辑规律的一些问题并未准确阐述 ,甚至是模糊的。从逻辑的学科性质及普通逻辑的特点考察 ,逻辑规律规范的对象是思维形式 ,而不是思维内容 ;非形式谬误是在内涵语境前提下言说的 ;从逻辑抽象与规律要求的角度看 ,逻辑规律的公式表示是合理的 ,并非不完善。     

论中国式高等教育现代化的理论逻辑与现实逻辑的博弈

中国式现代化蕴含了中国式高等教育现代化的基本内涵。中国式高等教育现代化将引领未来中国高等教育发展方向。中国式高等教育现代化在实践中将遭遇理论逻辑和现实逻辑的博弈，管理主义逻辑盛行、“五唯”难以破除、教师精神追求与物质追求失衡、学生功利取向和学术取向失衡以及内卷化导致创新资源耗损都是博弈的表现。中国式高等教育现代化要完成现实逻辑与理论逻辑的统一，就需要建立中国大学管理模式，建立并实现人文主义管理的主导以及大学德治与法治、学术权利与责任和学术继承与创新的统一。     

试析蒙塔古的语用内涵逻辑

逻辑语用学不同于一般语义学,它不仅相关某个解释或模型,而且还相关语言的语境来讨论真、满足、有效及逻辑后承等概念.讨论语境是语用学的一个典型特征.内涵是语用学的一个重要概念,因为许多索引表达的外延确定依赖的是各组成部分的内涵.一个复杂表达的内涵是其组成部分内涵的一个函项.蒙塔古构建的语用内涵逻辑对我们分析处理这类间接语境中内涵与外延间的关系有极大的启示.     

论证逻辑:逻辑教学改革的一个可能方向

我国逻辑教学改革除了现行的三种实践模式外，论证逻辑是一个更现实的可能方向。逻辑教学改革至少应该是形式化逻辑和论证逻辑两条腿走路，这也正是逻辑教学现代化的必然要求：从现代生活实际出发；与现代知识水平相称；为现代人所能充分运用     

逻辑学发展过程中的曲折--从伽利略到黑格尔

从文艺复兴到黑格尔时代,由于社会历史、自然科学尤其是数学发展的局限、逻辑本质认识上的不明确等内在原因,逻辑学在形式化的发展过程中出现曲折.培根倡导归纳法,试图用科学方法论取代演绎逻辑的地位,其结果,一方面发展了归纳方法,另一方面,也模糊了人们对逻辑学的认识.黑格尔则把逻辑的内涵不正确地扩大,认为逻辑学不仅要研究形式而且还要研究内容,这是对逻辑学认识的一种倒退.然而,他的意外的却又极其重大、影响深远的贡献是发展了辩证法,这在人类认识演变史上是一个伟大的进步.