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

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

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

【參考文獻(xiàn)】

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

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

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

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

本文編號：852115