邏輯式(Logical): 由牛津大學哲學家吉伯特·賴爾(Gilbert Ryle)在他所著的The Concept of Mind(1949)一書中所建立。
相關詞條
-
布爾邏輯式
布爾邏輯得名於George Boole,他是College Cork大學的英國數學家,他在十九世紀中葉首次定義了邏輯的代數系統。現在,布爾邏輯在電子學、...
-
邏輯實證主義
20世紀30~50年代流行於西方的一個哲學流派。又名邏輯經驗主義。核心是維也納學派。形成和發展1922年,德國哲學家、科學家 M.石里克在維也納大學擔任...
邏輯實證主義 正文 形成和發展 反對形上學 邏輯和數學的性質 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果,涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
歐洲近代邏輯
歐洲近代邏輯指從歐洲文藝復興到19世紀後期的邏輯科學。這時期出現了若干不同類型的邏輯,主要有古希臘亞士多德所創立並一直流傳下來的傳統邏輯、F.培根和J....
歐洲近代邏輯 正文 配圖 相關連線 -
歐洲中世紀邏輯
歐洲中世紀邏輯學說的統稱,西方邏輯發展史上的一個重要環節。
歐洲中世紀邏輯 正文 配圖 相關連線 -
數字邏輯
數字邏輯,是數字電路邏輯設計的簡稱,其內容是套用數字電路進行數字系統邏輯設計。電子數字計算機是由具有各種邏輯功能的邏輯部件組成的,這些邏輯部件按其結構可...
-
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算,允許量化陳述的公式,是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
道義邏輯
道義邏輯 - 一種非標準的模態邏輯。它研究“應當”、“可以”或“許可”、“禁止”這樣一些道義概念的邏輯性質,是一種與倫理學或道德哲學有密切關係的模態邏輯。
道義邏輯 正文 配圖 相關連線