相關詞條
-
可能世界與智慧
，特別是詳細介紹了真勢模態的可能世界語義學理論、命題種類及推理有效式；同時...內容介紹模態邏輯是邏輯學中的一個重要分支學科，是一種特殊的邏輯智慧。本書介紹了模態邏輯發展的概況以及傳統模態邏輯的基本內容，區分了客觀模態...
內容介紹 -
德·摩根定律
可能性和必然性的真勢模態的套用中，亞里士多德注意到該情況，以及在正規模態邏輯...勢模態的套用中，亞里士多德注意到該情況，以及在正規模態邏輯的情況中，這些...性可進一步延伸到模態邏輯中的方塊和菱形算符： 德·摩根定律 , 德·摩根...
定理定義 定理推廣 推導過程 實驗驗證 發展簡史 -
認識邏輯
, Kb, etc.)來指示談論的是哪個代理者。特徵認識邏輯與真勢模態邏輯... /math ,陳述某知識為“已知”是真，這好像同樣是正確的。在另一方面，很多在真勢模態邏輯中似是而非的公式在按知識來解釋的時候就更加可疑...
名稱 特徵 -
邏輯
都可以捕獲於這個框架中，比如項邏輯、謂詞邏輯和模態邏輯，形式系統是數理邏輯...是演繹有效的，若且唯若沒有所有前提為真而結論為假的可能情況。演繹有效性的概念...
基本信息 基本解釋 概述 從形式邏輯到對稱邏輯 -
可能世界
: 在模態邏輯中，“可能的”稱述被稱為在“至少一個”可能世界中為真；而“必然...真勢模態之外的模態，並且Kripke語義不假定模態現實主義，它或許是可能...理解；所以:真命題是“在實際世界中為真”的命題(例如:“尼克森在1969年...
內容介紹 形式語義 哲學工具 -
當代邏輯哲學前沿問題研究
國家哲學社會科學成果文庫)等。圖書目錄導言第一章可能世界語義學及真勢模態邏輯的哲學研究第一節真勢模態及可能世界語義學概覽第二節現代模態邏輯哲學研究的歷史進展及其作用第三節可能世界理論的哲學研究第二章...
基本介紹 圖書目錄 -
邏輯架構
* 模態邏輯·真勢模態邏輯·認識邏輯...給出這些圖解的聯合情況;最後判明在各個聯合情況下,結論是否為真。例如...，在iα～iiβ4種情況下SAP都真,因此Barbara是有效的。文恩圖解...
* 經典邏輯 -
經典邏輯
Frege 的概念文字。Clarence Irving Lewis 的真勢模態邏輯的系統 S1-S5。非經典邏輯直覺邏輯拒絕排中律和 De...整和並擴展了經典、線性和直覺邏輯;模態邏輯向經典邏輯擴展了非真值泛函...
-
德摩根定理
在其用於可能性和必然性的真勢模態的套用中，亞里士多德注意到該情況，以及在正規模態邏輯的情況中，這些模態算符對量化的關係可藉助按關係語義設定模型... 從而，量詞的二元性可進一步延伸到模態邏輯中的方塊和菱形算符...
德摩根定理的表達形式 檢驗模型中量詞的二元性 德摩根定理的證明 -
德摩根律
在其用於可能性和必然性的真勢模態的套用中，亞里士多德注意到該情況，以及在正規模態邏輯的情況中，這些模態算符對量化的關係可藉助按關係語義設定...。 從而，量詞的二元性可進一步延伸到模態邏輯中的方塊和菱形算符...
文字表述 發展歷程與表達形式
