![]() ![]() |
中國(guó)表示法及其邏輯研究 讀者對(duì)象:本書(shū)適用于相關(guān)研究人員
本書(shū)在H.M.Sheffer和張清宇先生等人工作的基礎(chǔ)上,提出了一種創(chuàng)新型的邏輯符號(hào)表示法——中國(guó)表示法。在其中僅僅使用一對(duì)括號(hào),就可以在一個(gè)公式中同時(shí)表示出所有的命題聯(lián)結(jié)詞、量詞、模態(tài)詞和時(shí)態(tài)詞等邏輯常項(xiàng),由此可以極大地簡(jiǎn)化構(gòu)建邏輯系統(tǒng)所需的初始聯(lián)結(jié)詞。本書(shū)闡述了中國(guó)表示法區(qū)別于其他表示法的整體性特征,證明了中國(guó)表示法的結(jié)構(gòu)唯一性及其強(qiáng)大的表達(dá)功能,基于中國(guó)表示法探究了若干邏輯基礎(chǔ)問(wèn)題,獲得了若干創(chuàng)新性成果。
你還可能感興趣
我要評(píng)論
|