中國表示法及其邏輯研究

定　價：￥88.00

作　者：	杜國平
出版社：	中國社會科學出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥72.00)

ISBN：	9787522721002	出版時間：	2023-05-01	包裝：	平裝
開本：	16開	頁數(shù)：	223	字數(shù)：

內(nèi)容簡介

　　本書在H.M.Sheffer和張清宇先生等人工作的基礎上，提出了一種創(chuàng)新型的邏輯符號表示法——中國表示法。在其中僅僅使用一對括號，就可以在一個公式中同時表示出所有的命題聯(lián)結詞、量詞、模態(tài)詞和時態(tài)詞等邏輯常項，由此可以極大地簡化構建邏輯系統(tǒng)所需的初始聯(lián)結詞。本書闡述了中國表示法區(qū)別于其他表示法的整體性特征，證明了中國表示法的結構性及其強大的表達功能，基于中國表示法探究了若干邏輯基礎問題，獲得了若干創(chuàng)新性成果。

作者簡介

　　杜國平，男，1965年生，江蘇省淮安市盱眙縣人。哲學博士（邏輯學專業(yè)），工學博士（計算機應用技術專業(yè)）?，F(xiàn)為哲學研究所研究員、智能與邏輯實驗室主任，二級教授，博士生導師，享受政府特殊津貼專家。兼任中國邏輯學會會長，金岳霖學術基金會秘書長。主持完成社科基金重大項目“應用邏輯與邏輯應用研究”等。先后兩次獲得“金岳霖學術獎”。主要學術成果有《不協(xié)調(diào)信息的推理機制研究》《集合論-泛邏輯悖論》等。現(xiàn)主要從事邏輯學和人工智能基礎理論研究，研究方向為人工智能邏輯、符號邏輯、邏輯思想史和邏輯應用等。

圖書目錄

導言
章中國表示法
節(jié) 邏輯符號表示法概述
第二節(jié) 不用聯(lián)結詞的邏輯系統(tǒng)
第三節(jié) 中國表示法
第二章基于中國表示法的二值邏輯系統(tǒng)
節(jié) 形式語言
第二節(jié) 自然推演系統(tǒng)
第三節(jié) 排斥系統(tǒng)
第四節(jié) 語義及元理論
第五節(jié) 一階形式語言
第三章基于中國表示法的三值命題邏輯
節(jié) 三值命題邏輯形式語言
第二節(jié) 三值命題邏輯自然推演系統(tǒng)
第三節(jié) 三值命題邏輯語義及元理論
第四章三值邏輯系統(tǒng)3PC與LPC關系研究
節(jié) 三值邏輯系統(tǒng)LPC
第二節(jié) 基于中國表示法的LPC
第三節(jié) 作為3PC子系統(tǒng)的LPC
第五章三值邏輯與二值邏輯關系研究
節(jié) 邏輯系統(tǒng)之間的關系比較
第二節(jié) 語形證明
第三節(jié) 語義分析
第六章基于中國表示法的三值模態(tài)邏輯
節(jié) 三值模態(tài)邏輯形式語言
第二節(jié) 三值模態(tài)邏輯常項的中國表示法
第三節(jié) 三值模態(tài)邏輯系統(tǒng)及其元理論
第七章基于中國表示法的三值邏輯函數(shù)研究
節(jié) 三值二元Sheffer函數(shù)的構造
第二節(jié) 三值二元Sheffer函數(shù)的類型
第三節(jié) 三值二元邏輯函數(shù)的表達能力
第四節(jié) 若干結論
附錄1 第四章第三節(jié)證明對照
附錄2 第五章第二節(jié)證明對照
參考文獻