括號(hào)表示法是一種在形式語(yǔ)言中以括號(hào)來(lái)表示各種邏輯常項(xiàng)的符號(hào)表示方法。與已有的表示方法不同,它是一種整體表示法。以命題邏輯的形式語(yǔ)言為例,可以證明括號(hào)表示法的唯一性定理。在形式語(yǔ)言中,運(yùn)用括號(hào)表示法表達(dá)的公式,其長(zhǎng)度比用中置法表達(dá)的公式簡(jiǎn)短。運(yùn)用括號(hào)表示法改寫(xiě)的一階邏輯自然推理系統(tǒng)非常簡(jiǎn)潔。括號(hào)表示法為研究邏輯常項(xiàng)的推理結(jié)構(gòu)提供了一個(gè)非常良好的分析工具。 

【文章來(lái)源】：安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2019,43(03)北大核心CSSCI

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

【參考文獻(xiàn)】：
期刊論文
[1]不用聯(lián)結(jié)詞的“舍…取…”型自然推演系統(tǒng)[J]. 杜國(guó)平.  湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2019(03)
[2]關(guān)于“不用聯(lián)結(jié)詞的邏輯系統(tǒng)”的注記[J]. 杜國(guó)平.  重慶理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)). 2019(04)
[3]哲思邏輯——一個(gè)形而上學(xué)內(nèi)容的公理體系[J]. 杜國(guó)平.  東南大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版). 2007(04)
[4]不用聯(lián)結(jié)詞和量詞的一階邏輯系統(tǒng)[J]. 張清宇.  哲學(xué)研究. 1996(05)
[5]不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J]. 張清宇.  哲學(xué)研究. 1995(05)



本文編號(hào)：3565241