制约逻辑与情报推理

逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反复的恒真的真值函数。因而建立在这种逻辑理论基础之上的人工智能专家系统并不能真正实现从已知到新知的必然过渡。情报推理仍需要寻求一种更合适的逻辑理论工具。     

逻辑证明能否代替实践检验

在科学研究中,往往可以从一些基本的概念、公理、定律出发,运用逻辑推理、数学演算的方法,得到了一系列正确的定理、结论。似乎这些定理、结论并不是从实践中来,也不需要用实践来检验,只要运用逻辑推理的方法就可以证明它的正确性。这就容易给人造成一个错觉,在高二哲学的学习中,不少同学也提出了逻辑证明可否代替实践而成为检验认识是否正确的标准问题。那么,逻辑证明和实践检验是什么关系,逻辑证明能否代替社会实践而成为检验真理的标准呢?一、逻辑证明及其在认识世界中的意义和作用简单地讲,所谓逻辑证明,就是运用已知的正确判断,通过推…     

专统逻辑向何处去

从主导思想上说,传统逻辑和数理逻辑殊异。实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若,则”的逻辑抽象。基于实质蕴涵的数理逻辑并非传统逻辑的现代发展,也不是什么现代的形式逻辑。只有在坚持传统逻辑深刻正确主导思想,并借鉴数理逻辑提供的严格精密的数学方法的基础上,才能真正实现传统逻辑的现代发展。     

教育事件的研究方法论：察知逻辑与推测逻辑

在日益追求具体性、深刻性和核心化的教育认识和改进中,教育事件越来越成为教育研究与实践界关注的一个焦点。作为蕴含变化的功能性活动,教育事件是对教育常态的某种断裂,对它的研究本身具有察知现实和推测未来的两种意义,因而也就有了两种研究方法论逻辑：察知逻辑和推测逻辑。察知逻辑主要是根据普遍规则或普遍性知识前提对特定教育事件进行定位和判断的逻辑,这种逻辑下的教育事件研究方法从把其转化为研究素材开始进行多层次和多维度的条理化认识加工,主要体现着定位定向的追求和思路。推测逻辑主要是对目标教育事件进行设想化探索的研究方法逻辑,这种逻辑下的教育事件研究方法从把其作为与常态的重要分裂开始对教育未知领域进行想象和设想,主要体现着再构对世界认识的追求和思路。     

一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑

狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。     

论直觉主义谓词逻辑的矢列式自然演绎系统与公理化系统

在达米特的直觉主义谓词逻辑的矢列式自然演绎系统和公理化系统的基础上,文章详细证明了系统中的演绎定理,指出系统与系统的对应关系并且完整证明了二者的等价关系,分析和比较了二者的证明策略,还探讨了矢列式自然演绎系统与公理化系统之间等价转化的方法论意义及局限性.这些工作有助于从理论和实践上客观地分析和评价这两种证明演算,为同一逻辑的矢列式自然演绎系统与公理化系统之间的等价转化提供方法论上的借鉴意义.     

基于谓词逻辑的Prolog程序设计

一阶谓词逻辑下的Horn逻辑是人工智能程序语言Prolog的理论基础,利用Prolog在计算机上可实现机械化,从而使自动化求解问题和定理证明具备可行性。本文从Horn逻辑和Prolog的基础理论出发,使用Horn子句、SLD-归结、搜索和回溯等原理讨论了如何在计算机中实现数学函数、定理证明等自动推理的一些应用。     

逻辑方程求解初步

本文通过研究逻辑变量之间的函数关系,利用分解定理和函数最小项展开式理论,总结出求解逻辑方程的一般方法。     

论“两独”与“两依”兼评《制约逻辑元思想剖析》一文

真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。     

用代数转换法求逻辑函数标准形式的简便方法

通过分析逻辑函数的两种标准形式的下标存在互缺关系 ,给出了求逻辑函数两种标准形式的简便方法     

重言式、逻辑规律与准逻辑悖论

同一律、不矛盾律和排中律是传统形式逻辑中的基本规律,在正统数理逻辑中体现为重言式。同一律、不矛盾律和排中律作为逻辑基本规律在传统形式逻辑中普遍有效,可是,它们一经引入正统数理逻辑,便会引起不符合人的普通逻辑思考实际的准逻辑悖论。故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立。     

哲学逻辑对判断的非反否定演算研究

形式逻辑是关于断定的逻辑（Logic），辩证逻辑是关于描述的逻辑（Logos）。通过对性质判断的非反否定演算，将形式逻辑的断定否定演算，辩证逻辑的描述否定演算，认知模态逻辑的真假断定否定演算与规范模态逻辑的对错断定否定演算及其相互间的辩证否定演算，都归结为非和反的哲学否定演算。由此，所述四种相对独立的逻辑演算分支就可通过哲学的非反演算而内在地统一起来了。     

多值逻辑系统Hα中的重言式分类定理

系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统．借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础．     

制约逻辑与计算机科学相关问题的探讨

新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据。     

限悖论逻辑Lpm的命题演算

限悖论逻辑(有时简称为悖论逻辑)Lpm是一种对悖论中的矛盾进行限制的逻辑。其中L表示逻辑,P表示悖论,而m表示极小化,极小化意味着限制。这里,限制矛盾的基本手法是次协调逻辑。我们说,限悖论逻辑Lpm建立的目的,正是为了消解布尔、弗雷格(BF)的经典逻辑BF中引入矛盾命题后,可以推出任意命题(这称为句法的无意义化或平庸化)这样一个难题,同时又保持BF逻辑中对联词的原有相互定义方式(这种方式受到很多人的欢迎)。Lpm由Priest首先提出语义模型,它对证明论的经典形式曾作为挑战性问题而存在。就限悖论逻辑Lpm而言,其命题逻辑的新证明论最终由林作铨博士及李未教授解决。循此前进,本章给予另一种严格形式的、更普遍的表述,并为统一地解决谓词逻辑的“证明论”提供基础。这是我们对这一问题所做的新工作。     

逻辑学与通识教育

逻辑学通识课的目标是提高受教育者的逻辑思维素养。知识,包括逻辑学专业知识,不会自然地成为逻辑思维素养。与日常逻辑思维相关的是逻辑学知识的传统部分,是传统的形式逻辑以传统的方式覆盖和处理的知识内容。在逻辑思维素养的构成中,相关的逻辑知识以直觉形态存在。逻辑思维素养的差异,不在于对这些知识的掌握程度,而在于这些知识的直觉形态的灵敏度。“逻辑需要的是训练而不是记忆”。逻辑通识课覆盖逻辑知识,但其实质部分是有效的思维训练。案例思考与分析是课程的结点,案例教学是基本方法。数理逻辑（一阶逻辑）不应当是,事实上也从来不是逻辑学通识课。逻辑学通识课的角色一直是由传统形式逻辑承担的。这是传统形式逻辑的历史地位。作为通识课,传统形式逻辑必须改进以取得新的形态。     

翻译中的深层逻辑语义失误剖析

翻译是原语表层逻辑关系到深层逻辑语义再到译入语表层逻辑关系的转换过程。若仅仅是从原语表层逻辑关系到译入语表层逻辑关系的转换,就会造成翻译失误。要把一种语言文字的意义用另一种语言文字表达出来,译者须透过原文的表层逻辑关系,分析原文内在的、隐含的逻辑语义,再用符合译入语习惯的表达方式将这种深层逻辑关系显现出来。