本文關鍵詞：斯穆里安合并記法的一種變形

  更多相關文章： 公式 斯穆里安合并記法 結(jié)構(gòu)歸納法 實質(zhì)蘊涵 荒謬蘊涵

【摘要】：公式按照其語義特征可被合并為實質(zhì)蘊涵型公式和荒謬蘊涵型公式,由此任何一個公式都可被分解為前件和后件兩個部分。這一合并簡化了斯穆里安著名的合并記法。就這一新的合并記法,提出了兩種結(jié)構(gòu)歸納證明,建立了一個希爾伯特型古典邏輯系統(tǒng),并證明其完全性。
【作者單位】： 華南師范大學政治與行政學院;
【關鍵詞】： 公式 斯穆里安合并記法 結(jié)構(gòu)歸納法 實質(zhì)蘊涵 荒謬蘊涵
【基金】：廣東省優(yōu)秀青年創(chuàng)新人才培育項目(WYM08064) 教育部人文社會科學重點研究基地重大項目“現(xiàn)代邏輯背景下的邏輯哲學問題研究“(07JJD720045)
【分類號】：B81
【正文快照】： ~~斯穆里安合并記法的一種變形@熊明$華南師范大學政治與行政學院!廣東廣州510631公式按照其語義特征可被合并為實質(zhì)蘊涵型公式和荒謬蘊涵型公式,由此任何一個公式都可被分解為前件和后件兩個部分。這一合并簡化了斯穆里安著名的合并記法。就這一新的合并記法,提出了兩種結(jié)構(gòu)

【參考文獻】

中國期刊全文數(shù)據(jù)庫 前3條

1 熊明;古德曼悖論與形式的歸納邏輯系統(tǒng)[J];華南師范大學學報(社會科學版);2003年05期

2 王健平;;實質(zhì)蘊涵與自然語言中的相關蘊涵命題分析[J];華南師范大學學報(社會科學版);2005年03期

3 胡澤洪;;蘊涵芻議[J];華南師范大學學報(社會科學版);2006年05期

【共引文獻】

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

1 孫培福;;變元間的相關性是人類邏輯的本質(zhì)屬性——由關于“實質(zhì)蘊涵”的“相關蘊涵”引發(fā)的深層思考[J];華南師范大學學報(社會科學版);2006年03期

2 鄧雄雁;胡澤洪;;協(xié)調(diào)、一致與一階公理系統(tǒng)的強完全性[J];華南師范大學學報(社會科學版);2010年03期

3 賈春華;王慶國;王永炎;黃啟福;魯兆麟;;基于相干蘊涵原理的《傷寒論》條件句分析[J];江蘇中醫(yī)藥;2007年02期

4 曾慶福;;論反事實條件句[J];昆明學院學報;2008年03期

5 林石煒;;落后神學的棄女 自然科學的寵兒——試析形式歸納邏輯體系的建立[J];漯河職業(yè)技術(shù)學院學報;2010年03期

6 王健平;;弗雷格的實質(zhì)蘊涵思想與現(xiàn)代邏輯的選擇[J];學術(shù)研究;2008年01期

中國重要會議論文全文數(shù)據(jù)庫 前1條

1 孫培福;;變元間的相關性是人類邏輯的本質(zhì)屬性——對王健平先生“相關蘊涵”說的再認識[A];第十四屆全國法律邏輯學術(shù)討論會論文集[C];2006年

中國博士學位論文全文數(shù)據(jù)庫 前3條

1 賈春華;基于命題邏輯的《傷寒論》方證理論體系研究[D];北京中醫(yī)藥大學;2006年

2 蘇愉仁;基于邏輯的《金匱要略》方證理論體系研究[D];北京中醫(yī)藥大學;2010年

3 張文琴;反事實條件句和大衛(wèi)·劉易斯的邏輯哲學[D];華東師范大學;2012年

中國碩士學位論文全文數(shù)據(jù)庫 前3條

1 趙金波;蒯因論歸納問題[D];南京師范大學;2011年

2 付瑤;論古德曼反事實條件句難題[D];北京化工大學;2011年

3 韓亦佳;蘊涵與因果推理的關系[D];河南大學;2008年

【二級參考文獻】

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

1 李小五;何謂現(xiàn)代歸納邏輯[J];哲學研究;1996年09期

【相似文獻】

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

1 宋良平;;我在高中一年級上學期的物理課中如何領導學生作物理習題[J];物理;1954年02期

2 管瑞庭;;從東西方繪畫藝術(shù)看圖示的繼承和發(fā)展[J];畢節(jié)學院學報;2007年02期

3 王德懋;;}嗪俠杖玫潞惱箍骯絇_l~m(cosθ)=(-1)~m(l+m)!/(l-m)!P_l~(-m)(cosθ)的直接，

本文編號：832360