本文關鍵詞：論邏輯系統(tǒng)的波斯特完全性

  更多相關文章： 波斯特完全性 古典命題邏輯 直覺主義邏輯 模態(tài)邏輯

【摘要】：波斯特完全性是一種句法意義上的完全性概念,它區(qū)別于語義完全性。如果一個邏輯系統(tǒng)是一致的并且增加任何在該系統(tǒng)中不可證的公式就得到不一致邏輯系統(tǒng),那么該邏輯系統(tǒng)是波斯特完全的,即波斯特完全的邏輯系統(tǒng)是沒有一致真擴張的一致邏輯系統(tǒng)。古典命題邏輯是波斯特完全的,直覺主義邏輯不是波斯特完全的,但它只有古典命題邏輯作為唯一的波斯特完全的擴張。模態(tài)邏輯中波斯特完全性比較復雜,而且還有一種廣義的波斯特完全性概念。其它邏輯系統(tǒng)的波斯特完全性有待進一步探索。
【作者單位】： 西南大學邏輯與智能研究中心;
【關鍵詞】： 波斯特完全性 古典命題邏輯 直覺主義邏輯 模態(tài)邏輯
【基金】：教育部人文社會科學研究青年項目“模態(tài)完全性理論的句法研究”(批準號12YJC72040001)研究成果
【分類號】：B81
【正文快照】： 現(xiàn)代邏輯誕生于弗雷格1879年發(fā)表的《概念文字:一種模仿算數(shù)的公式語言構(gòu)造的純思維的公式語言》〔1〕。在現(xiàn)代邏輯后來的發(fā)展中,句法和語義的區(qū)分越來越明確。形式系統(tǒng)或形式語言是句法方面的主要內(nèi)容,它包括初始符號、通過純句法規(guī)則形成的句子、公理以及允許句子轉(zhuǎn)換的推，

本文編號：516045