本文關(guān)鍵詞：一個命題邏輯的反駁演算系統(tǒng)

  更多相關(guān)文章： 命題邏輯 邏輯有效式 維茨 矛盾式 現(xiàn)代邏輯 當(dāng)且僅當(dāng) 公式集 證明系統(tǒng) 智力活動 公理系統(tǒng)

【摘要】：正論證過程包括相互聯(lián)系的兩個方面:證明和反駁。證明是論證主體對所贊成的觀點進行辯護的過程,反駁是論證主體對所反對的觀點進行歸謬的過程;證明是求得真知的過程,反駁是揭露謬誤的過程;證明所依據(jù)的是邏輯有效式,反駁所依據(jù)的是邏輯矛盾式。自現(xiàn)代邏輯產(chǎn)生以來,人們發(fā)現(xiàn)、建構(gòu)了許多證明系統(tǒng),但是對于反駁的研究,相比較而言,則顯得非常匱乏。盧卡西維茨曾經(jīng)指出:"關(guān)于斷定一個命題和排斥一個命題這兩種智力活動,現(xiàn)代形式邏輯只就第一種加以考慮。弗萊格把
【作者單位】： 中國社會科學(xué)院哲學(xué)所;
【關(guān)鍵詞】： 命題邏輯;邏輯有效式;維茨;矛盾式;現(xiàn)代邏輯;當(dāng)且僅當(dāng);公式集;證明系統(tǒng);智力活動;公理系統(tǒng);
【分類號】：B812.22
【正文快照】： 論證過程包括相互聯(lián)系的兩個方面:證明和反駁。證明是論證主體對所贊成的觀點進行辯護的過程,反駁是論證主體對所反對的觀點進行歸謬的過程;證明是求得真知的過程,反駁是揭露謬誤的過程;證明所依據(jù)的是邏輯有效式,反駁所依據(jù)的是邏輯矛盾式。自現(xiàn)代邏輯產(chǎn)生以來,人們發(fā)現(xiàn)、建

【參考文獻】

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

1 劉新文;;命題邏輯的證偽系統(tǒng)[J];湖南科技大學(xué)學(xué)報(社會科學(xué)版);2011年03期

【共引文獻】

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

1 杜國平;馬亮;;哲思邏輯的判定問題[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2007年05期

2 杜國平;;知識蘊涵時態(tài)邏輯系統(tǒng)[J];安徽大學(xué)學(xué)報(哲學(xué)社會科學(xué)版);2009年05期

3 杜國平;王洪光;李娜;朱梧i，

本文編號：914474