內容簡介
命名與必然性是美國當代著名邏輯學家和哲學家,模態邏輯語義學創始人之一的克里普克所著。本書是其代表作。書中所提出的兩個新理論曾引起西方分析哲學界持續10多年的大決戰。作者簡介
克里普克,生於1941年。美國當代著名邏輯學家和哲學家,模態邏輯語義學創始人之一。
目錄
緒言
第一篇演講(1970年1月20日)
第二篇演講(1970年1月20日)
第三篇演講(1970年1月29日)
跋
……
《命名與必然性》是2001年由上海譯文出版社出版的圖書,作者是克里普克。
《命名與必然性》作者索爾·克里普克是美國當代著名的邏輯學家和哲學家、模態邏輯語義學創始人之一。
內容簡介 作者簡介 圖書目錄雷鋒時刻執行著毛主席提倡的“為人民服務”,時刻幫助人民,雪中送炭。 雷鋒精神,是以雷鋒的名字命名,以雷鋒的精神為基本內涵,在實踐中不斷豐富和發展著的革命...
雷鋒精神 時代內涵 具體內容 雷鋒精神賦 雷鋒日記無必然性,五色區環圖無必然性,因而四色定理成立。進而猜想三維空間五色定理...閉性。定理五:四色區環圖無必然性,不都成相鄰不隔關係。定理 ...
四色定理論文手稿 定理簡介 定律概述 定理的誕生過程 證明方法,四色區環圖無必然性,五色區環圖無必然性,因而四色定理成立。進而猜想...同色無環閉性。定理五:四色區環圖無必然性,不都成相鄰不隔關 ...
四色定理論文手稿 定理簡介 定律概述 定理的誕生過程 證明方法。本章著重討論這些技術性規定背後的哲學預設,例如後承關係的保真性、必然性...作者自己的一些看法,例如邏輯真理的相對必然性,邏輯真理可以被修正,等等...
概述 作者簡介 內容歸納 經典邏輯理論證明推理的必然性?現代數學特別是數論和集合論的發展,為邏輯提供了一種啟發...證明具有邏輯上的必然性,就是說,由於公理和推理規則是給定的,我們從公理...
圖書出版信息 內容簡介 當代分析哲學的基本特徵 當代分析哲學簡史的問題之一就是,邏輯如何能夠在形式上證明推理的必然性?現代數學特別是數論和...具有了普遍性;第三,形式語言的公理推導和定理證明具有邏輯上的必然性,就是說...
圖書出版信息 內容簡介 當代分析哲學的基本特徵通名的理論,並由此構成了現代分析哲學的一個歷史轉折點。著有《命名和必然性...現代分析哲學的一個歷史轉折點。著有《命名和必然性》等。 哲學史上向來認為...的一個特點是他幾乎從不動筆著文,已出版的著作包括《命名與必然性...
人物簡介 人物成就 人物生平 工作經歷 主要貢獻