可能世界語義（possible world semantics）是2018年公布的計算機科學技術名詞。
基本介紹
- 中文名：可能世界語義
- 外文名：possible world semantics
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
利用“可能世界”的思想去定義邏輯上可能性、必然性和偶然性的一種語義。
出處
《計算機科學技術名詞 》第三版。
可能世界語義
相關詞條
- 可能世界語義
可能世界語義 可能世界語義（possible world semantics）是2018年公布的計算機科學技術名詞。定義 利用“可能世界”的思想去定義邏輯上可能性、必然性和偶然性的一種語義。出處 《計算機科學技術名詞 》第三版。
- 可能世界
從可能世界語義推導出來的系統性的理論在 1950 年代由 Saul Kripke 和他的同事首次介入。以類似於我們前面提議的方式處置事物，可能世界被用來為關於可能性和必然性的斷言提供語義: 在模態邏輯中，“可能的”稱述被稱為在“至少一個”可能世界中為真；而“必然的”陳述被稱為在“所有的”可能世界中都為真，“真”...
- 可能世界理論
《可能世界理論》是2003年7月1日北京大學出版社出版的圖書，作者是弓肇祥。該書比較全面地陳述當代邏輯語義重要領域。內容簡介 可能世界語義理論的諸方面：它的基本思想、形式模型、各種複本（包括境況語義學）和相關的命題態度語義學；考察了對可能世界的種種哲學理解；嘗試地把該理論運用於人類精神活動幾個主要方面：...
- 關係語義
Kripke 語義（也叫做關係語義或框架語義，並經常混淆於可能世界語義）是模態邏輯系統的形式語義，於 1950 年代晚期和 1960 年代早期由 Saul Kripke 建立。它後來為另一個非經典邏輯，最重要的直覺邏輯所接受。Kripke 語義的發現是非經典邏輯開發中重大突破，因為這種邏輯的模型論在 Kripke 之前實際上是不存在的。模態...
- 正規世界
正規世界（normal world）模態邏輯用語。在模態邏輯的可能世界語義模型中，如果一個世界w，滿足白返性的要求，即有wiRw1成立，那么稱wi為一個正規世界。在正規模態命題邏輯系統T、S4、B和Ss的可能世界語義模型中，每一個世界都是正規世界。非正規世界是模態邏輯用語。在模態邏輯的可能世界語義模型中，以下兩種世界稱...
- 語義類型
分別用（e），（t）表示。e表示實體，是名稱的外延。t表示真值，是語句的外延。名稱的內涵是個體概念，即從可能世界到實體的函項，用內涵類型（s，e）表示：語句的內涵是命題，即從可能世界到真值的函項。用內涵類型（s，t）表示。根據相應的構成規則，可以構造導出的語義類型。
- 隱喻的邏輯:可能世界之可類比部分
為解決隱喻的邏輯問題，作者深入研究隱喻語言的句法結構、概念結構、可能世界語義學，以語義角色的介入改造傳統謂詞演算，建構NETMET計算程式。在探討隱喻所基於的類比邏輯之後研究類比等值，並透過類比等值，研究隱喻的生成、解釋、蘊含複合體（implication complex）、溯因推理、隱喻的證實條件、隱喻的辭彙意義和語義公設等...
- 可能世界與智慧
《可能世界與智慧》作者是王震宇，在2005年出版。內容介紹 模態邏輯是邏輯學中的一個重要分支學科，是一種特殊的邏輯智慧。本書介紹了模態邏輯發展的概況以及傳統模態邏輯的基本內容，區分了客觀模態與主觀模態、邏輯模態與非邏輯模態、從物模態與從言模態、狹義模態與廣義模態，特別是詳細介紹了真勢模態的可能世界語義學...
- 可能世界理論與文學理論
二、18世紀：可能世界理論與轉向理論建構 三、18—19世紀：從“創造論”到“為藝術而藝術”四、20—21世紀：文學自治性與可能世界詩學的重新崛起 第六章 邏輯學、哲學視野中的可能世界理論 一、模態邏輯與可能世界 二、克里普克、大衛·劉易斯與可能世界語義學 三、作為邏輯哲學的“可能世界”概念的定義問題 四、...
- 意義、真理與可能世界
《意義、真理與可能世界》是2014年10月出版的圖書，作者是劉葉濤。內容簡介 本書就一階邏輯產生到現代模態邏輯的可能世界語義學產生前後，現當代西方邏輯和語言哲學界在名稱意義理論研究，以及由名稱意義問題所引發或派生的真理理論研究上所發生的重大革新性變化及其根由進行了系統闡發，圍繞此過程中發生的重要學術爭議...
- 可能世界視域下的名稱和同一性理論研究
二、 然性的語義解釋 三節 然性：克里普克的理論核心 一、命名與 然性的內在聯繫 二、同一性與 然性 三、形上學的 然性 五章 嚴格指示詞理論 一節 名稱是嚴格指示詞 一、克里普克的名稱是嚴格指示詞的觀點 二、薩蒙對嚴格性的討論 二節 名稱是嚴格指示詞是克里普克理論的先驗前提...
- 違實條件句:哲學闡釋及語義解讀
第二節 可能世界語義理論與索貝爾語序 第三節 索貝爾逆序現象 第四節 斷言原則與索貝爾逆序現象 第五節 結語 參考文獻 第七章 回溯型違實條件句 第一節 引言 第二節 Lewis的觀點 第三節 回溯型違實條件句的分類 第四節 改變過去：方式與可能性 一 改變過去：無須特殊句法的直接方式 二 特殊句法改變過去．三...
- 可能世界的名字
第一章 可能世界的名字 一 模態邏輯背景 二 混合邏輯的理論意義 三 混合邏輯簡史 第二章 基本模態邏輯與時態邏輯 一 語言與邏輯 二 關係語義學 三 正規模態邏輯的公理系統 四 普通模態語言的表達能力 第三章 基本混合邏輯 一 基本混合語言 二 混合語言 三 混合邏輯 四 KH@和KH 第四章 一般完全性結果 第五...
- 西方語言學與套用語言學視野:語義學
《語義學》導讀 英文目錄 致謝 第一版前言 第二版前言 第一章導言 1.1語義學與語用學 1.2意義的種類 1.2.1指謂與涵義 1.2.2辭彙義與結構義 1.2.3實詞與虛詞 1.3意義的真值條件理論 1.3.1各種指謂 1.3.2可能世界、外延與內涵 1.3.3真值條件 1.3.4陳述語句之間的涉真關係 1.4隱涵 1.4....
- 思維的利劍——批判性思維讓我們看清自己看清世界
謂詞邏輯的基本符號201 帶有一元謂詞的句子的翻譯206 帶有關係謂詞的句子的翻譯210 帶有等號的句子的翻譯212 模態邏輯與可能世界語義學214 章末小結216 第十四章最後再說幾句心裡話219 如果你沒讀懂，那很可能是我沒寫清楚220 學習之路沒有任何捷徑可走222 如何更好地學習225 思想是一種傳染病231 行勝於言232 ...
- 漢語指稱問題的語義-語用界面研究
《漢語指稱問題的語義-語用界面研究》是2015年科學出版社出版的圖書，作者是李虹。內容簡介 指稱是指語言中的表達式與語言外部世界（包括現實世界和可能世界）中的事物之間的關係。指稱問題是現代哲學家、邏輯學家和語言學家所共同關心的問題，長期以來引起了眾多研究者的興趣。本書在以往單純從語用/功能角度對漢語指稱...
- 可通達關係
可通達關係是現代模態邏輯的可能世界語義學中兩個可能世界之間的一種關係。通常用符號R表示，它是可能世界集合W上的某種二元關係。對於不同的模態系統，相應的語義模型中的R有所不同。例如，T模型中的R是自返的，S4模型中的R是自返且傳遞的，Ss模型中的R則是自返、傳遞且對稱的。從直觀上看，對可通達關係R...
- 現代西方哲學(哲學分支)
所以，他們或者懷疑語義學的可能性；或者不陳述自己的語義學理論。背離弗雷格傳統的第一步，是由語言作為普遍媒介的觀點，轉變到語言作為演算的觀點。在這種轉變的基礎上，邏輯語義學（見模型論）獲得了緩慢的發展。背離弗雷格模式的另一步，是由可能世界語義學完成的。在可能世界語義學中，個體不僅在現實世界中出現,...
- 隱喻的邏輯
作者在吸收前人研究成果的基礎上，提出了“隱喻結構理論”（STM），將可能世界語義學加以擴展用以處理隱喻話語，著重強調現代邏輯技術在隱喻含義分析中的作用。本書突破了傳統隱喻研究的局限。採用形式化和非形式化相結合的方法，從語言、概念結構、類比等基本問題出發，全面系統地分析了類比遷移、隱喻性交際、真值條件、...
- 模態與本質
《模態與本質》一書由張力鋒 所著，中國社會科學出版社出版發行。內容簡介 探究當代模態邏輯獲得成熟發展背後的本質主義復興系列問題，闡述模態背景下專名、自然種類詞與本質主義的內在邏輯關係，討論可能世界語義學基本概念"可能世界"的本體論地位及與之關聯的翻版本質主義問題，提議、論證一個秉承亞里士多德主義傳統、...
- 分析語句
分析語句是語言邏輯用語。與“綜合語句”相對。真實性評定只依賴於其自身語義結構的語句。如“單身漢是未婚的”為真，“單身漢是已婚的”為假，我們並不需要藉助其他具體經驗知識，而儀憑對語句語義的把握就可以評定的。分析地真或分析地假的語句都是分析語句。從可能世界語義學的觀點看，分析地真的語句是在所有...
- 語言哲學與語言中的哲學
《語言哲學與語言中的哲學》在內容上體現了哲學與語言學在研究範圍上一致性，全書22章分為六篇，即語言本體哲學、句法哲學、語義哲學、語用哲學、符號學哲學和語言中的哲學，涉及語言的功與過、語言的產生、語言的句法結構與功能、音形義之間的關係、指稱問題、可能世界語義學、語用中的合作問題、語用悖論、語義...
- 邏輯語用學
藉助Kripke的可能世界的語義模型，引入一個理想的語言使用者，他對語言、可能世界模型和語義的不同操作構成了句法學、語義學和語用學的劃分。之所以將記號的使用者進一步限制為一個理想的語言使用者，是為了減少個體知識對語言的影響——個體知識的描述不屬於語用學的研究範圍，因為語言學的研究不是在刻畫具體某個人的...
- 模態邏輯導論
第三章可能世界語義學 3.1 邏輯語義學 3.2 可能世界語義學的基本思想 3.3 模態形式的語義分析 3.4 直觀語義與形式語義 3.5 框架、模型和有效性 3.6 模態公式與一階公式的對應 3.7 S-框架與-框架可靠性 3.8 反模型方法及其一些結果 第四章模態語義圖和完全性證明 4.1 完全性與完全性證明 4.2 ...
- 綜合語句
從可能世界語義學的觀點看，綜合語句並非在所有可能世界中都真，也並非在所有可能世界中都假。關於分析語句與綜合語句的區別，雖然受到哲學和邏輯學界的重視，但也受到質疑，如美國邏輯學家奎因認為，以同義性為基礎的分析性概念本身是不清晰的，因而關於分析語句與綜合語句的區別是根據不足的。
- 虛構與虛構主義
2.4實在論的一個理論依據：名稱的語義學 附錄：沒有指稱物的指稱 2.5支持實在論的證據 拓展閱讀 3虛構對象是非存在的 3.1表述邁農主義 3.2邁農主義的動機 3.3邁農主義的內在矛盾 3.4創造性和非存在對象 3.5非存在對象的其他問題 3.6回顧邁農主義觀點 拓展閱讀 4世界與真：虛構世界、可能世界、不可能世界...
- 邏輯學教程(2006年浙江大學出版社出版的圖書)
命題邏輯和謂詞邏輯對於推理有效性的討論是以現實世界為參照系的，而模態推理的有效性則涉及可能世界。所以，與命題邏輯和謂詞邏輯相比，模態邏輯有著更為寬廣的邏輯視野。本章的主要內容涉及非形式的模態命題邏輯、模態命題演算公理系統、可能世界語義學、模態命題邏輯元理論等等。第九章討論邏輯基本規律。每一個真的命題...
