模态系统T的Herbrand定理

模态Herbrand定理研究是模态逻辑领域的重要开放问题.不含Barcan公式的模态系统T的Herbrand定理的获得必须完成两个方向的证明工作:首先是证明相对简单的从右到左方向;而对于相对复杂的从左到右方向,则可以通过在加标公式表列系统K的基础上增加特殊规则获得加标公式表列系统T,证明T的可靠性和完全性,并在此基础上完成从左到右方向的证明.同样的方法还可以用来证明模态系统D、K4、s4的Herbrand定理.     

函数完备的n+1值逻辑公理系统的强完全性

构建多值逻辑系统可以有多种方法,如表列、自然演绎、根岑演算、希尔伯特型公理化等等。建立一个n+1值多值逻辑的希尔伯特型公理系统,利用极大一致集方法可以证明它的完全性。证明利用了一个特殊的否定词,比其他方法更为简便。该证明方法还可以证明该系统是函数完备的。     

亚里士多德模态三段论逻辑的 形式化公理系统探讨

利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论。把通过向有效的直言三段论AAA-1和EAE-1中添加模态词而得到的20个有效模态三段论作为基础公理,就可以为亚里士多德模态三段论逻辑建立起形式化公理系统。     

现代企业后家族管理的基础理论模型研究

在两个最基本的公理性理论假设下,给出了四个基本命题和两个定理,并进行了严格的逻辑证明,继而建立了现代企业的后家族管理的基础性理论模型.通过对现代管理和后家族管理的分析,指出后家族管理是现代管理手段嫁接于家族企业内部的管理模式,并对企业人力资源系统的重新分析和设置而构造了新型的管理系统.     

现代企业后家族管理的基础理论模型研究

在两个最基本的公理性理论假设下,给出了四个基本命题和两个定理,并进行了严格的逻辑证明,继而建立了现代企业的后家族管理 的基础性理论模型。通过对现代管理和后家族管理的分析,指出后家族管理是现代管理手段嫁接于家族企业内部的管理模式,并对企业人力资源系统的重新分析和设置而构造了新型的管理系统。     

何谓集合

人们通常用康托集合论来判断ZFC系统的合法性,它对集合有两种主要解释：大小限制概念和叠置概念。大小限制概念把一个收集的统一性或客观现实性看作与该收集自身的大小相关,它不能对基公理和幂集公理的存在性提供合法的解释。集合的叠置观点对于集合的形成存在一个时态的限制,它可证明子集公理和幂集公理的合法性,但是它不能为代换公理提供一个解释。对叠置构造强加一个大小限制条件,可以成功地用来解释代换公理,它不能用来说明幂集公理的合法性。结构观点认为一个集合是打开一个可能结构的模式,集合的同一性应该由它们的打开模式的同一性确定,在这种概念下,没有理由把这种可能的结构限制在良基上。     

纯蕴涵演算定理证明的两个能行过程

以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。     

哥德尔不完全性定理和“心灵与机器”的关系问题

一些文献在阐述哥德尔不完全性定理的证明过程时,对一些技术细节没有做出明确说明,容易使人误解,因此需要对证明过程中ω一致性、系统外证明、元语句可表达性等作出强调。通过系统外证明的启示,分析了由哥德尔定理引起的有关心灵与机器(计算机)关系的争论,得出心灵优于所有目前原理计算机的论点。     

一个以实践确证论为基础的认知逻辑系统KjB

国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足.笔者以马克思主义实践论为基础,吸收了国外知识确证理论的先进成果,提出了一种知识的实践确证理论.在此基础上,构造了多模态认知逻辑系统KjB,并证明其可靠性和完全性.     

Taylor中值定理证明对数学教学方法的启示

泰勒（Taylor）中值定理是微分学中的重要定理之一，在一般的数学分析或高等数学教材中，该定理的证明是先构造函数的n次泰勒（Taylor）多项式，然后再给出证明。本文给出一个别于传统的证明，这种证法渗透了数学中常用的两种分析问题的重要方法，即等量代换的“换位思考”法和构造辅助函数法。教学实践表明，这种证明方法简单、逻辑思雏强，不仅有利于学生对Taylor中值定理的理解，而且易于掌握和应用。     

普兰汀格的模态实在论和模态逻辑

模态实在论者普兰汀格主张按照可能世界分析模态算子。依据普兰汀格的理论,P是可能的当且仅当存在着一个可能世界,在该世界中P为真。但是与刘易斯的模态实在论不同,普兰汀格的可能世界是由抽象实体,更具体地说,是由一些极其复杂的性质构成的。普兰汀格的模态实在论在他的模态形而上学中扮演着关键性的角色。文章简要地讨论普兰汀格的模态实在论和模态逻辑,并提供了拒绝他的模态形而上学的理由。     

模态的语用逻辑

清华学人、中国著名逻辑学家周礼全先生从 195 0年开始研究语言逻辑 ,1989年起指导作者对奥斯汀的言语行为理论和塞尔的语用逻辑进行研究。文章介绍周礼全先生对语言逻辑的重要贡献 ,并给出模态的语用逻辑系统 MF,以期与作者先期发表的《命题的语用逻辑》、《量化的语用逻辑》共同形成对语用逻辑形式化研究的全面描述。     

模态虚构论及其发展现状

模态语义学关于可能世界的量化导致了对可能世界的本体论承诺,然而绝大多数人并不相信"可能世界"是存在的.罗森通过引入"故事前缀"的策略谋求既可以在语义学中量化可能世界但又不在本体论上承诺可能世界,并将这一策略称为模态虚构论.模态虚构论避免了模态实在论的本体论代价,但却引发了许多激烈的讨论,关于某些重要论题的讨论至今仍然在持续并不断推陈出新.     

管路系统的模态分析

通过利用有限元的分析方法,基于ANSYS Workbench分析软件,对在管路系统中,阻尼特性对管道结构的影响和管道系统中支架的设计对管道系统模态的变化规律进行了研究。了解管道模态系统的影响因素,从而对管道的可靠性分析做出评价。     

薄壳支架的模态分析

利用有限元理论,对某承受动态载荷产品中的关键支撑件棗支架建立了有限元模型,并进行模态分析,计算了前六阶模态参数(固有频率和模态振型)。通过与试验模态分析的方法获得的模态参数相比较,证明计算结果是合理的,提出了对结构的修改意见以提高结构的动态特性。     

英语语调的情态意义研究

语调是话语情态意义体现的一种非常重要的方式。通过对不同的语调及语调的不同组合的研究，发现语调正是从这些方面实现着话语的情态意义。     

Grice语用学模式批判

在话语理解中 ,通过解码获得语义 ,通过推理得出说话人意图。在语用学的发展过程中 ,话语理解的重心逐渐转移到推理过程 ,Grice的推理模式就是这种发展的代表 ,认为交际中人们遵守着合作原则以及相关准则 ,违背某些准则是为了表达暗含意义 ,需要推理求得理解。然而 ,Grice过分强调暗含意义 ,而且合作原则及有关准则来源不清 ,严重地削弱了Grice推理模式的解释力。     

湘南东安土话的语气词

语气词是表示不同语气的主要手段之一.东安土话常用语气词有12个,分析它们的语法意义及语用功能,有助于了解东安土话语气词的特点.     

汽车电控单元散热器的模态分析

汽车ECU散热器的动态性能直接决定了ECU各个部件的工作稳定性,对电控单元散热器进行动态特性分析是保证汽车可靠性的主要技术手段.采用频率多参考模态拟合方法进行了模态试验,获得了散热器的3阶模态参数.根据ANSYS软件计算的模态参数与试验模态参数的比较结果,通过改变有限元几何模型形式和提高单元阶次等方法,修正有限元模型及其边界条件,最终达到模态频率的计算值与实验值最大相对误差为2.4%.获取的散热器模态参数.为汽车ECU散热器动态性能的优化提供了依据和参考.     

论模态逻辑中的嵌入问题

目前在模态逻辑中,主要存在两种嵌入方法:一种是"坍塌嵌入",一种是"翻译嵌入";用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是"S5可以翻译嵌入P中",因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理:"翻译嵌入映射Tr4可以使得S5的所有子系统K、D、T、S4和B,以及系统KDc与KTc都能够翻译嵌入系统P中"。