中國社會科學院哲學研究所是我國哲學學科的重要學術機構和研究中心。其前身是中國科學院哲學社會科學部哲學研究所。歷任所長為潘梓年、許立群、邢賁思、汝信(兼)、陳筠泉、李景源、謝地坤。中華人民共和國成立前,全國沒有專門的哲學研究機構。為了適應社會主義改造和建設事業發展的需要... ... <詳情>
哲學專業書庫的前身是哲學研究所圖書館,與哲學研究所同時成立于1955年。1994年底,院所圖書館合并之后將其劃為哲學所自管庫,從此只保留圖書借閱流通業務,不再購進新書。
2009年1月16日,作為中國社會科學院圖書館體制機制改革的重要舉措之一,哲學專業書庫正式掛牌。
<詳情>內容簡介
本書在H.M.Sheffer和張清宇先生等人工作的基礎上,提出了一種創新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號,就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態詞和時態詞等邏輯常項,由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區別于其他表示法的整體性特征,證明了中國表示法的結構唯一性及其強大的表達功能,基于中國表示法探究了若干邏輯基礎問題,獲得了若干創新性成果。
杜國平著
中國社會科學出版社2023年
作者簡介
杜國平,男,1965年生,江蘇省盱眙縣人。哲學博士(邏輯學專業),工學博士(計算機應用技術專業)?,F為中國社會科學院哲學研究所智能與邏輯實驗室主任、二級教授、博士生導師。享受國務院政府特殊津貼專家。兼任中國邏輯學會會長、金岳霖學術基金會秘書長?,F主要從事邏輯學和人工智能基礎理論研究。主持完成國家社會科學基金重大項目“應用邏輯與邏輯應用研究”等。先后兩次獲得“金岳霖學術獎”。
目錄
導言
第一章 中國表示法
第一節 邏輯符號表示法概述
第二節 不用聯結詞的邏輯系統
第三節 中國表示法
第二章 基于中國表示法的二值邏輯系統
第一節 形式語言
第二節 自然推演系統
第三節 排斥系統
第四節 語義及元理論
第五節 一階形式語言
第三章 基于中國表示法的三值命題邏輯
第一節 三值命題邏輯形式語言
第二節 三值命題邏輯自然推演系統
第三節 三值命題邏輯語義及元理論
第四章 三值邏輯系統3PC與LPC關系研究
第一節 三值邏輯系統LPC
第二節 基于中國表示法的LPC
第三節 作為3PC子系統的LPC
第五章 三值邏輯與二值邏輯關系研究
第一節 邏輯系統之間的關系比較
第二節 語形證明
第三節 語義分析
第六章 基于中國表示法的三值模態邏輯
第一節 三值模態邏輯形式語言
第二節 三值模態邏輯常項的中國表示法
第三節 三值模態邏輯系統及其元理論
第七章 基于中國表示法的三值邏輯函數研究
第一節 三值二元Sheffer函數的構造
第二節 三值二元Sheffer函數的類型
第三節 三值二元邏輯函數的表達能力
第四節 若干結論
附錄1 第四章第三節證明對照
附錄2 第五章第二節證明對照
參考文獻
地址:北京市東城區建國門內大街5號郵編:100732
電話:(010)85195506
傳真:(010)65137826
E-mail:philosophy@cass.org.cn
內容簡介
本書在H.M.Sheffer和張清宇先生等人工作的基礎上,提出了一種創新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號,就可以在一個公式中同時表示出所有的命題聯結詞、量詞、模態詞和時態詞等邏輯常項,由此可以極大地簡化構建邏輯系統所需的初始聯結詞。本書闡述了中國表示法區別于其他表示法的整體性特征,證明了中國表示法的結構唯一性及其強大的表達功能,基于中國表示法探究了若干邏輯基礎問題,獲得了若干創新性成果。
杜國平著
中國社會科學出版社2023年
作者簡介
杜國平,男,1965年生,江蘇省盱眙縣人。哲學博士(邏輯學專業),工學博士(計算機應用技術專業)?,F為中國社會科學院哲學研究所智能與邏輯實驗室主任、二級教授、博士生導師。享受國務院政府特殊津貼專家。兼任中國邏輯學會會長、金岳霖學術基金會秘書長?,F主要從事邏輯學和人工智能基礎理論研究。主持完成國家社會科學基金重大項目“應用邏輯與邏輯應用研究”等。先后兩次獲得“金岳霖學術獎”。
目錄
導言
第一章 中國表示法
第一節 邏輯符號表示法概述
第二節 不用聯結詞的邏輯系統
第三節 中國表示法
第二章 基于中國表示法的二值邏輯系統
第一節 形式語言
第二節 自然推演系統
第三節 排斥系統
第四節 語義及元理論
第五節 一階形式語言
第三章 基于中國表示法的三值命題邏輯
第一節 三值命題邏輯形式語言
第二節 三值命題邏輯自然推演系統
第三節 三值命題邏輯語義及元理論
第四章 三值邏輯系統3PC與LPC關系研究
第一節 三值邏輯系統LPC
第二節 基于中國表示法的LPC
第三節 作為3PC子系統的LPC
第五章 三值邏輯與二值邏輯關系研究
第一節 邏輯系統之間的關系比較
第二節 語形證明
第三節 語義分析
第六章 基于中國表示法的三值模態邏輯
第一節 三值模態邏輯形式語言
第二節 三值模態邏輯常項的中國表示法
第三節 三值模態邏輯系統及其元理論
第七章 基于中國表示法的三值邏輯函數研究
第一節 三值二元Sheffer函數的構造
第二節 三值二元Sheffer函數的類型
第三節 三值二元邏輯函數的表達能力
第四節 若干結論
附錄1 第四章第三節證明對照
附錄2 第五章第二節證明對照
參考文獻
中國社會科學院哲學研究所-版權所有