相關詞條
-
關係語義
Kripke 語義（也叫做關係語義或框架語義，並經常混淆於可能世界語義）是模態邏輯系統的形式語義，於 1950 年代晚期和 1960 年代早期由 Sau...
模態邏輯語義 基本定義 對應性完備性 規範模型 有限模型性質 -
SAUL AARON KRIPKE
索爾·阿倫·克里普克是美國邏輯學家，哲學家。曾任教於哈佛、哥倫比亞、康奈爾和洛克菲勒等大學，1977年任普林斯頓大學哲學教授，後升任麥科什講座哲學教授。...
人物簡介 人物成就 人物生平 工作經歷 主要貢獻 -
克里普克結構
。 Clarke等人[3]在AP上定義Kripke結構為4元組M =（S，I，R...）功能L：S→2AP。由於R是左總數，因此總是可以通過Kripke結構...定義，Kripke結構（例如，只有一個初始狀態i∈I）可以用具有單例輸入...
定義 例子 與其他概念的關係 -
可能世界
Kripke。形式語義從可能世界語義推導出來的系統性的理論在 1950...可能性陳述，當然也是真陳述。)可能世界語義經常用做 Kripke 語義的同義語，但這普遍的被認為是一個錯誤: Kripke 語義可以用來分析除了...
內容介紹 形式語義 哲學工具 -
《邏輯哲學》
可以從語法和語義兩個角度去刻畫，從而得到“語法後承”和“語義後承”等概念...使用和歸屬性使用的區分轉換為說話者指稱和語義指稱的區分，認為後者能夠說明...
概述 作者簡介 內容歸納 經典邏輯理論 -
邏輯語用學
地給出語用學的定義。藉助Kripke的可能世界的語義模型，引入一個理想的語言使用者，他對語言、可能世界模型和語義的不同操作構成了句法學、語義學和...）句法、（形式）語義和（形式）語用的劃分可以看作：[句法學]...
-
現代邏輯引論
構思的系統作了證明。第五章模態邏輯，除一般介紹外，還較詳細地從語法、語義...，對內涵邏輯學代表人物，Tarski， Carnap， Kripke...
-
中間邏輯
) 研究中間邏輯的工具類似於直覺邏輯所使用的，比如Kripke語義。 ...
概述 例子 -
古典邏輯
.NonComputability邏輯 是computability的一種語義地... · Kripke · Mozi · Nagarjuna · Pāṇini...
古典邏輯 例子 Non 參考 -
克里普克
語義命名與必然性克里普克斯坦，即克里普克對維根斯坦的闡釋克里普克真值理論...
生平 概述 工作 貢獻 著述
