摘 要：模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中，美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注入了更多的形式化的内容，如建立模态系统K、T、D、B、S4、S5。使得模态逻辑的内容更加丰富。介于模态逻辑的理论体系过于庞大，本篇论文仅仅对一些基础知识进行浅谈。
关键词：模态命题逻辑；模态词；模态系统
一、引言
模态逻辑作为一门重要的学科包括了道义逻辑和时态逻辑(或时间逻辑)可以处理许多用命题逻辑无法解决的难题。且在我们生活、学习和工作中都发挥着或大或小的作用，尤其是在人工智能与计算机领域中。
二、命题逻辑
命题逻辑①是研究以命题为最小单位的命题形式。我们普遍认为，命题逻辑是模态命题逻辑的基础，所以探究模态命题逻辑之前，我们首先要了解命题逻辑的形式系统。
(一)命题逻辑的形式系统p
形式系统p的定义如下：
1.初始符号
命题变元：p1,p2,…
连接词符号：，→
假设α是公式，那么α也是公式；
普通符号：(，)
2.形成规则
对所有命题变元p是原子命题，那么p是公式；
2)智能矿井建设的关键技术之一是各生产子系统之间的协同控制，而大数据集成分析平台可以为智能开采提供超前的预警信息，将为智能开采系统的稳定可靠运行提供保障。
假设α，β是公式，那么α→β也是公式。
3.公理
1(Α→(Β→Α))
2((Α→(Β→C))→((Α→Β)→(Α→C))
3((B→A)→(A→B))
假设α是公式，那么□α也是公式。
三、模态命题逻辑
模态命题逻辑中的“模态”通常是指事物或认识的必然性和可能性等这一类的性质②。所以引入了“必然”和“可能”这两个概念，在一般情况下，通常把“必然性”和“可能性”称为模态词，符号表示为“□”和“◇”。除了单个的模态词，还有可能出现“□◇□□”或“□□”这类多个模态词在一起，而这种由单个模态词叠加在一起的情况又称为叠置模态词③。
● 明天有比赛。P
(一)模态算子
通常我们将连接词称为算子，比如一元算子：，□，◇。二元算子：∨，→。不同的语言可以用不同模态算子用形式化来表达，例如，
● 明天会下雨。p
● 必然明天会下雨。□p
● 可能明天会下雨。◇p
(二)模态命题逻辑的形式系统PM
形式系统PM的定义如下：
1.初始符号
命题变元：p1，p2，…
连接词符号：，→
普通符号：(，)
模态词：□
在命题逻辑中，我们研究的主要是语形和语义。语形主要是指形式化系统之类的，如前面所说到的命题逻辑系统或者将一句话通过符号形式化表达。而语义主要是通过赋值研究命题的真假。模态命题逻辑也是如此，但是因为模态命题逻辑引入了模态词，相对于命题逻辑新增了很多不同的表达，所以莱布尼茨提出了“可能世界⑤”这一概念希望能解决这些新出现的问题。
美国国立卫生研究院为加强绩效管理，要求项目提交年度进展报告和结题绩效报告，在此基础上，美国国立卫生研究院形成其年度绩效报告。
对所有命题变元p是原子命题，那么p是公式；
定理□p↔◇p、RK□规则：如果α↔β，那么可以推出□α↔□β与RK◇规则：如果α↔β，那么可以推出◇α↔◇β。这样我们在进行运算时可以将必然算子与可能算子进行任意的转换。而K作为最小的正规系统，所以以上定理和规则在之后的正规系统中都是可以运用的。
假设α是公式，那么α也是公式；
假设α，β是公式，那么α→β也是公式；
从直观上来说，命题逻辑的形式系统为后来模态命题逻辑的形式系统的建立奠定了基础。
大型综合建筑机电安装工程施工的过程中，管线布置是极为关键的一个问题。综合管线平衡技术对于机电工程施工质量的保证、建筑功能的有效发挥具有重要的意义，加之BIM技术的应用，综合管线平衡技术必将在建筑工程的建设、使用、管理中获得更广泛的应用，取得更深层次的发展。
3.引入符号
D◇：◇A=_df□(□)A；
D：(AB)=_df□(A→B)；
D=：(A=B)=_df(AB)∧(BA)。
模态命题逻辑在命题逻辑的基础上增加了符号的引入，可以解决一些命题逻辑无法解决的事情。
(三)模态命题系统K、D、T、B与S4、S5
1.正规系统K
K系统是模态命题逻辑中最小的形式系统，K被视为命题逻辑的扩张系统。所以我们在讨论K系统时，同样要以前面提到的命题逻辑的系统为基础来认识了解。
K系统通过扩张形成的最终系统为K=P+K+N。P是命题逻辑的形式系统，包括初始符号，公理和一些导出规则。Κ是K系统中新增加的一条公理：□(p→q)→(□p→□q)。因为相对于命题逻辑引入了模态词，所以K系统还加入了必然化规则：如果有α，那么可以有□α。除此以外，我还选取了几个较为重要的定理和推理规则。
2018年11月28日，据媒体报道，英美资源集团根据其LosBronces和Collahuasi矿山的扩建计划，将今年智利业务的铜产量指引从先前预期的63万 t增加至66万 t。
2.正规系统D和T
对钢轨的化学成分而言， 碱性的转炉钢比平炉钢更能引起钢轨的波磨。碱性的转炉钢很容易就能引起钢轨的磨耗；而锰含量较高、碳含量较低的碱性转炉钢和锰含量一般的平炉钢钢轨的磨耗程度中等；含锰量很高的平炉钢钢轨的磨耗程度最轻。
李兰芬刚嫁到张家时，张全文一贫如洗。“分家分到了一只桶、一个锅、一根扁担，然后就没有了。”家徒四壁，加上两个能吃能闹的儿子，奋斗就靠夫妻的两双手，难免会有不满、疲惫的时候。但在张伦的印象中，母亲一直是很隐忍的人，从小到大，和父亲几乎都没有吵过架。
● 可能明天有比赛。□p
● 一定明天有比赛。◇p
从上面三个举例的语句意思通过常识进行分析，“可能明天有比赛”意味着明天比赛或者不比赛的概率各占一半；“一定明天有比赛”无条件明天百分百要比赛。借用概率来分析，必然可能与普通命题的强弱如下：□p>p>◇p。而这个种强弱关系也恰好对应了正规系统D和T的两个新增公理。
由“读若”线索可得出“介”通过音同借了“丯”草的意义，并由此引申出“微小”的意义。但是解释假借单凭声音关系是不够的，还要结合字形来分析。
两个系统都以K为基础系统，在K的基础上又分别加入了公理D：□p→◇p和公理T：□p→p。由强弱关系可以知道，□p是最强的。所以在有了必然为前提之后，可以推出◇p或者p。
值得一提的是，道义逻辑使用D系统进行正式的研究与解释。
3.正规系统S4和S5
虽然在前面的T系统已经是扩张的“最大”系统，但是就T系统而言仍然无法解决叠置模态词这一问题。而系统S4和S5建立可以解决关于叠置模态词这个难题。
S4系统是在K和T的基础上增加了公式4：□p→□□□p。S_5系统样是在K和T的基础上增加了公式E：◇p→□◇p。所以S4与S5都是K、T的扩张。
4.正规系统B
B系统是在T的基础上又加入了新公理B：p→□◇p，即B=KTB。从扩张系统来看，B系统和S4都是T系统的扩张系统，所以这两个系统是平行关系，不存在相互之间的扩张关系。
我们只重点讨论了上面六种正规系统④。但是模态系统中却有很多作用不同的系统。就探讨的这六个正规系统，通过图形来了解这它们之间的关系：
四、可能世界语义
2.形成规则
(一)模型的构建
在莱布尼茨可能世界里，可以有这样几种解释：
命题α任何的可能世界中是必然的，当且仅当，命题α在所有的可能世界里都为真。用符号形式化之后可以表达成：
抓住机遇，加快发展。天脊集团与珍宝石油公司在首届中国国际进口博览会成功“牵手”，合作实施苯胺加工贸易项目，不仅实现了强强联合、互利双赢、共同发展，更重要的是对天脊集团创新合作模式、扩大天脊品牌、开拓国际市场具有重要现实意义。
V(□α，w)=1⟺任w′∈W，V(α，w′)=1。
H4a：非财务困境企业，政府补助对机构投资者具有信号效应；财务困境企业，政府补助与机构投资者投资负相关。
进一步可以表达成：V(□α，w)=1⟺任w′，若Rww′，则V(α，w′)=1。
莱布尼茨通过引入一个关系R，将可能世界w与另一个可能世界w′产生一种联系，而这个关系就是可通达关系。在整个可能世界W中，有许多小的w′,w″,…wn，我们也可以将它看成是集合的关系，即集合W。这样，在对一个模态形式解释的前提就必须有三个基本前提：第一，可能世界W。第二，可通达关系R和第三，赋值V。其中<W，R>是框架，也是基础构造.在加入赋值V后就构成了一个完整的解释<W，R，V>，称它为模型。
沥青混凝土中矿粉主要起到凝固的作用，在沥青中可以添加一定量的矿粉增加沥青混合物的黏聚力，但是应该保证投入量在适宜的范围内，过多或者过少都会对沥青的实用效果造成影响。
SNCR工艺系统（图1）包括还原剂制备储存系统、还原剂计量稀释系统、还原剂分配系统和还原剂喷射系统。还原剂计量稀释系统包括稀释水系统和计量系统。
广义的思想政治教育还包括道德教育，有学者也从道德接受的视角进行了具体的研究：张琼、马尽举的《道德接受论》(1995)、刘云章的《德育接受学》(2004)、李卫英的《德育的接受性研究》(2007)等。
假设w∈W，w′∈W，w″∈W，……，wn∈W过图形来进行描述：
由上图可知，在可能世界W中的w中，令□(□α的赋值为真)，即V(□α)=1，R关系是w可通达w′，那么在w′中，α的赋值也为真，即V(α)=1。
我们在上面只讨论了关于必然算子□在可能世界中的模型。在可能世界中，令可能算子◇α赋值为真，即V(◇α)=1，R关系同样是w可通达w′，但是在w′中只存在一个α赋值为真，即V(α)=1。通过简图来描述：
五、小结
总而言之，模态命题逻辑的发展离不开命题逻辑，而模态命题逻辑可以解决问题的范围远远大于命题逻辑。模态命题逻辑虽然有很多形式系统，但正规系统只有六个，而正规系统K是所有其它正规系统中包容性最大的，因此K系统才和命题逻辑作为基础让其它的系统得到扩张。本文在前人现有基础上加入自己的理解对模态命题逻辑进行描述与讨论。
[ 注 释 ]
①命题逻辑：单个或多个原子命题通过一元连接词或二元连接词组合而成.
②“这类性质”：除了可能性和必然性还有其它的性质(叠纸模态词)，如不可能性，偶然性必然的可能性等.
③叠置模态词：一般在S4、S5系统中出现.
④正规系统：对K系统进行扩张的系统.
⑤可能世界：莱布尼茨为更好对模态逻辑进行语义分析而创造.
鉴于此，以京津冀城市群为载体，以土地综合承载力为基础，扩大生态环境容量，不断调整优化区域经济发展结构和空间结构，确保区域经济健康增长，推进京津冀城市群土地综合承载力约束下区域经济发展的持续增效策略，促进京津冀城市群土地综合承载力与区域经济发展由良好协调向优质协调发展转变。
[ 参 考 文 献 ]
[1]姚从军.模态命题逻辑系统K、D、T、S4、S5、B之比较[J].毕节学院学报，2009(04).
[2]周北海.模态逻辑导论[M].北京大学出版社，1997.
[3]张清宇，郭世铭，李小五.哲学逻辑研究[M].社会科学文献出版社，1997.
中图分类号：B815
文献标识码：A
文章编号：1006-0049-(2019)16-0077-02
*作者简介：谢倩(1994-)，女，湖南岳阳人，硕士，中央财经大学文化与传媒学院逻辑教研室，主要研究方向：逻辑学发展史。
标签：命题论文; 逻辑论文; 系统论文; 模态论文; 公式论文; 哲学论文; 宗教论文; 逻辑学(论理学)论文; 哲理逻辑(非经典逻辑)论文; 《山西青年》2019年第16期论文; 中央财经大学文化与传媒学院论文;