相關詞條
-
模態邏輯導論
《模態邏輯導論》是1997年北京大學出版社出版的圖書，作者是周北海。
內容介紹 作品目錄 -
形式語義學引論
don den tificatwn。
內容介紹 作者介紹 -
卡爾納普
。30年代中期，卡爾納普開始轉向語義學研究，並陸續出版了這方面的著作,主要有:《語義學導論》(1942)、《邏輯的形式化》(1943)、《意義和...，並把語義學看作是元理論的一部分。卡爾納普關於語義學的基本概念是事實真與邏輯...
簡介 著作 哲學特點 意義理論 -
卡爾納普意義理論
，並給模態邏輯提供了第一個語義解釋，開創了邏輯語義學和模態邏輯的研究的新局面...邏輯方面。卡爾納普意義理論經歷了一個從邏輯句法到語義學的變化過程。以1935年為界，卡爾納普先後提出了所謂邏輯句法和語義學。在句法階段，他的整個...
內容提要 作者簡介 目錄 -
模態模型論
模態模型論 正文模態邏輯的模型論。特別是指量詞模態邏輯即一階模態謂詞邏輯的模型論。它從屬於模態邏輯的三個主要研究方向，即公理學、語義學和代數學方向之一的語義學方向。模態邏輯的關係語義學(又稱關係模型論)一般...
模態模型論 正文 配圖 相關連線 -
《邏輯哲學》
分為實體性存在、依附性存在和觀念性存在3種類型。 第十二章：在對模態邏輯和可能世界語義學作了簡要概述之後，先討論與模態邏輯有關的問題：模態語境中...：邏輯和本體論；模態邏輯和可能世界。第五編“休謨問題和歸納邏輯”，包含...
概述 作者簡介 內容歸納 經典邏輯理論 -
可能世界理論
（包括境況語義學）和相關的命題態度語義學；考察了對可能世界的種種哲學理解...。作為預備知識，本書陳述了廣義模態邏輯和經典邏輯語義理論。本書適合於邏輯... 模態邏輯1.1 模態和模態命題形式1.2 模態命題邏輯系統1.3 模態...
內容簡介 圖書目錄 -
SAUL AARON KRIPKE
大學哲學教授，後升任麥科什講座哲學教授。他是模態邏輯語義學的創始人和因果...是三個子女中的長子。16時克里普克寫了模態邏輯語義學方面的論文，被一些重要...，1977年任普林斯頓大學哲學教授，後升任麥科什講座哲學教授。他是模態邏輯...
人物簡介 人物成就 人物生平 工作經歷 主要貢獻 -
可能世界與智慧
內容介紹模態邏輯是邏輯學中的一個重要分支學科，是一種特殊的邏輯智慧。本書介紹了模態邏輯發展的概況以及傳統模態邏輯的基本內容，區分了客觀模態...，特別是詳細介紹了真勢模態的可能世界語義學理論、命題種類及推理有效式；同時...
內容介紹 -
現代邏輯引論
謂詞演算第五章 模態邏輯第六章 悖論和集合論的公理化第七章 語義學和...的排除相結合；在論述模型論時和建立語義學相結合；在論述模態邏輯時和對真理作...構思的系統作了證明。第五章模態邏輯，除一般介紹外，還較詳細地從語法、語義...
