發(fā)布時(shí)間：2021-02-12 08:58

　　在命題邏輯的范圍之內(nèi),否定作為各類邏輯系統(tǒng)中必不可少的一元連接詞,其確定的意義和適用范圍一直存在爭(zhēng)議,也因此,構(gòu)建于否定基礎(chǔ)之上的各類邏輯系統(tǒng)之間的關(guān)系也不甚明了。當(dāng)非經(jīng)典邏輯系統(tǒng)選擇不承認(rèn)經(jīng)典邏輯中的矛盾律或是排中律等定理時(shí),并未切中其更為本質(zhì)的區(qū)別,即對(duì)否定詞及其涉及的定理在認(rèn)識(shí)上的區(qū)別。因而在闡釋不同系統(tǒng)所具有的性質(zhì)時(shí),真正核心的問題,應(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é)報(bào). 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ì)的非空真子集，并且前二者的對(duì)稱差運(yùn)算和交運(yùn)算均不為空。

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

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



本文編號(hào)：3030595