張清宇先生在20世紀(jì)90年代創(chuàng)建了不用聯(lián)結(jié)詞的邏輯系統(tǒng),在其中使用括號(hào)表達(dá)命題聯(lián)結(jié)詞和量詞的功能,這是一項(xiàng)邏輯符號(hào)技術(shù)的創(chuàng)新性工作。波蘭表示法和括號(hào)表示法是邏輯符號(hào)表示法的兩個(gè)相互映襯的典范。在括號(hào)表示法中,"不用聯(lián)結(jié)詞"指的僅僅是語(yǔ)形層面上的,而不是語(yǔ)義層面上的�；诶ㄌ�(hào)表示法的命題邏輯公理系統(tǒng)H和一階邏輯系統(tǒng)QH都可以進(jìn)一步簡(jiǎn)化。 

【文章來(lái)源】：重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)). 2019,33(04)

【文章頁(yè)數(shù)】：6 頁(yè)

【文章目錄】：
一、括號(hào)表示法
二、0元聯(lián)結(jié)詞
三、獨(dú)立性
四、純粹括號(hào)表示法


【參考文獻(xiàn)】：
期刊論文
[1]不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)[J]. 張清宇.  哲學(xué)研究. 1996(05)
[2]不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J]. 張清宇.  哲學(xué)研究. 1995(05)



本文編號(hào)：3399836