现行联合演算的判定标准不可靠的理由

希尔柏脱和阿克曼试图导出一个普遍可行的判定标准 ,判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是 ,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的“判定标准”并不是一个十分可靠的标准。联合演算的最特殊的方面是 ,其演算不可能在单一的层次上进行 ,必须在两个层次上同时进行。第一个层次是命题逻辑的层次 ,第二个层次是谓词逻辑或类逻辑的层次。希尔柏脱和阿克曼试图在笫一个层次上解决问题 ,克劳斯则承袭其思路 ,总是想把一联合演算的公式化为使其竖号在公式最外面的形式 ,然后在判定过程中脱去竖号。忽视联合演算的两个层次 ,正是现行联合演算出现混乱和错误的根源     

一阶谓词逻辑反驳演算自然推理系统

反驳各种逻辑谬误离不开对矛盾式的认识和理解.为此,构建了一个直观的包含所有矛盾式的一阶谓词逻辑反驳演算的自然推理系统;根据定义的语义解释,考察了该系统的一些元理论.在此基础上,考察了一阶谓词逻辑反驳演算系统和证明系统的关系,证明了两个重要结果:(1)谓词逻辑反驳演算系统中的任一矛盾式都对应于经典谓词逻辑证明系统中的有效式;(2)谓词逻辑反驳演算系统包含经典谓词逻辑的证明系统,即通常的谓词逻辑公理系统是反驳演算的一个子系统.     

带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。     

论联合演算对传统推论学说的系统化处理

本文试图从联合演算的角度对传统逻辑作现代数理逻辑的解释。本文认为现行的联合演算用以解决判定问题的标准是不可靠的，现行的联合演算没有完成对传统推论的等价描述。本文通过对联合演算的两个层次的分析，提出结构分析的方法作为解决判定问题和构建永真式的一个依据，同时提出范式判定的方法用于在有穷步骤内解决一联合演算公式的判定问题。本文并且就联合演算对传统推论的等价描述提供了一个新的翻译模式。     

论类型逻辑语法对蒙太古语法的继承与发展

蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。     

混合范畴类型逻辑系统的构造及应用

根据是否包含结合性和交换性结构规则可产生四个兰贝克演算系统.使用任何一个系统分析语言都只具有有限的价值,因此需要具有不同描述模式的多模态范畴系统.一个方法是利用结构模态词受控地引入结构规则,但是结构模态词的广泛使用导致了分析的复杂化,促使人们选择尽可能强的系统作为基层逻辑,这样却遗失了可能有用的语料敏感性.另一个选择是合并多个子结构逻辑,限制结构规则,增加连接各子结构层面的包含规则,产生了混合范畴类型逻辑.它使用较弱的逻辑构造词汇类型,保留了语料敏感性,同时混合系统中的较强逻辑保持了对语言对象信息的描述灵活性,这些优点很好地解释了提取、汉语话题句和非成分并列组合等现象.     

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

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

量子逻辑:一种全新的逻辑构造

与经典逻辑相比,量子逻辑是一种全新的逻辑构造。其独特之处主要体现在:一是数学基础的新颖性。量子逻辑是一种新的、非布尔型的非经典逻辑,在语义和句法上由一种独特的代数结构确定,这种代数结构的重要特征是非分配性和不对易性。数学中新发展起来的格论直接推动了量子逻辑基本结构模型的建立。二是形式的多样性。作为言说量子世界的语言逻辑,量子逻辑的联结词、命题及其演算,最终都是基于量子实体和量子世界的经验内容之上的。其中一条重要特征是非决定性,非决定性和模糊性使得量子逻辑中包含有量子模糊逻辑。三是技术应用的广泛可能性。     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

制度评价的标准选择及其哲学分析

哲学视野中的制度评价需要确立三个标准:合理性标准、合法性标准和现实性标准。制度的合理性标准是指制度是否具有逻辑的一致性,制度的内容是否符合制度的内在规律,着眼于制度效率;制度的合法性标准是指制度是否具有存在的法理基础,制度的价值选择与目标定位是否与社会发展要求相适应,着眼于制度公正;制度的现实性标准则是指制度是否具有可实现性和可操作性,制度实施成本的高与低,着眼于制度的实现能力。     

类型--逻辑语法的句法特色

论述类型—逻辑语法的句法特色———兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴—希勒尔所创立的经典范畴语法的改进和发展,其表述有多种形式,重点论述在实践中应用广泛的根岑风格的兰贝克演算。     

论概率解释理论

概率的解释问题是现代归纳逻辑中长期争论的基本问题之一。给概率概念一个定义,就是给概率演算以一个解释。由于概率的解释不同,以致于测定概率值的方法和构造该方法的推理规则就不同,由此便导致了不同的概率解释理论。概率解释理论主要分为三个派别——频率主义、逻辑主义和主观主义。本文试图以理论和技术上的完备性以及与科学验证、评价的实际过程的一致性为标准,具体分析这三派概率解释理论的成功之处和根本缺陷,并简要地阐明关于概率解释的多元性观点。     

类型-逻辑语法的句法特色

论述类型一逻辑语法的句法特色——兰贝克演算。兰贝克演算是对由爱裘凯维茨和巴-希勒尔所创立的经典范畴语法的改进和发展，其表述有多种形式，重点论述在实践中应用广泛的根岑风格的兰贝克演算。     

实践标准系统化与真理标准准确化——与汤文曙、房玫同志共商

实践标准系统化影响真理标准准确化。实践及其结果是不能作检验真理的标准的 ,它是检验认识是否具有真理性的根本办法。因为是根本办法 ,所以就还存在着非根本办法 ,而逻辑证明就是检验认识是否具有真理性的辅助办法。人们的认识与认识对象及其本质和发展规律是否相符合以及符合的程度才是衡量认识是否具有真理性的唯一标准。真理的价值性是真理的功能 ,把它作为检验真理的标准之一 ,就难于同实用主义划清界线。     

论马克思主义的“简单性”原则

所谓简单性原则就是逻辑统一原则。它是衡量一门新的学说是否成立的起码标准。因为任何新的学说均是从覆盖尽可能多的经验事实的少数假设或公理出发,建立起来的概念体系。而这个新的体系不过是这个简单性原则(即少数假设或公理)的演绎。例如达尔文的进化论的简单性原则就是生存斗争,自然选择。任何正确的科学体系必须符合简单性原则,马克思主义的历史唯物主义、政治经济学、科学社会主义当然也不例外。重点就科学社会主义的简单性原则进行了探讨。     

小句谓语句的逻辑分析-汉语句型的逻辑演算之三

本文运用数理逻辑的方法分析现代汉语中一种比较特殊的句型-小句谓语句,以建立可加演算的语义模型,从而为汉语句型的语义形式化提供支持。文章根据该句型前后主语之间的逻辑特征分为领属关系双主语句、共指关系双主语句、陈述关系双主语句、施受关系双主语句、施与关系双主语句、时间地点双主语句等六类,逐一考察了它们的逻辑特征,并提供了对应的逻辑形式。     

不可通约性与科学合理性--库恩科学合理性理论研究

逻辑实证主义和波普学派将科学合理性原则看成科学假说检验的逻辑规则,力图建立普遍的、超越历史和文化的科学合理性标准。库恩用科学史的大量材料论证,科学是在范式指导下解难题的活动,科学革命是范式的转变,不同的范式是不可通约的。在这个基础上,库恩建立了一种历史的或局部的合理性理论,揭示了科学合理性与科学共同体的活动方式的密切联系,从而实现了合理性观念的根本变革。     

一个命题逻辑的排斥演算系统

在日常推理中,一般的非有效式比逻辑矛盾具有更大的隐蔽性,通过对卢卡西维茨的工作进行改造,可以建立一个排斥所有非有效式的演算系统,并对其可靠性和完全性给出严格的证明。在此基础上,证明了排斥系统和证明系统的不同性质,这有利于人们进一步认识谬误的本质。     

非周期TBox框架下的推理——拟经典描述逻辑与超协调表演算(英文)

源自当今互联网的语义网研究的目的是定义信息语义和网络服务,因此需要赋予网络智能以便能够自动对网络内容进行推理。各种描述逻辑(DLs)在语义网的研究中扮演着重要角色,构成了W3C推荐的网络本体语言(OWL)的基础,而OWL源于为达到语义网目标的人工智能(AI)本体论研究。语义网的知识和数据量巨大、分散、来源众多且因此通常不具有协调性。因此,必须开发针对非协调本体的实用的推理技术。该文基于Hunter的拟经典逻辑(QCL),构造了新型超协调拟经典描述逻辑(QCDLs),避免了逻辑爆炸问题,同时,针对基于非周期TBox的知识库推理问题,建立了QCDLs语义表演算,进而定义了一种可靠、完备且可判定的推理关系,从而构建了完整的语义网推理框架。与其他重要的超协调描述逻辑进行了比较,结果表明QCDLs具有更强的表达语义和推理能力,并且其相关行为在目标层次上表现出经典性。     

不可通约性与科学合理性——库恩科学合理性理论研究

逻辑实证主义和波普学派将科学合理性原则看成科学假说检验的逻辑规则．力图建立普遍的、超越历史和文化的科学合理性标准。库恩用科学史的大量材料论证，科学是在范式指导下解难题的活动。科学革命是范式的转变。不同的范式是不可通约的。在这个基础上·库恩建立了一种历史的或局部的合理性理论．揭示了科学合理性与科学共同体的活动方式的密切联系．从而实现了合理性观念的根本变革。