国产91青青成人a在线/在线视频成人/aaa成人永久在线观看视频/深夜草莓视频app

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

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