简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。

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

简介：模态逻辑不仅涉及逻辑的可能性,也涉及事实的可能性,两者存在着重要的差异;在对"罗斯悖论"的剖析中引入可能算子,通过对道义悖论作时态的分析,以辨明义务的相对性,是消除道义悖论的一条可行的途径.

简介：认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题，多主体的自认知逻辑系统，是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统，并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论，同时也对该系统的可靠性和完全性进行了证明。

简介：选举民主问题的研究范围涵盖了社会选择理论、计算机科学、政治学、经济学和哲学等领域,是一个跨文化、多学科交叉的研究领域。目前,从逻辑视域研究选举民主问题是逻辑学领域的热点之一,从模态逻辑S5~m的角度,基于投票逻辑对选举民主问题进行形式化研究,研究选举民主过程中的不公正行为,以期找到切实可行的解决途径。

简介：定义了多值逻辑系统中的否定度,利用否定度的定义和R0-代数的性质讨论了多值逻辑系统中的否定度理论.

简介：狭义函数相对论基本原理：对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数（式）按K-2分别依次代入该公理模式中的每一个＂□＂,使得形成一组经典定理。

简介：研究了多值逻辑系统中的广义矛盾式，并对这些多值逻辑系统中的广义矛盾式进行了分划，强调了这种分划的不重不漏．

简介：习近平全面从严治党思想具有历史论、认识论、价值论、方法论、发展论的逻辑向度,即传统文化的历史传承向度、求真务实的理论认识向度、人民主体的价值诉求向度、全面改革创新的哲学方法向度、理想信念认同的目标引领向度,分别体现了习近平全面从严治党思想的历史资源、理论精髓、思想理念、方法手段、发展目标,构成了习近平新时代中国特色社会主义全面从严治党思想的逻辑系统,科学回答了全面从严治党的理论与现实问题。

简介：讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3），首先给出了L3的真值表，它是C2真值表的扩充，它也保持MP规则和正则性，接下来讨论了b中的重言式（tautology）与IPC（inmitionisticpropositionalcalculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。

简介：生成语法历来把语音／音系系统和句法／逻辑系统分开处理的做法值得商榷，两者在一定程度上可能是同一的。文章从具体的结构分析出发，探讨同样的或类似的规则、原则及其之间的互动既存在于音系层面也存在于句法层面的可能性。其例证来自于法语中直接宾语代词和间接宾语代词在非命令式以及命令式的否定形式的线性排序现象，这一句法结构可以用音系学中的“（反）裁切”关系进行简单合理的解释。

简介：摘要：现阶段，为进一步提升广播电视节目的整体质量，保证广播电视整体网络能够正常运转成为了一项极为重要的工作，本文介绍了广播电视发射机逻辑系统的具体构造、与其相关的故障以及检修方式，以期进一步降低广播电视网络系统的故障发生概率，希望能够给读者带来启发。

简介：利用由均匀概率空间的无穷乘积所定义的Gn和∏n中公式的真度概念，给出了公式间相似度的一种新定义，讨论了该相似度与文献[2]、[6]定义的相似度的大小关系及逻辑系统Gn和∏n中公式间的三种相似度的性质。最后讨论了由其中的一种相似度导出的这两个系统中全体公式集上的一种伪距离的重要性质。

简介：揭示了卢卡西维茨创造三值逻辑的基本原则：严格遵循二值逻辑命题联结词的函数定义;以此为前提,澄清了两个误区：a、当｜p｜=1/2时,｜（＊p）｜=1/2是遵循这一基本原则进行运算的结果,没有任何其他原因;b、当｜p｜=1/2,｜q｜=1/2时,｜p→q｜=1/2也是遵循同样的原则进行运算的必然结果,没有任何其他目的,即不是为了捍卫同一律而人为规定的.

简介：人的心智与心身这样两个向度是同步融入生活世界的,所以模态语境认知与心灵理解是一种动态语境观.如同人是“类”本质一样,世上并没有脱离身心的孤零零的心智,也没有脱离种群与社群意义上孤零零的人.有人形容说,基本的心身活动就像戏剧演出（心智活动）的舞台,它的存在有时看似与剧情无关,但却承载与制约着全部演出.在此意义上,心身为心智主题域奠基.哲学逻辑的模态语境认知与心灵理解,既是从人的“知情欲”所产生的心智、心身这样两个向度来分析主体在模态语境下的认知,又在此基础上探究人的智识与情欲的相互渗透进而影响人的认知走向,以及心灵理解与目标认知等问题.

简介：逻辑信息系统采用一致的方法并利用逻辑程序对信息进行刻画、查询,最后借助信息进行导航、分析和更新。逻辑在逻辑信息系统中,尤其在数据库模型中发挥着重要的作用。为此给出了逻辑信息系统的规则以及建立在系统基础上的程序。在逻辑程序中,通过对逻辑的内涵概念和外延概念的解释,可以对不同的逻辑程序进行优劣的比较,从而为选择最佳的逻辑程序提供标准。

简介：针对工程中需要从火箭结构系统的整体模态中识别纵向模态,根据模态有效质量理论,提出了一种识别火箭结构系统纵向模态的自动辨识方法.以具有集中质量系统的振动特性作为算例,通过有限元软件,建立了具有集中质量系统的梁模型,利用自动辨识的方法,自动辨识出系统的纵向模态,并与应用模态分析法所计算的系统模态信息相比较,这种自动辨识方法不仅能准确的辨识出振动系统的纵向模态,而且还具有自动高效的识别特点.为准确快速建立液体火箭POGO振动系统的动力学模型等工程系统的模型提供理论依据.

简介：标题中的“小品”指一种多模态的幻灯片文本，一般网络文化研究者称之为“超文本”。但“小品”只是多模态超文本中的一种，在网络上很常见，很受欢迎。本文试图用语言符号学分析这种“小品”的特点，并在Halliday的社会符号学框架内予以进一步的探究。

简介：针对含间隙的两自由度弹簧-质量分段振动系统的非线性模态开展了研究.首先,解析确定了分段保守自治系统发生同相和反相模态运动的初始位移,并采用加权平均方法确定了分段振动系统的模态频率,及其在位形空间模态曲线.然后,采用数值方法求解了系统的非线性模态曲线和模态频率,与本文获得的解析模态频率比较,说明本文的结果较等效模态频率有更好的精度.研究结果表明：在一定的参数条件下,系统的非线性模态个数会高于系统的自由度数目,系统可能发生内共振,而产生多余模态.多余模态运动是两振子同向振动中含有异向振动,说明多余模态是在同相模态运动和反相模态运动之间转换的模态.