自由模态逻辑及其表列系统

发布时间：2018-07-23 11:17

【摘要】："空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。
[Abstract]:"empty word item" brings insurmountable difficulties to modal predicate logic in terms of form and semantics. Thus, modal predicate logic, i.e. free modal logic, is produced to overcome the empty term. Because of its complexity, it is difficult to describe the free modal logic by axiomatic system. Compared with the axiom system of pure object language, the tabular system covers both object language and meta language, and the proof of its completeness theorem is more concise. Therefore, it is more advantageous for tabular systems to describe free modal logic.
【作者单位】： 华南师范大学政治与行政学院;贵州师范大学马克思主义学院;
【基金】：国家社会科学基金项目“自由逻辑及其相关哲学问题研究”(13BZX068)的研究成果
【分类号】：B815.1

【相似文献】

相关期刊论文 前10条

1 周祯祥;;现代模态逻辑的多元视野[J];华南师范大学学报(社会科学版);2006年05期

2 郝一江;张晓君;;动态逻辑:关于程序的模态逻辑[J];哲学动态;2009年11期

3 宋伟;;《模态逻辑指南》中的若干错误[J];毕节学院学报;2010年03期

4 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

5 张晓君;;论模态逻辑中的嵌入问题[J];西南大学学报(社会科学版);2011年01期

6 李娜;王湘云;;共代数模态逻辑研究述评[J];哲学动态;2011年01期

7 刘新文;;现代模态逻辑探源[J];哲学动态;2011年05期

8 裘江杰;;模态逻辑典范框架几个侧面[J];重庆理工大学学报(社会科学版);2013年09期

9 董英东;;组合模态逻辑[J];毕节学院学报;2013年08期

10 周北海;模态逻辑与哲学[J];北京航空航天大学学报(社会科学版);2000年03期

相关会议论文 前10条

1 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

2 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

3 冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

4 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

6 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

7 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

8 刘邦凡;;一个知识表示的广义模态逻辑方案[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

9 刘邦凡;何向东;;一个“知识”定义的逻辑解释[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

10 马明辉;;双模拟与模态词的不可定义性[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

相关博士学位论文 前3条

1 史t，

本文编号：2139235