本文關(guān)鍵詞：謝弗函數(shù)的概念分析

  更多相關(guān)文章： 謝弗函數(shù) 波斯特定理 多級(jí)聯(lián)結(jié)詞 希爾伯特新問(wèn)題

【摘要】：本文從定義、波斯特定理、多級(jí)聯(lián)結(jié)詞以及證明簡(jiǎn)單性等方面對(duì)謝弗函數(shù)做一個(gè)概念上的分析,以期對(duì)這一概念的豐富和發(fā)展起到促進(jìn)作用。
【作者單位】： 中國(guó)社會(huì)科學(xué)院哲學(xué)研究所;
【關(guān)鍵詞】： 謝弗函數(shù) 波斯特定理 多級(jí)聯(lián)結(jié)詞 希爾伯特新問(wèn)題
【基金】：國(guó)家社會(huì)科學(xué)基金項(xiàng)目(10BZX055)資助
【分類(lèi)號(hào)】：B81-05
【正文快照】： 邏輯聯(lián)結(jié)詞是邏輯中的核心概念之一,①自從美國(guó)邏輯學(xué)家H.M.謝弗(H.M.Sheffer)在1913年提出“謝弗豎”這一功能完備的函數(shù)以來(lái),圍繞它從邏輯演算、證明論、邏輯哲學(xué)、布爾代數(shù)、自動(dòng)定理證明等方面進(jìn)行過(guò)許許多多的工作。一、謝弗函數(shù)的定義經(jīng)典謝弗豎即通常所說(shuō)的析舍聯(lián)結(jié)詞

【參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 張清宇;經(jīng)典命題邏輯的一個(gè)公理系統(tǒng)[J];哲學(xué)研究;1997年08期

【共引文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前6條

1 唐芳芳;;基于廣義謝弗豎的分析性模態(tài)公理系統(tǒng)[J];邏輯學(xué)研究;2009年03期

2 劉新文;;周延理論和內(nèi)插定理[J];邏輯學(xué)研究;2012年02期

3 唐芳芳;;基于破壞性表列的模態(tài)公理系統(tǒng)[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2009年01期

4 張清宇;系統(tǒng)Z中的范式和插入定理[J];哲學(xué)研究;1999年12期

5 劉新文;;論命題與括號(hào)[J];哲學(xué)研究;2008年09期

6 劉新文;;論邏輯常項(xiàng)的歸約[J];哲學(xué)研究;2011年06期

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 劉新文;系統(tǒng)Z的量化擴(kuò)張及其對(duì)話語(yǔ)表現(xiàn)理論的處理[D];中國(guó)社會(huì)科學(xué)院研究生院;2002年

【二級(jí)參考文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前1條

1 張清宇;不用聯(lián)結(jié)詞的經(jīng)典命題邏輯系統(tǒng)[J];哲學(xué)研究;1995年05期

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 劉新文;;謝弗函數(shù)的概念分析[J];世界哲學(xué);2011年04期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

，

本文編號(hào)：851132