本文關(guān)鍵詞：林邦瑾邏輯哲學(xué)思想研究，由筆耕文化傳播整理發(fā)布。

《貴州制約邏輯學(xué)會(huì)2013年“獲取新知”專題研討會(huì)——弘揚(yáng)獲取新知的思想 開發(fā)振興貴州的智慧論文集》2013年

所謂“1=0”等結(jié)論的證明

盛作國(guó)  

【摘要】：制約邏輯曾為一部分人所誤解。批評(píng)者認(rèn)為:制約邏輯不可能定義"必然"、"可能"這類概念;制約邏輯名詞演算Cn系統(tǒng)可以證明"可能"與"必然"互制;制約系統(tǒng)包含"怪論";關(guān)于初等數(shù)論的形式系統(tǒng)N可以證明1=0,而N的第一條公理就是1≠0,所以N是不一致的(即矛盾的)。為澄清事實(shí)、消除誤解,特撰此文,以正視聽。

【作者單位】：
【分類號(hào)】：B81
【正文快照】：

《自然辯證法通訊》1 987年第3期登載了郭世銘、董亦農(nóng)二位學(xué)者的《評(píng)制約邏輯中的幾個(gè)形式系統(tǒng)》(以后簡(jiǎn)稱《統(tǒng)》文)�！督y(tǒng)》文批評(píng)認(rèn)為:制約邏輯不可能定義“必然’，、“可能”這類概念;制約邏輯名詞演算O:系統(tǒng)可以證明“可能”與“必然”互制;(既然不可能定義“必然’，，

下載全文更多同類文獻(xiàn)

PDF全文下載

CAJ全文下載

(如何獲取全文？ 歡迎：購(gòu)買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式，AdobeReader僅支持PDF格式

【參考文獻(xiàn)】

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

1 林邦瑾;;數(shù)學(xué)歸納公理與內(nèi)涵科學(xué)分析法[J];貴州大學(xué)學(xué)報(bào)(自然科學(xué)版);1994年02期

2 桂起權(quán);從邏輯哲學(xué)觀點(diǎn)看制約邏輯[J];武漢大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);1987年04期

【共引文獻(xiàn)】

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

1 胡紅;盛作國(guó);;制約邏輯與相干邏輯比較研究[J];畢節(jié)學(xué)院學(xué)報(bào);2008年01期

2 盛作國(guó);;論“兩獨(dú)”與“兩依”——兼評(píng)《制約邏輯元思想剖析》一文[J];貴陽(yáng)學(xué)院學(xué)報(bào)(社會(huì)科學(xué)版);2008年01期

3 張玫瑰;桂起權(quán);;非經(jīng)典邏輯觀與法律論證的評(píng)價(jià)——兼論蘇珊·哈克邏輯哲學(xué)思想[J];湖南科技大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年03期

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

1 盛作國(guó);蘊(yùn)涵理論研究[D];貴州大學(xué);2008年

2 胡紅;林邦瑾邏輯哲學(xué)思想研究[D];貴州大學(xué);2009年

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

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

1 桂起權(quán);;什么是邏輯哲學(xué)[J];邏輯與語(yǔ)言學(xué)習(xí);1986年06期

【相似文獻(xiàn)】

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

1 龔啟榮;一項(xiàng)偉大的邏輯成果[J];鞍山師范學(xué)院學(xué)報(bào);1986年03期

2 諸葛殷同;侔,詭辯和制約邏輯[J];貴陽(yáng)師范高等�？茖W(xué)校學(xué)報(bào)(社會(huì)科學(xué)版);1990年02期

3 張尚水;《制約邏輯》簡(jiǎn)評(píng)——兼評(píng)《制約邏輯誕生記》[J];哲學(xué)研究;1986年12期

4 ;安順地區(qū)制約邏輯學(xué)會(huì)舉行第二次會(huì)員代表大會(huì)暨學(xué)術(shù)年會(huì)[J];安順師范高等專科學(xué)校學(xué)報(bào);2000年01期

5 倪蔭林;制約邏輯元思想剖析[J];錦州師范學(xué)院學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2000年03期

6 桂起權(quán);從邏輯哲學(xué)觀點(diǎn)看制約邏輯[J];武漢大學(xué)學(xué)報(bào)(人文科學(xué)版);1987年04期

7 郭世銘,董亦農(nóng);評(píng)《制約邏輯》中的幾個(gè)形式系統(tǒng)[J];自然辯證法通訊;1987年03期

8 薛元;有關(guān)制約邏輯的一些情況[J];哲學(xué)動(dòng)態(tài);1986年11期

9 林邦瑾;侔與制約邏輯語(yǔ)用學(xué)1、2、3準(zhǔn)則[J];貴陽(yáng)師范高等專科學(xué)校學(xué)報(bào)(社會(huì)科學(xué)版);1992年04期

10 張金興;傳統(tǒng)三段論在當(dāng)代中國(guó)的新生——從《工具論》到《制約邏輯》[J];畢節(jié)師范高等專科學(xué)校學(xué)報(bào);1994年01期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前10條

1 葛宇寧;張四化;;制約關(guān)系“兩獨(dú)”在刑事案件事實(shí)認(rèn)定中的運(yùn)用[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

2 葉森;;從制約邏輯語(yǔ)用學(xué)1、2、3準(zhǔn)則到邏輯客體說[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

3 龔啟榮;林邦瑾;;制約邏輯是內(nèi)涵智能機(jī)的邏輯理論基礎(chǔ)[A];貴州省自然科學(xué)優(yōu)秀學(xué)術(shù)論文集[C];2005年

4 龔啟榮;林邦瑾;;制約邏輯是內(nèi)涵智能機(jī)的邏輯理論基礎(chǔ)[A];邏輯與認(rèn)知學(xué)術(shù)研討會(huì)會(huì)議論文集[C];2004年

5 黨繼勝;汪學(xué)明;;制約邏輯與BAN邏輯結(jié)合的研究[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

6 黃國(guó)芳;汪學(xué)明;;從制約邏輯到法律推理的思考[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

7 汪學(xué)明;;制約邏輯與計(jì)算機(jī)科學(xué)相關(guān)問題的探討[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

8 張四化;葛宇寧;;從對(duì)集合論悖論的剖析看制約邏輯的客體性[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

9 盛作國(guó);胡紅;;情報(bào)推理的邏輯理論工具——制約邏輯在情報(bào)科學(xué)中的應(yīng)用[A];貴州制約邏輯學(xué)會(huì)2005年學(xué)術(shù)年會(huì)暨首屆全國(guó)性邏輯系統(tǒng)專題研討會(huì)論文集[C];2005年

10 ;前言[A];邏輯學(xué)及其應(yīng)用研究——第四屆全國(guó)邏輯系統(tǒng)、智能科學(xué)與信息科學(xué)學(xué)術(shù)會(huì)議論文集[C];2008年

中國(guó)重要報(bào)紙全文數(shù)據(jù)庫(kù) 前2條

1 本報(bào)記者 周靜;[N];貴州日?qǐng)?bào);2009年

2 本報(bào)記者 周靜;[N];貴州日?qǐng)?bào);2008年

  本文關(guān)鍵詞：林邦瑾邏輯哲學(xué)思想研究，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：172281