相關詞條
-
克里普克
克里普克（1940～ Kripke，Saul Aaron）美國邏輯學家，哲學家。曾任教於哈佛、哥倫比亞、康奈爾和洛克菲勒等大學，1977年任普林斯頓大學...
生平 概述 工作 貢獻 著述 -
克里普克結構
克里普克結構（Kripke structure）是過渡系統的變體，最初由Saul Kripke提出，用於模型檢查來表示系統的行為。 它基本上是一個圖，其...
定義 例子 與其他概念的關係 -
索爾·阿倫·克里普克
2001年，克里普克獲得Schock邏輯和哲學獎。 克里普克語義 克里普克語義
生平 概述 工作 模態邏輯 命名與必然性 -
尤比克語
尤比克語是西北高加索語支的一個語言，直到1990年代早期為止，一直都為尤比克族人使用。尤比克這個詞來自/wəbəx/這個詞，也就是它在阿迪格語阿布扎克方...
特色 語法 字彙 相關知識 範例檔案 -
《邏輯哲學》
占有十分重要的地位。 第七章：依次考察了羅素、斯特勞森、唐奈蘭、克里普克...。克里普克先論證唐奈蘭沒有駁倒斯特勞森特別是羅素的理論，然後把唐關於指稱性...模式。 第八章：依次討論弗雷格、羅素、克里普克、普特南、塞爾等人的名稱...
概述 作者簡介 內容歸納 經典邏輯理論 -
SAUL AARON KRIPKE
中心。[1] 主要貢獻克里普克語義 命名與必然性克里普克斯坦，即克里普...人物簡介克里普克（1940～ ）Kripke，Saul Aaron...普克斯坦(克里普克闡釋的維根斯坦), 先驗偶然與後驗必然 受影響...
人物簡介 人物成就 人物生平 工作經歷 主要貢獻 -
二十世紀意義理論的發展與語言邏輯的興起
的指稱理論 3.1 克里普克指稱理論的基本概念和基本觀點 3.2 克里普克指稱理論的論證 3.3 克里普克指稱理論簡評第二章 意義... 第二節 克里普克的可能世界語義學 2.1 克里普克對“可能世界”概念...
內容簡介 作者簡介 本書目錄 -
死亡的真諦
1960年簽署的成立獨立的賽普勒斯共和國的協定，包括埃皮斯科比的駐軍大樓和阿克羅...。” “是啊，”另一個英國人阿胥克拉夫特說，“一小隊士兵都被一種叫沙林...雅典的特工。希臘警方發現他的屍體躺在阿克羅波利斯附近古阿戈拉的海菲斯坦...
-
模態模型論
的”模型集合“與克里普克的關係語義解釋有異曲同工之妙；而坎格爾則在1957年就正式提出了與克里普克的關係語義幾乎完全一樣的語義概念。只是所用術語...公認是由S.A.克里普克開創的。他於1959年發表在《符號邏輯雜誌》上的題為...
模態模型論 正文 配圖 相關連線 -
Ubykh語
在尤比克語，以及所有西北高加索語言的語義當中，是個很重要的一部份。尤比克...來源尤比克這個詞來自/wəbəx/這個詞，也就是它在阿迪格語阿布扎克方言(Abdzakh)里的名稱。在語言學界的文獻它有著不同的名稱：尤比克語...
來源 特色 語法 字彙
