【摘要】："空詞項(xiàng)"在語形、語義兩方面都給模態(tài)謂詞邏輯帶來了難以克服的困難。于是,產(chǎn)生了旨在克服"空詞項(xiàng)"的模態(tài)謂詞邏輯,即自由模態(tài)邏輯。自由模態(tài)邏輯由于其復(fù)雜性,若用公理系統(tǒng)加以刻畫,難以展現(xiàn)其全貌。相對于純對象語言的公理系統(tǒng)而言,表列系統(tǒng)同時涵蓋對象語言和元語言,并且其完全性定理的證明更為簡潔。因而,表列系統(tǒng)用來刻畫自由模態(tài)邏輯更具優(yōu)勢。
[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.
【作者單位】： 華南師范大學(xué)政治與行政學(xué)院;貴州師范大學(xué)馬克思主義學(xué)院;
【基金】：國家社會科學(xué)基金項(xiàng)目“自由邏輯及其相關(guān)哲學(xué)問題研究”(13BZX068)的研究成果
【分類號】：B815.1

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 周禎祥;;現(xiàn)代模態(tài)邏輯的多元視野[J];華南師范大學(xué)學(xué)報(社會科學(xué)版);2006年05期

2 郝一江;張曉君;;動態(tài)邏輯:關(guān)于程序的模態(tài)邏輯[J];哲學(xué)動態(tài);2009年11期

3 宋偉;;《模態(tài)邏輯指南》中的若干錯誤[J];畢節(jié)學(xué)院學(xué)報;2010年03期

4 朱建平;;布爾和賽格貝格論模態(tài)邏輯的三大傳統(tǒng)[J];山東理工大學(xué)學(xué)報(社會科學(xué)版);2010年04期

5 張曉君;;論模態(tài)邏輯中的嵌入問題[J];西南大學(xué)學(xué)報(社會科學(xué)版);2011年01期

6 李娜;王湘云;;共代數(shù)模態(tài)邏輯研究述評[J];哲學(xué)動態(tài);2011年01期

7 劉新文;;現(xiàn)代模態(tài)邏輯探源[J];哲學(xué)動態(tài);2011年05期

8 裘江杰;;模態(tài)邏輯典范框架幾個側(cè)面[J];重慶理工大學(xué)學(xué)報(社會科學(xué)版);2013年09期

9 董英東;;組合模態(tài)邏輯[J];畢節(jié)學(xué)院學(xué)報;2013年08期

10 周北海;模態(tài)邏輯與哲學(xué)[J];北京航空航天大學(xué)學(xué)報(社會科學(xué)版);2000年03期

相關(guān)會議論文 前10條

1 孫衛(wèi)民;;模態(tài)邏輯中幾個概念的發(fā)展[A];1994年邏輯研究專輯[C];1994年

2 何庸;;《廣義模態(tài)邏輯》值得細(xì)讀[A];1995年邏輯研究專輯[C];1995年

3 馮棉;;模態(tài)邏輯研究中的若干問題[A];1993年邏輯研究專輯[C];1993年

4 孫希文;;模態(tài)邏輯模型的嵌入定理[A];1994年邏輯研究專輯[C];1994年

5 李娜;;認(rèn)識論模態(tài)邏輯E-系統(tǒng)的布爾值模型[A];邏輯、語言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

6 楚白;;有窮深度的模態(tài)邏輯[A];2005年邏輯研究專輯[C];2005年

7 王陽;;模態(tài)邏輯·形式語義·文本符號[A];2003年邏輯研究專輯[C];2003年

8 劉邦凡;;一個知識表示的廣義模態(tài)邏輯方案[A];2007年全國現(xiàn)代邏輯學(xué)術(shù)研討會論文集[C];2007年

9 劉邦凡;何向東;;一個“知識”定義的邏輯解釋[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

10 馬明輝;;雙模擬與模態(tài)詞的不可定義性[A];2007年現(xiàn)代邏輯與邏輯史研討會論文集[C];2007年

相關(guān)博士學(xué)位論文 前3條

1 史t，

本文編號：2139235