本文關鍵詞：模態(tài)邏輯的歷史發(fā)展與哲學問題探究

  更多相關文章： 模態(tài)邏輯 可能世界 模態(tài)哲學 狹義函數(shù)相對論

【摘要】：在邏輯學中，模態(tài)邏輯是一門重要的學科，主要是對偶然、可能、必然等相關概念的探討和研究。 亞里士多德是第一個對邏輯思想中的必然性、可能性、偶然性、模態(tài)命題、必然命題與可能命題之間的關系、模態(tài)三段論等模態(tài)問題思考的哲學家。麥加拉、斯多亞學派在繼承亞里士多德的思想的基礎上，對模態(tài)概念做了進一步的思考和探討，對“必然與可能”、“條件語句”提出了更加深刻的認識。 中世紀的模態(tài)邏輯思想，學界一致認為主要有兩部分，一部分是阿拉伯時期的模態(tài)邏輯，，提出了具有時間性質的模態(tài)謂詞邏輯；另一部分是經(jīng)院時期的模態(tài)邏輯，提出了關于推導和模態(tài)三段論的理論。萊布尼茨是一個偉大的邏輯學家，對矛盾律和充足理由律，可能世界與現(xiàn)實世界，必然真理與事實真理，可能性、必然性與偶然性等有著更加深刻的認識。弗雷格把數(shù)學里面的函數(shù)概念和方法引進邏輯學和哲學，對約束變元和量詞等做了定義，初步建立了第一個謂詞演算公理化系統(tǒng)。 在模態(tài)邏輯真正進入正規(guī)發(fā)展時，形成了三個比較明顯的階段：語形時期、經(jīng)典時期、和現(xiàn)代時期。只注重語形是語形時期比較顯著的特征。關系語義的研究是經(jīng)典時期的顯著特征，關系語義指的是有效性，可滿足性，模型和框架等概念，以及將程式安排到可能世界中�，F(xiàn)代時期主要關注：研究出了框架不完全結論和模態(tài)語言在理論計算機科學中的科學應用。 在模態(tài)邏輯的發(fā)展方面，模態(tài)邏輯逐漸向廣義模態(tài)邏輯推廣，模態(tài)邏輯不斷的細分和衍生。在模態(tài)邏輯的哲學問題上，主要是可能世界的本體論問題，同一性問題和存在在抽象實體中的問題本質主義等。最后，我們團隊對模態(tài)邏輯與經(jīng)典邏輯的關系做了進一步的研究，萬小龍老師提出了狹義函數(shù)相對論，并對相關邏輯學問題提出了自己的初步看法。
【學位授予單位】：華中科技大學
【學位級別】：碩士
【學位授予年份】：2014
【分類號】：B815.1

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

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

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

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

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

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

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

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

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

9 王鳳琴;《模態(tài)邏輯》簡介[J];國外社會科學;1982年09期

10 鄭文輝,梁慶寅;談談模態(tài)邏輯[J];現(xiàn)代哲學;1986年01期

中國重要會議論文全文數(shù)據(jù)庫 前10條

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

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

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

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

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

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

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

8 裘江杰;;一類認知詞模態(tài)邏輯Ⅰ:基礎邏輯[A];2007年全國現(xiàn)代邏輯學術研討會論文集[C];2007年

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

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

中國博士學位論文全文數(shù)據(jù)庫 前3條

1 史t

本文編號：1264796