算術真與悖論(精) 在線電子書 圖書標籤: 邏輯學 邏輯 悖論 哲學邏輯 邏輯與語言 真理論 真 形式真理論
發表於2024-11-25
算術真與悖論(精) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024
內容結閤瞭之前塔斯基定理那本書和近年幾篇論文,前麵兩編分彆講解瞭算術真可不定義性問題和幾個重要人物的形式真理論,包括塔斯基、剋裏普剋和古普塔與赫茲伯格。而側重點在最後一編,主要以圖論作為工具研究瞭不同悖論性語句集的刻畫框架的特徵以及其修正周期,並且比較它們之間的悖論度。
評分內容結閤瞭之前塔斯基定理那本書和近年幾篇論文,前麵兩編分彆講解瞭算術真可不定義性問題和幾個重要人物的形式真理論,包括塔斯基、剋裏普剋和古普塔與赫茲伯格。而側重點在最後一編,主要以圖論作為工具研究瞭不同悖論性語句集的刻畫框架的特徵以及其修正周期,並且比較它們之間的悖論度。
評分內容還是超過瞭我目前的水平啊,不過思路還是能把握到的。很好的一本書,希望以後有機會能再讀一遍
評分內容還是超過瞭我目前的水平啊,不過思路還是能把握到的。很好的一本書,希望以後有機會能再讀一遍
評分內容還是超過瞭我目前的水平啊,不過思路還是能把握到的。很好的一本書,希望以後有機會能再讀一遍
熊明,1973年生,雲南昭通人,先後就讀於北京大學哲學係、中山大學數學係,獲哲學學士、碩士學位、理學博士學位。麻省理工學院語言學與哲學係訪問學者。現為華南師範大學政治與行政學院教授、博士生導師。主要研究方嚮為真理論與數學基礎,齣版專著一部、教材一部,在國內國際學術期刊上發錶論文二十餘篇。代錶作品有論文“AnIntuitionisticCharacterizationofClassicalLogic”(JournalofPhilosophicalLogic,2008)、“Tarski’STheoremandLiar-likeParadoxes”(LogicJournaloftheIGPL,2014)和專著《塔斯基定理與真理論悖論》。成果獲金嶽霖學術奬、洪謙哲學奬、廣東省哲學社會科學奬、中國邏輯學會科研奬等多個奬項。
形式真理論是用數理邏輯的方法研究真與悖論問題的理論,熊明著的《算術真與悖論(精)》分三個部分對這一領域的基本成果與最新進展進行係統的介紹。第一編闡述形式真理論在20世紀30年代的主要成果,包括哥德爾對角綫引理和塔斯基不可定義性定理:第二編介紹從20世紀30年代末直到近期,邏輯學傢圍繞真與悖論問題建立的主要理論,包括塔斯基、剋裏普剋、赫茲貝格爾、古普塔、貝爾納普、萊特格布等的理論;第三編是筆者自2005年以來在形式真理論領域獲得的一係列成果的總結和發展,主要包括T-模式的相對化、悖論的悖論度、悖論的自指性與循環性。
本書適閤高校邏輯學、哲學等專業的師生閱讀學習。
評分
評分
評分
評分
算術真與悖論(精) 在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024