本文關(guān)鍵詞：知識(shí)蘊(yùn)涵直覺主義邏輯系統(tǒng)

  更多相關(guān)文章： 知識(shí)蘊(yùn)涵 直覺主義 司各脫法則 矛盾

【摘要】：在知識(shí)蘊(yùn)涵命題邏輯的基礎(chǔ)上,借助強(qiáng)知識(shí)蘊(yùn)涵,可以構(gòu)建知識(shí)蘊(yùn)涵直覺主義邏輯系統(tǒng)。結(jié)合知識(shí)蘊(yùn)涵邏輯和直覺主義邏輯的形式語(yǔ)義,可以證明知識(shí)蘊(yùn)涵直覺主義邏輯系統(tǒng)具有可靠性和完全性。在該系統(tǒng)中,矛盾律仍然成立,但是排中律、雙重否定消去律、司各脫法則都不再成立。在該系統(tǒng)中,弗協(xié)調(diào)邏輯和直覺主義邏輯的基本特征都被保留了下來(lái),該系統(tǒng)給出了一個(gè)處理矛盾問題的既是弗協(xié)調(diào)的、又是直覺主義的兼容方案。
【作者單位】： 中國(guó)社會(huì)科學(xué)院哲學(xué)研究所;
【關(guān)鍵詞】： 知識(shí)蘊(yùn)涵 直覺主義 司各脫法則 矛盾
【基金】：國(guó)家社會(huì)科學(xué)基金項(xiàng)目“不協(xié)調(diào)理論的推理機(jī)制研究”(10BZX054)階段性成果
【分類號(hào)】：B812
【正文快照】： 為了解決包含不協(xié)調(diào)信息的知識(shí)系統(tǒng)的推理問題,我們建立了知識(shí)蘊(yùn)涵邏輯的命題邏輯系統(tǒng)、模態(tài)邏輯系統(tǒng)、時(shí)態(tài)邏輯系統(tǒng)以及謂詞邏輯系統(tǒng)[1-9],本文將在上述工作的基礎(chǔ)上,在強(qiáng)知識(shí)蘊(yùn)涵的基礎(chǔ)上將知識(shí)蘊(yùn)涵邏輯推廣到直覺主義邏輯系統(tǒng)之中,建立知識(shí)蘊(yùn)涵直覺主義命題邏輯系統(tǒng)。在該

【參考文獻(xiàn)】

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

1 杜國(guó)平;馬亮;;哲思邏輯的判定問題[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)：852115