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