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