【摘要】："實(shí)質(zhì)蘊(yùn)涵怪論"問題是困擾經(jīng)典邏輯的語(yǔ)義問題,在解決它的過(guò)程中產(chǎn)生了嚴(yán)格蘊(yùn)涵和相干蘊(yùn)涵,出現(xiàn)了模態(tài)邏輯和相干邏輯。模態(tài)邏輯中仍然有"嚴(yán)格蘊(yùn)涵怪論"。相干邏輯避免了"蘊(yùn)涵怪論",但把一些有效的推理形式排除在外,還具有不可判定性。"蘊(yùn)涵怪論"是由于對(duì)推理關(guān)系進(jìn)行形式化(數(shù)學(xué)化)引起的,因此,我們可以拋開形式系統(tǒng)來(lái)尋找一種方法避免"怪論"。本文將給出一個(gè)消除"蘊(yùn)涵怪論"的可行方法———?dú)W拉圖解方法。
[Abstract]:The problem of "substantive implication strange theory" is a semantic problem that puzzles classical logic. In the process of solving it, strict implication and coherent implication are produced, and modal logic and coherent logic appear. There is still strict implication strange theory in modal logic. Coherent logic avoids "implication strange theory", but it also has undeterminability by excluding some effective forms of reasoning. " The implication theory is caused by the formalization (mathematical) of the reasoning relation, so we can put aside the formal system to find a way to avoid the "strange theory". In this paper, we will give a feasible method to eliminate the theory of implication strangeness-Euler graph solution method.
【作者單位】： 河南大學(xué)哲學(xué)系
【基金】：河南大學(xué)人文社科重點(diǎn)項(xiàng)目(05ZDRW005)
【分類號(hào)】：B812

【參考文獻(xiàn)】

相關(guān)期刊論文 前1條

1 霍書全;百年“怪論”的有效消解[J];河南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2005年03期

【共引文獻(xiàn)】

相關(guān)期刊論文 前1條

1 周海娟;肖偉華;;蘊(yùn)涵“怪論”—邏輯的必然[J];和田師范專科學(xué)校學(xué)報(bào);2007年04期

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 霍書全;;推理關(guān)系形式化產(chǎn)生的問題及哲學(xué)思考[J];廣東廣播電視大學(xué)學(xué)報(bào);2006年04期

2 周云之;后期墨家已經(jīng)提出了相當(dāng)于三段論的推理形式——論“故”、“理”、“類”與“三物論式”[J];哲學(xué)研究;1989年04期

3 張大松;;論科學(xué)思維的溯因推理[J];華中師范大學(xué)學(xué)報(bào)(人文社會(huì)科學(xué)版);1993年03期

4 劉愛倫,隋華杰;論述理解中邏輯有效與邏輯無(wú)效條件推理的研究[J];應(yīng)用心理學(xué);2004年04期

5 劉葉濤;張雅楠;;論邏輯學(xué)與批判性思維的關(guān)系[J];學(xué)術(shù)論壇;2007年03期

6 劉葉濤;;形式邏輯與批判性思維[J];重慶社會(huì)科學(xué);2007年10期

7 吳堅(jiān);;批判性思維:邏輯的革命[J];北京理工大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版);2007年05期

8 劉本學(xué);;時(shí)態(tài)命題的對(duì)當(dāng)關(guān)系及推理[J];赤峰學(xué)院學(xué)報(bào)(漢文哲學(xué)社會(huì)科學(xué)版);2008年03期

9 羅惠娜;;邏輯思維及其應(yīng)用分析[J];法制與社會(huì);2011年21期

10 馬兵;;歸納法和歸納推理的結(jié)構(gòu)[J];學(xué)術(shù)月刊;1961年11期

相關(guān)會(huì)議論文 前10條

1 張金成;;系統(tǒng)DPA與ZCM的統(tǒng)一[A];1998年邏輯研究專輯[C];1998年

2 李先q;;論比喻推理[A];邏輯學(xué)文集[C];1978年

3 余軍成;;論“止”[A];“回顧與前瞻：中國(guó)邏輯史研究30年”全國(guó)學(xué)術(shù)研討會(huì)論文集[C];2010年

4 張振華;;關(guān)于傳統(tǒng)邏輯與現(xiàn)代邏輯的推理形式有效性判定方法之比較[A];第二屆海峽兩岸邏輯教學(xué)學(xué)術(shù)會(huì)議專輯[C];2006年

5 張振華;;關(guān)于傳統(tǒng)邏輯與現(xiàn)代邏輯推理形式有效性判定方法之比較[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

6 程仲棠;;邏輯與思維——從語(yǔ)義學(xué)的觀點(diǎn)看[A];1993年邏輯研究專輯[C];1993年

7 彭自強(qiáng);;《公孫龍子》中一種特殊的推理形式及其意義[A];邏輯研究文集——中國(guó)邏輯學(xué)會(huì)第六次代表大會(huì)暨學(xué)術(shù)討論會(huì)論文集[C];2000年

8 蘇天輔;;試說(shuō)中國(guó)古代的邏輯[A];邏輯、語(yǔ)言與思維——周禮全先生八十壽辰紀(jì)念文集[C];2001年

9 朱波;;論形式邏輯有無(wú)階級(jí)性問題[A];邏輯學(xué)文集[C];1978年

10 徐為民;;維特根斯坦論原初命題的一種推理形式[A];1994年邏輯研究專輯[C];1994年

相關(guān)重要報(bào)紙文章 前10條

1 內(nèi)蒙古醫(yī)學(xué)院中醫(yī)學(xué)院 任秀玲;走向中醫(yī)理論殿堂的思維鑰匙[N];中國(guó)中醫(yī)藥報(bào);2008年

2 陳新安;淺談公訴意見的邏輯性[N];江蘇經(jīng)濟(jì)報(bào);2005年

3 劉國(guó)強(qiáng) 薛文運(yùn) 張錦峰;“法式檢押”可模擬辨證論治對(duì)號(hào)入座過(guò)程[N];中國(guó)中醫(yī)藥報(bào);2006年

4 任秀玲;中醫(yī)哲學(xué)的內(nèi)涵及使命[N];中國(guó)中醫(yī)藥報(bào);2007年

5 任秀玲;“道”范疇的形成及意義[N];中國(guó)中醫(yī)藥報(bào);2005年

6 劉如;如何使員工更加“職業(yè)”？[N];電腦商報(bào);2010年

7 賈春華 王永炎 黃啟福 魯兆麟;以象為素 以素為候 以候?yàn)樽C[N];中國(guó)中醫(yī)藥報(bào);2005年

8 王愛民 （作者系定西一中高級(jí)教師）;從語(yǔ)文考試大綱的調(diào)整看作文備考[N];定西日?qǐng)?bào);2007年

9 本報(bào)記者 杜玉萍;探究司母戊大方鼎鑄造之謎[N];江蘇科技報(bào);2006年

10 李亞冰;音樂欣賞需要情感體驗(yàn)[N];中國(guó)教師報(bào);2002年

相關(guān)博士學(xué)位論文 前8條

1 薛占熬;柔性區(qū)間邏輯及推理研究[D];西北工業(yè)大學(xué);2006年

2 黃志強(qiáng);佛教邏輯比較研究[D];中國(guó)人民大學(xué);2002年

3 姚志強(qiáng);演繹推理中信念偏差效應(yīng)的研究[D];南京師范大學(xué);2005年

4 賴家俊;基于語(yǔ)言真值格值一階邏輯的不確定性推理研究[D];西南交通大學(xué);2011年

5 馬駿;基于格蘊(yùn)涵代數(shù)的格值邏輯系統(tǒng)及其自動(dòng)推理的研究[D];西南交通大學(xué);2002年

6 吳國(guó)宏;蘊(yùn)涵概念內(nèi)隱獲得與發(fā)展的實(shí)驗(yàn)研究[D];華東師范大學(xué);2002年

7 潘小東;關(guān)于格值邏輯及其語(yǔ)言真值不確定性推理研究[D];西南交通大學(xué);2010年

8 李志偉;偏序集上的蘊(yùn)涵代數(shù)[D];首都師范大學(xué);2002年

相關(guān)碩士學(xué)位論文 前10條

1 張保壘;表列演算探究[D];華東師范大學(xué);2011年

2 鄒春堯;基于編排與編制一致性的系統(tǒng)設(shè)計(jì)[D];大連理工大學(xué);2008年

3 陳家旭;論案件事實(shí)認(rèn)定與證據(jù)運(yùn)用[D];西南政法大學(xué);2009年

4 趙巖;《經(jīng)下》邏輯理論考察[D];燕山大學(xué);2008年

5 車付翠;計(jì)算機(jī)科學(xué)中的邏輯應(yīng)用研究[D];燕山大學(xué);2011年

6 劉飛;非單調(diào)推理及其應(yīng)用[D];河南大學(xué);2011年

7 李璐偉;基于規(guī)則攝動(dòng)新度量方法的模糊推理魯棒性研究[D];長(zhǎng)沙理工大學(xué);2009年

8 秦波;邏輯視野下的推定理論分析[D];河南大學(xué);2006年

9 劉板;現(xiàn)代漢語(yǔ)演繹推理標(biāo)志研究[D];廣西師范大學(xué);2007年

10 張鳳華;條件推理的集合映射模型再探[D];西南大學(xué);2007年

，

本文編號(hào)：2479704