西方现代逻辑研究动态（笔谈）——西方道义逻辑的形式化研究

一、西方道义逻辑的形式化研究现状 道义逻辑是在数理逻辑的基础上研究含有道义模态词"义务"、"允许"和"禁止"等模态词的一种广义模态逻辑的命题形式和推理规律的逻辑.因此,它和法学、伦理学有着密切的关系.随着模态逻辑理论的日益成熟,这也给道义逻辑的研究提供了许多新的技术和方法,使得道义逻辑的研究在研究方法上也越来越趋向多样化.目前,道义逻辑研究中采用的主要方法之一就是形式化,用这种方法解决各类义务冲突问题,并在道义逻辑的经典系统CDL和标准系统SDL的基础上,通过构造各种各样的道义逻辑的形式系统,使它能够较理想地处理各种各样的道义悖论.本文将西方道义逻辑形式化的研究大致分为以下几种类型:     

论形式化文本意义理论的可能性及其运用

当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展.一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷.     

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

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

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

从认知心理学的观点看数理辩证逻辑

现代逻辑不应片面地拒斥心理学。它与心理学有着本质的区别而又有内在的关联。认知心理学的发展提出了人生认知发展的辩证推理阶段问题。数理辩证逻辑实现了辩证推理形式的系统化和形式化发展。它为认知心理学理论与应用的发展提供了强有力的逻辑支持。     

论逻辑的有效性及其判定

推理形式的有效性是逻辑学的核心概念。由于现代逻辑的形式系统化,推理形式的不同类型构成了不同的逻辑系统,有效性概念相对于不同的系统而言,具有相对性和层次性。同时,系统内的有效性又分为语形有效性与语义有效性,它们分别可由形式证明的方法和语义解释的方法加以判定。     

命题形式与命题的符号化

命题形式是用符号来表示的,但命题形式是不是就是命题的符号化？传统逻辑对这个问题的回答似乎是不言而喻的,但数理逻辑却使这个问题变得复杂起来。数理逻辑的谓词逻辑对非逻辑常项的引入,导致了命题的符号化和命题形式之间的相对分离,使命题形式已不能简单地等同于命题的符号化。命题的符号化可以借助非逻辑常项实现,但纯命题形式不包含非逻辑常项,在纯形式推演中也没有真正意义上的非逻辑常项。     

Kripke语义学及其一些哲学问题

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式:     

概念与词语的对应关系新探

一、逻辑学研究不能回避的一个问题概念与词语的对应关系是形式逻辑、数理逻辑和语言逻辑都应该解决的一个根本性问题。传统逻辑既以自然语言符号关系为研究对象,又以自然语言为研究工具,当然应该解决概念与词语的关系这个问题。现代符号逻辑即数理逻辑虽然以自然语言的成体系的代号——人工语言作为直接研究对象和研究工具,但是所有人工语言产生的基础仍然是表达人类思维的自然语言。而且符号逻辑的演算过程和演算结果的解释,仍需要翻译还原为自然语言才能最终被人们理解和掌握。由此可见,自然语言的人工符号化,必然是以命题演算、谓词演算、集合演算为基本内容的数理逻辑应该解决好的前提性问题。在自然语言人工符号化的过程中,既有语句符号化的问题,也有语词符号化的问题,而且更多的是语词符号化的问题。例如主词、谓词、各类量词、各类模态算子、各类联结词的确立和定性,都要牵涉到语词与     

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

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

多变量仿射非线性系统的可逆性秩判据

系统的可逆性判别是非线性控制的逆系统方法的关键,为探索可逆性分析的新途径,该文将系统可逆的秩检验法引入到多变量仿射非线性系统中,其实质是将系统的可逆性判定转化为对系统的输出函数及其导数所构成的雅可比矩阵的秩条件分析。文中给出了仿射非线性系统可逆的秩判据定理与证明过程,提出了一种具体的求逆算法,最后,举例对算法进行了验证,通过与微分几何法和逆系统方法的比较说明了秩判据法的有效性。     

基于遗传算法和TRIZ的产品服务系统优化设计方法

针对产品服务系统方案优化设计问题,分析了系统方案设计过程中主要影响因素,基于遗传算法和TRIZ理论提 出了产品服务系统方案优化设计方法。该方法可以优化产品服务系统的方案设计,并通过理想化程度值定量判定最优 方案设计。以污水处理设备为例,应用该方法获取产品服务系统最优的方案设计,并与其它方案进行对比,验证了该方 法的有效性。实际应用证明该方法不仅可以对产品服务系统方案设计的理想化程度进行定量的判定,还可以实现对系 统方案设计的全局最优搜索。     

树型多刚体系统单向递推组集计算机求解

对组成多刚体系统的各个刚体和铰建立基本类型,采用R／W方法描述多体系统的结构,采用相对坐标的建模描述方法,自动选择广义坐标。对各个刚体采用规则标号标识,自动形成路的信息,按路的方向递推组集多刚体系统运动学和基于虚功原理的动力学方程,这样建模效率高,简洁。采用Adams预估－校正和隐式多步Runge-Kutta方法求解动力学方程。该方法重复使用前几步信息,计算速度快,并就上述算法编制了软件,算例表明算法高效可靠。     

系统思维方法的重要原则

一般系统论,控制论,信息论,运筹学等当代系统科学诸多研究成果中所共同蕴含着的系统思维方法,具有着一些重要的原则。它既是系统思维方法的主导因素和核心内容,又是认识和解决现实问题时不可或缺的思维方法准则。     

相关函数法在系统在线识别中的应用

本文分析了经典的频率法和改进的脉冲法进行系统识别方面的不足,讨论了相关函数法进行系统识别的原理和存在问题,最后推理得出采用弱信号提取法与相关原理结合进行系统动态在线识别的可行性,并从实用角度分析了该方法的特点和注意问题.     

竞赛评分结果的偏移量修正法

偏移量修正法,每个评委打出的分数基本上服从正态分布,据此将评委给出的原始分进行标准化,得到较为公正的最后分数。为更好地说明该方法,还介绍了普通意义上的评分方法,即去掉一个最高分,去掉一个最低分,然后求算术平均。分析了竞赛评分系统采用的评分方法相对于普通评分方法的优点。并且,简单介绍了竞赛评分系统的数据库设计,以及具体程序的实现。通过三组普通评分方法得出的分数和软件计算得出的分数的数据比较,验证了竞赛评分系统采用的计算方法的合理性。最后,从应用效果的角度,分析了评委和选手的接受程度,以及该系统的可操作性。     

时滞反馈混沌同步及其抗噪优越性

噪声抑制是混沌同步通信急于要解决的关键问题之一。混沌系统的反馈同步一般采用非时滞反馈方式,该文提出了混沌系统时滞反馈同步抑噪的方法,并以Lorenz混沌系统为例,证明了驱动系统和响应系统均为Lorenz混沌系统时,采用时滞反馈控制,驱动系统和响应系统同步稳定的充分条件。文中将时滞反馈控制同步用于噪声抑制,表明效果比一般同步方式好很多。通过模拟存在信道噪声的情况下,采用Lorenz系统用参数调制进行信号传输,证实了时滞反馈同步的抗噪优越性。     

教育心理学研究方法体系的发展历程与新取向

教育心理学在其独立成为一门学科时,就借鉴自然学科的研究方法初步建立起了包括研究方法论、研究方式、具体方法和技术三层次的研究方法体系。经过学科建立20世纪到50年代的发展和60年代后的完善,逐渐形成了较为完善的教育心理学研究方法体系。在新的历史条件下,其研究方法论、方式和方法表现出综合化、生态化、科学化、本土化等发展取向。     

斜拉桥结构模型试验索力测试方法研究

以某实验室独塔斜拉桥试验模型为研究对象,对斜拉桥模型试验的索力测试方法展开研究。开发了一种基于压力环传感器的索力测试系统,基于ANSYS分析平台,按照接触问题对该系统进行了仿真分析。在此基础上,在实验室模型桥上,采用测频法对该系统进行了对比验证。结果表明：该系统操作简单,性能可靠,测试精度较高,在不改变斜拉索刚度的情况下可以实现斜拉桥模型试验中斜拉索索力的实时、长期监测。     

含分数阶微分的二自由度悬架系统动力学分析

研究了含分数阶项的二自由度悬架系统，利用改进的平均法、拉氏变换法、谐波平衡法和复频域法得到了简谐激励下系统响应的解析解，比较了解析解和数值解，二者逼近的精度很高，证明了解析解的准确性。分析了分数阶参数对悬架系统的动力学行为的影响，发现含分数阶微分悬架系统响应稳态幅值能够大幅降低，其动力学性能得到极大提高。