线性异或逻辑方程组和逻辑矩阵

线性异或逻辑方程组现有的求解方法均不适于用计算机求解。为此,本文引入了逻辑矩阵的概念。本文对逻辑矩阵、逻辑向量系的相关性、Cramer法则等进行了理论证明或分析。     

技术创新中的逻辑构想

技术创新过程中的思维活动 ,是非逻辑思维和逻辑思维共同作用的结果。从知识到发明创造与从经验到发明创造所表现的逻辑思维形态是不一样的 ,前者为由原理到物化的过程 ,后者为原理、功能、结构、手段、方法的类推或移植。     

深化改革的逻辑:从政治驱动到体制驱动 --纪念邓小平南方谈话发表十周年

社会主义改革是社会主义制度的自我完善和发展 ,从根源上看 ,是社会矛盾运动发展的现实要求 ,但从发生机制和演进过程来看 ,却是首先由政治驱动开始的 ,是从政治驱动到体制驱动 ,再由体制驱动推动经济社会发展的过程。邓小平南方谈话是社会主义改革从政治驱动到体制驱动的一个典型例证 ,极大地推进了中国改革的进程。深化社会主义改革要注意进行政治驱动 ,并处理好政治驱动与体制驱动的关系     

论逻辑学的现代化

逻辑学的现代化是一个动态的过程。它是指在对思维的反思中,逻辑学要准确的把握思维规则,并且不断的总结人们思维实践的规律从而完善其理论形态。逻辑学的现代化是对自身进行逻辑反思的必然,是及时总结人类思维实践的需要。我国要实现逻辑的现代化,必须改变落后的逻辑观以实现逻辑教学的现代化。     

创新思维的非逻辑支点

创新思维是推进人类文明发展的催化剂,又是一个内涵丰富、多层面的立体系统.针对创新思维中的非逻辑因素,从生理、心理、思维三个层面加以探讨,以便人们对直觉思维有进一步的了解,注意右脑的开发,重视潜意识领域的挖掘,从而揭开直觉思维的神秘面纱,对创新思维形式有较为全面的把握.     

逻辑方法与哲学视野

逻辑方法曾囿于哲学视野之内 ,为哲学论证服务 ;外化于哲学视野的逻辑方法 ,发展成为哲学分析的有效工具 ;现代逻辑以特有的形式化分析方法 ,改变了哲学的发展方向。对哲学进行逻辑分析、对逻辑进行哲学反思 ,构成了 2 0世纪逻辑与哲学多姿多彩的发展图景     

演绎系统和归纳系统一一对应

推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学中,若一组命题演绎地导出一个命题,则该命题就被定义为该组命题的演绎后承;类似地,若一组命题归纳地导出一个命题,则该命题可被定义为该组命题的归纳后承。相对于形式系统,“演绎”和“归纳”的涵义如下:形式系统在形式语义下是演绎的,当且仅当该系统的语法推演关系等于该语义中的演绎后承关系;形式系统在形式语义下是归纳的,当且仅当该系统的语法推演关系等于该语义中的归纳后承关系。已经证明:形式系统在某形式语义下是归纳的,当且仅当此系统的镜像系统在该形式语义的镜像语义下是演绎的。对于任何按照某一形式语义建立起来的演绎系统,我们都可给出一个形式语义(它同前一语义具有相同的真值概念),并能按照该形式语义建立起一个归纳系统;反之也成立。演绎系统和归纳系统是一一对应的。     

原创法度:哲学原创本质、方法和规范的逻辑分析(续)

中国当代哲学原创的首要任务是恢复对原创及其普遍认识条件即思维操作方式的意识。有三种形式的新知 :经验、规定的认识、反思的认识 ,而只有其中反思的认识在实质地添加普遍理论知识并且是精神的主动创造的成果。原创属于反思的认识 ,是对事物存在的普遍本质和统一原理的积极构造。问题意识具有内在批判结构和方法阐明作用。创立一个新型问题意识也就获得了思维的新起点和新方法 ,从而奠定了哲学原创的基础。哲学原创的合法形式是综合式前提批判亦即先验批判。这种先验批判要求必须跳跃式地暂时超脱具体的问题对象而从解决问题的可能的最高概念开始 ,然后逐次推进。其中的“跳跃”构成一个问题转化情境 ,由逻辑批判与先验决断来完成 ,而接下来的概念构造在先验决断的引导下表现为一场持续的从普遍到特殊方向的先验批判。先验批判内在地产生出哲学原创的自律机制和有效性规范。     

EDA技术在"数字逻辑"课程中的应用

EDA技术是现代数字系统设计的先进手段,文章分析了将EDA技术引入到“数字逻辑”课程的必要性,给出了将EDA技术应用到“数字逻辑”课程的有效方法并进行了实践,实践结果表明了该方法的有效性。     

类型—逻辑语法——一种自然语言语义分析的重要工具

类型—逻辑语法是一种建立在类型—逻辑语义学基础上的规范语法,它自上个世纪80年代诞生以来,就以其表述的简洁性、理论的逻辑化和词汇化倾向以及更好地符合意义组合原则等鲜明特色,受到了形式语义学、语言学和自然语言理解和处理等领域的广泛关注,并继续保持迅猛的发展势头。该文第一部分简短回顾了范畴语法的发展情况,第二部分主要论述了类型—逻辑语法的核心内容——其句法学和语义学。其语义学的主要内容为简单类型的λ—演算和高阶逻辑:其句法学的主要内容是兰贝克演算。在第二部分的最后,笔者探讨了类型—逻辑语法与逻辑形式系统的深刻联系。总之,类型—逻辑语法对自然语言的语义分析具有比较广阔的发展空间。