由余俊偉所著的《否定詞研究》系統(tǒng)地論述了各 種形態(tài)否定詞，包括直覺主義邏輯、相干邏輯及弗協(xié) 調(diào)邏輯這三種非經(jīng)典邏輯中的否定，以及比直覺主義 更弱的一些系統(tǒng)中的否定，其中包括作者自己構(gòu)造的 一個極小的弗協(xié)調(diào)邏輯系統(tǒng)的否定。作者使用鄰域語 義學(xué)詳細(xì)考察了這些弱否定的邏輯特征，得到了更為 一般的結(jié)果，并從多種角度、多個方面闡釋繁瑣的證 明與抽象的理論結(jié)果，盡量對其給予直觀的說明，以 便讀者更容易領(lǐng)會抽象定理背后的思想。
由余俊偉所著的《否定詞研究》系統(tǒng)地論述了各種形態(tài)否定詞的特征，包括直覺主義邏輯、相干邏輯以及弗協(xié)調(diào)邏輯等三種非經(jīng)典邏輯中的否定，以及比直覺主義更弱的一些系統(tǒng)中的否定。作者從多種角度、多個方面來闡釋其中的否定詞，特別是對一些抽象的理論結(jié)果與繁瑣的證明作了較為直觀的說明，讓讀者更容易領(lǐng)會抽象定理背后的思想。作者還使用鄰域語義學(xué)對各種弱否定進(jìn)行了系統(tǒng)的研究，得到了更為一般的結(jié)果，并進(jìn)一步闡述了弗協(xié)調(diào)邏輯等非經(jīng)典邏輯的哲學(xué)思想。作者構(gòu)造了一個極小的弗協(xié)調(diào)邏輯系統(tǒng)，研究了其元性質(zhì)，并指出當(dāng)前文獻(xiàn)中廣泛使用的弗協(xié)調(diào)邏輯判定方法存在錯誤，給出了修改方案。
余俊偉，江西安義人。分別于1995年、1998年在華東師范大學(xué)獲教育學(xué)學(xué)士學(xué)位、哲學(xué)碩士學(xué)位，2001年于中國社會科學(xué)院研究生院獲哲學(xué)博士學(xué)位。2001年至今任教于中國人民大學(xué)，其間赴阿姆斯特丹大學(xué)訪學(xué)一年。現(xiàn)任中國人民大學(xué)哲學(xué)院副教授、邏輯教研室主任。
第一章 直覺主義邏輯 第一節(jié) 經(jīng)典否定簡述 第二節(jié) 直覺主義邏輯中的否定第二章 其他弱否定系統(tǒng) 第一節(jié) 模態(tài)角度與極小邏輯 第二節(jié) 經(jīng)典命題邏輯、直覺主義邏輯及極小邏輯間的關(guān)系 第三節(jié) 初基演算 第四節(jié) 一個極小的弗協(xié)調(diào)邏輯系統(tǒng)第三章 相干邏輯第四章 弗協(xié)調(diào)邏輯 第一節(jié) 弗協(xié)調(diào)邏輯史概述 第二節(jié) 弗協(xié)調(diào)命題邏輯 第三節(jié) C1的代數(shù)特征 第四節(jié) 弗協(xié)調(diào)邏輯的哲學(xué)含義 第五節(jié) 弗協(xié)調(diào)模態(tài)命題邏輯第五章 從代數(shù)的觀點(diǎn)看否定 第一節(jié) 從鄰域語義學(xué)的觀點(diǎn)看否定 第二節(jié) 星語義與正交語義 第三節(jié) 語義間的比較及相關(guān)問題 第四節(jié) 基于經(jīng)典邏輯上的弱否定參考文獻(xiàn)
書單推薦
