在命題邏輯的范圍之內(nèi),否定作為各類邏輯系統(tǒng)中必不可少的一元連接詞,其確定的意義和適用范圍一直存在爭議,也因此,構(gòu)建于否定基礎(chǔ)之上的各類邏輯系統(tǒng)之間的關(guān)系也不甚明了。當(dāng)非經(jīng)典邏輯系統(tǒng)選擇不承認(rèn)經(jīng)典邏輯中的矛盾律或是排中律等定理時,并未切中其更為本質(zhì)的區(qū)別,即對否定詞及其涉及的定理在認(rèn)識上的區(qū)別。因而在闡釋不同系統(tǒng)所具有的性質(zhì)時,真正核心的問題,應(yīng)著眼于澄清經(jīng)典否定與其他非經(jīng)典邏輯系統(tǒng)中否定的關(guān)系,并在此基礎(chǔ)上,進(jìn)一步澄清經(jīng)典邏輯系統(tǒng)與其他邏輯系統(tǒng)之間的關(guān)系。 

【文章來源】：貴州工程應(yīng)用技術(shù)學(xué)院學(xué)報. 2019,37(06)

【文章頁數(shù)】：6 頁

【部分圖文】：

“否定風(fēng)箏”圖

在馮艷的文章《論經(jīng)典否定、直覺主義否定和弗協(xié)調(diào)否定》中，她認(rèn)為經(jīng)典否定，直覺主義否定和亞相容否定滿足圖2[8]:以集合論的方式解讀該圖，經(jīng)典否定的性質(zhì)作為全集，直覺主義否定的性質(zhì)和亞相容否定的性質(zhì)分別為經(jīng)典否定性質(zhì)的非空真子集，并且前二者的對稱差運算和交運算均不為空。

直覺主義否定、經(jīng)典否定、亞相容否定性質(zhì)的關(guān)系

【參考文獻(xiàn)】：
期刊論文
[1]量子邏輯與量子計算邏輯——語境視角下的“量子邏輯”辨析[J]. 郭貴春,王凱寧.  山西大學(xué)學(xué)報(哲學(xué)社會科學(xué)版). 2012(03)
[2]論經(jīng)典否定、直覺主義否定和弗協(xié)調(diào)否定[J]. 馮艷.  自然辯證法研究. 2005(02)



本文編號：3030595