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

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

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

【參考文獻(xiàn)】

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

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

【共引文獻(xiàn)】

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

1 杜國(guó)平;馬亮;;哲思邏輯的判定問(wèn)題[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2007年05期

2 杜國(guó)平;;知識(shí)蘊(yùn)涵時(shí)態(tài)邏輯系統(tǒng)[J];安徽大學(xué)學(xué)報(bào)(哲學(xué)社會(huì)科學(xué)版);2009年05期

3 杜國(guó)平;王洪光;李娜;朱梧i，

本文編號(hào)：914474