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

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

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

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

蒯因论标准逻辑出了什么问题－读沈有鼎先生《初基演算》的体会

沈有鼎先生的《初基演算》建立起了标准逻辑的两个原则 ,即是否源于初基演算和是否具备完全性。而蒯因在建立标准逻辑时仅仅考虑了完备性问题。相比之下 ,沈文更有价值。     

逻辑演算与形式化方法

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

带变量FFP語言的遝輯基础

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

论概率解释理论

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

真理的验证系统

真理标准是检验和判定真理的尺度和准绳,它由真理内在的规定性所决定。真理的本质是符合性、融贯性和效用性,真理标准相应也有符合性标准、融贯性标准以及效用性标准三个层次,并且还要通过实践和逻辑证明给予检验。这些标准分别从不同方面、以不同方式来验证认识的真理性,并在验证真理的过程中紧密联系、相互制约,从而构成了一个内容复杂的验证系统。     

关于三段论推理规则的思考

关于三段论推理规则的思考清柏判定一个三段论推理是有效（正确）式还无效（错误）式，逻辑论著中一般都是采用规则判定法进行判定的。那么，三段论推理的规则究竟应该有哪些呢？大多数逻辑教科书都讲７条。即：１、在一个三段论中，只能有三个不同的项。２、中项在前提中...     

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

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

试论逻辑词的辖域问题

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

基于时间区间时序逻辑的实时系统统一模型检测

在同一个逻辑框架内无法自动验证实时区间模型的实时区间性质。为此,该文使用一个离散时间区间时序逻辑公式建立实时系统模型,使用另一个离散时间区间时序逻辑公式描述实时系统需要满足的性质,在此基础上,离散时间区间时序逻辑统一模型检测问题即可归约为目前已解决的离散时间区间时序逻辑可满足性判定问题。该文证明了新方法的有效性以及正确性,为区间实时逻辑这一类的模型检测问题提供了方法。     

对现行传统逻辑读本中命题逻辑推理的几点剖析

在传统形式逻辑中，除“联言推理”和“假言易位推理”外，其它复合命题推理，凡用数理逻辑符号表达出来的式子全都是涵衍式，包含蕴涵怪论。真值表方法是判定作为真值函数的重言式的方法，不是判定推理式有效性的方法。所谓“反三段论”，只有当其中的基础命题为传统直言命题时才有效。数理逻辑演算技巧精确严密，但它是数学，与向人类提供从已知获取新知识的。具的逻辑科学殊异，不能用它来“改造”或“取代”传统形式逻辑。     

论概率解释理论

概率的解释问题是现代归纳逻辑中长期争论的基本问题之一。给概率概念一个定义,就是给概率演算以一个解释。由于概率的解释不同,以致于测定概率值的方法和构造该方法的推理规则就不同,由此便导致了不同的概率解释理论。概率解释理论主要分为三个派别——频率主义、逻辑主义和主观主义。本文试图以理论和技术上的完备性以及与科学验证、评价的实际过程的一致性为标准,具体分析这三派概率解释理论的成功之处和根本缺陷,并简要地阐明关于概率解释的多元性观点。一频率主义解释关于概率的精确定义是1919年由频率主义的创始人冯·米塞斯(K·Von Mises)给出的;他把概率定义为:在长序列中事件发生的相对频率的极限,记作     

经济全球化时代的法律全球化话语逻辑层次

全球化正日益成为一种发展潮流与言说方式。在经济全球化时代,我国学界有关法律全球化的话语逻辑呈现为"两个层次,四种声音",即技术和制度层次论与话语和知识层次论两个层次,而前者又包含有三种不同的声音。中国法学为因应其主体性和独立性诉求,就必须认真审视这四种声音,对之做学理的研究,而不能仅仅做表态式的简单化处理。     

解决逻辑全能基本制约性标准及哲学反思

逻辑全能问题是认知逻辑发展的一个瓶颈,抑制了认知逻辑在其他学科中的应用。许多学者对逻辑全能问题提出了诸多的解决方案,但并未在"解决标准"上展开深入研讨,难以在各种解决方案的优劣上达成共识。在达克提出的"逻辑全能"与"逻辑无能"概念的基础上,文章试图给出解决逻辑全能问题的一种基本制约性标准,并给予哲学说明。     

多边形余弦公式及其在建立连杆机构连架杆的位移方程中的应用

在连杆机构的运动分析和综合中,为了建立输入杆同输出杆的位移方程,常常把机构简图画成矢量多边形,并进行以下的演算。先列出多边形上i、j二个顶点在某直角坐标系上的六个坐标(x_i,y_i,z_i;x_j,y_j,z_j)的代数式,再将它们代入二点距离(l_(ij))的平方公式l_(ij)~2=(x_i-x_j)~2 (y_i-y_j)~2 (z_i-z_j)~2;最后展开上式并作整理和化简。演算工作,因多边形的边数和各矢量的指向不同而逐一进行,既复杂而又容易出差错。因此,避免上述的列式和演算,用一个直接公式迅速写出所需要得到的结果,是一个值得研究的问题。本文提出的多边形余弦公式(简称余弦公式)可作为解决这个问题的普遍公式。文中附有若干个用余弦公式直接求连杆机构连架杆的位移方程的例题。     

关于真理检验问题的几点逻辑分析

真理检验问题可分析为最终证据和推理形式这两个基本的问题,哲学史上的唯理论和经验论在回答这两个问题时都难脱经院哲学的窠臼,马克思主义认识论以实践的观点克服了它们的缺陷。真理检验问题不仅仅是个实践问题。实践检验真理及其确定性和不确定性的统一有其逻辑依据。在古典逻辑框架内,对实践是检验真理的唯一标准进行论证会犯循环论证的错误,只有以新的逻辑体系才能解决这个难题。     

关于法和法律在认识上的几个误区

关于法和法律,我们在认识上往往会存在一些误区,本文从中选取了较典型的“天条”式法的观念以及对“法律至上”的混乱理解两个方面加以剖析,试图论证以下问题“天条”观的机械和专断以及“法律至上”应分两个层次,即首先是在规范范畴之内的至上,其次应折射到观念领域中居至上的地位.     

论数学真理的判定

数学是一门高度抽象的科学，数学真理的判定有着明显的特点。判定数学真理，从来有两个标准：逻辑标准和实践标准。所谓逻辑标准就是用逻辑方法证明教学理论的真理性。逻辑证明有两个方面、两种方法，用演绎推理证明数学定理的正确性，用模型方法证明数学理论的相容性。十九世纪，非欧几何的出现标志着：数学摆脱了直接经验的束缚，进入了理性自由创造的新时期。这时，已经不可能用实践来制定数学真理，逻辑成了检验数学理论的唯一标准。     

欧盟的共同外交政策：实践、问题与展望

当前,欧盟在政治联合上的滞后与经济一体化的巨大成就形成了鲜明的对比。在1992年签订的《马斯特里赫特条约》中欧盟各国正式提出了“共同外交与安全政策”,然而该政策在实践中却一直表现乏力。本文试图通过分析欧洲一体化进程中外交领域的合作历程,从制度和国家利益两个层次对共同外交政策的实践困境进行分析,并对其未来发展方向作一探讨。