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

【文章來源】：重慶理工大學(xué)學(xué)報(社會科學(xué)). 2019,33(04)

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

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


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



本文編號：3399836