本文選題：反證法 + 歸謬法��； 參考：《自然辯證法研究》2005年03期

【摘要】：本文以現(xiàn)代命題邏輯為分析工具,證明了:在正命題邏輯系統(tǒng)的基礎(chǔ)上,反證法的證明能力強(qiáng)于歸謬法,它們之間相差一個雙重否定律;歸謬律與不矛盾律加上充分條件否定后件律相等價;反證律與不矛盾律、排中律、充分條件否定后件律加上選言推理否定肯定律相等價。
[Abstract]:Using modern propositional logic as an analytical tool, this paper proves that on the basis of positive propositional logic system, the proof ability of the counter-proof method is stronger than that of the reversion method, and the difference between them is a double negative law; The law of reverberation and the law of non-contradiction plus sufficient conditions negate the law of hindrances, the law of inverse proof and the law of non-contradiction, the law of exclusion of middle, the law of negation of sufficient conditions and the law of negation of choice of words and the law of negation of positivity.
【作者單位】： 南京航空航天大學(xué)計算機(jī)系
【基金】：國家社科基金項(xiàng)目(02CZX008) 南京大學(xué)引進(jìn)人才基金項(xiàng)目 南京大學(xué)川青年教育基金項(xiàng)目。
【分類號】：B812

【共引文獻(xiàn)】

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

1 王建;;聯(lián)結(jié)詞的可表性與完全集[J];紹興文理學(xué)院學(xué)報(自科版);2006年01期

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

1 陳樹偉;基于格蘊(yùn)涵代數(shù)的格值一階邏輯L_（vfl）中的不確定性推理研究[D];西南交通大學(xué);2006年

2 孫海濱;定性空間推理及其應(yīng)用技術(shù)研究[D];吉林大學(xué);2006年

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

1 邊培泉;基于邏輯的電子商務(wù)協(xié)議屬性的分析與研究[D];蘭州理工大學(xué);2004年

2 朱建林;形式化方法在基于構(gòu)件軟件重用中的應(yīng)用研究[D];河北大學(xué);2006年

3 劉軍;基于領(lǐng)域組件的教務(wù)管理信息系統(tǒng)研究與設(shè)計[D];南華大學(xué);2006年

4 陽小奇;一種基于契約的安全分析方法的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2006年

5 盧延鑫;邏輯學(xué)在計算機(jī)科學(xué)中的應(yīng)用[D];上海社會科學(xué)院;2008年

【相似文獻(xiàn)】

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

1 孫大爽;;淺談辯論中的邏輯方法[J];現(xiàn)代交際;2011年08期

2 ;[J];;年期

3 ;[J];;年期

4 ;[J];;年期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相關(guān)會議論文 前8條

1 孫中原;;矛盾律、歸謬法和歸謬類比——論墨家邏輯及其影響[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

2 王成功;;魯迅雜文中邏輯推理的運(yùn)用[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

3 孫中原;;中西邏輯比較研究[A];和諧社會：公共性與公共治理——2004學(xué)術(shù)前沿論壇論文集[C];2004年

4 文蘭;;理發(fā)師悖論不足以稱為悖論[A];1996年邏輯研究專輯[C];1996年

5 蔣星耀;;語用悖論的數(shù)學(xué)分析[A];2003年邏輯研究專輯[C];2003年

6 王心銘;;《墨經(jīng)》論類比[A];2000年邏輯研究專輯[C];2000年

7 李永銘;;自然推論:方法和意義[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

8 吳堅;;關(guān)于假言命題的真假問題的思考[A];1998年邏輯研究專輯[C];1998年

相關(guān)重要報紙文章 前1條

1 王希勇;《哲學(xué)研究》仍然是待解之謎[N];中華讀書報;2002年

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

1 盧蕓蓉;類比推理及其在論證中的應(yīng)用研究[D];湘潭大學(xué);2007年

2 徐哲;談判中的邏輯問題研究[D];內(nèi)蒙古師范大學(xué);2008年

3 王金紅;試論藏傳因明的應(yīng)成論式[D];燕山大學(xué);2008年

4 夏鵬鵬;先秦名家論辯思想探析[D];南京大學(xué);2011年

，

本文編號：1845066