从逻辑方阵经逻辑矩形到逻辑饼

在表示4个命题之间6个对当关系的逻辑方阵的基础上,提出能表示5个命题之间10个对当关系的逻辑矩形,进而提出能表示6个命题之间的15个对当关系的逻辑饼.     

真性模态、道义模态和现代道义逻辑的经典系统

真性模态和道义模态之间存在着类似和区别，在此基础上给出冯·赖特道义逻辑的经典系统，说明经典道义逻辑在向标准道义逻辑发展。     

词项逻辑新探

传统逻辑是把单称命题排除在对当关系之外的。可是研究发现,单称命题是完全可以存在于对当关系之中的。此外,通常对三段论规则的证明有些地方比较模糊,应当予以澄清。     

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

略谈中学数学的逻辑基础的教学

为解决教学上的重点难点，本文从学生实际出发，抓住关键，编制这一章节的内容结构框图。根据教材潜在形式逻辑的线索，采取分析归纳，提纲挈领，旨在形成学生的思维结构的同时去理解命题逻辑的概念，掌握逻辑命题的演算和逻辑联结词，及其在中学数学中应用。     

模态复合命题与复合模态命题间真值关系考察

本文通过构造一个逻辑关系示意图，重点刻画了模态联言命题、模态选言命题与联言模态命题、选言模态命题之间所存在的四个等值式、四个矛盾式和三十二个蕴涵式，这些等值式、矛盾式和蕴涵式都与人们的实际思维密切联系，均可借助自然语言的实例得到直观理解，并在思维实践中加以运用。     

集对逻辑探索

本文以集对分析理论为基础,给出了集对逻辑的定义和概念,并讨论了有关的逻辑运算和性质.     

基于集对逻辑的推理

集对分析是一种新的处理确定与不确定性互相联系，用联系数来描述系统联系与转化的同一度、差异度和对立度的不确定性的方法．利用集对分析，提出了集对逻辑推理，并讨论了集对逻辑推理的有关性质和运算．     

逻辑学教学中直言命题真假情况一览表的应用

直言命题真假情况一览表是一种重要的逻辑工具，可借以直观、简明地揭示六种直言命题的逻辑特性；借以简明、直观而科学地论证同素材六种直言命题之间的对当关系；借以直观、便捷地解答一些较复杂的逻辑问题。     

用逻辑方程解集关系求逻辑方程组的解集

给出了逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１,ｍｉ＝１　ＦｉＧ－ｉ＝１及逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集关系定理,得到了如下结论：若逻辑方程ｍｉ＝１（Ｆｉ＋Ｇ－ｉ）＝１和ｍｉ＝１　ＦｉＧ－ｉ＝１解集分别为Ｓ１和Ｓ２,则逻辑方程组Ｆ１＝Ｇ１,Ｆｍ＝Ｇｍ的解集为Ｓ１－Ｓ２．     

诗思比邻:威廉斯诗歌创作的哲思之旅

威廉斯的诗歌创作充满着哲学思考,从初期诗歌创作中对形而上学真理的质疑及拒斥,到在通向语言的途中,没有思想,除非在物中的物的自行言说及思想的显现,威廉斯充满哲理性的思考贯穿其创作的始终。他的没有思想,除非在物中与海德格尔等现代哲人的思想有着契合之处。     

关于Cialdea一阶模态归结系统

指出了Ｃｉａｌｄｅａ一阶模态逻辑归结系统是不完备的．为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法．     

基于实验模态的结构应变模态分析

从位移模态出发详细推导了应变模态的表达式 ;以悬臂梁模型为例 ,进行了位移模态与应变模态实验分析 ,并与有限元计算结果进行比较 ,验证了三者识别的模态参数基本一致 ,而且应变模态分析方法可以确定结构应变最大点和共振疲劳危险点 .     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

基于对称三值逻辑的集合

本文的目的是建立与对称三值逻辑相应的集合概念,定义它们的一些运算,并讨论其若干性质.     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

分析模态与实验模态综合技术的若干问题

本文提出了将实验模态分析引入模态综合中,由子结构参数识别结果,结合分析模态的计算,求得整体结构的动力特性,处理大型结构的建模方法。文中针对下列一些问题进行了分析研究。(1)转角模态及剩余模态的测试; (2)剩余质量对综合精度的影响。最后,通过平面框架的实验分析和仿真计算,证实本文所提出的方法的可行性与优点。     

从自由模态试验提取约束结构模态参数的方法研究

研究了如何基于模态综合法实现自由试验边界与约束边界的转化。以矩形钢板为例进行理论研究,分别在自由与一端固定两种状态下进行模态试验,提取模态参数,并将自由试验获得的低阶模态频率构成主模态谱矩阵,而主模态振型和高阶剩余模态则由矩形板有限元模型提供,同时将约束条件等效为一种子结构,共同参与模态综合,完成自由试验结果到约束模态参数的转化。数值计算结果与试验结果一致,证明了基于模态综合理论并将试验模型和解析模型相结合的提取方法是可行的。     

机械结构的模态分析方法研究综述

模态分析是研究机械结构动力特性的一种近代方法,是指通过计算或实验获得机构的固有频率、阻尼比和模态振型等模态参数的过程,是结构动态设计及设备的故障诊断的重要方法。本文对模态分析的基本概念、研究目的、分类、分析方法、发展历程、发展现状和展望一一作了阐述。     

基于集对分析的模糊逻辑研究

介绍了一种新的解决模糊问题的途径 ,提出了一种模糊逻辑表示新形式 ,论证了其较之于传统模糊逻辑表示法的优点 .