《否定詞研究》是2014年4月1日中國社會科學出版社出版的圖書,作者是余俊偉。
基本介紹
- 書名:否定詞研究
- 出版社:中國社會科學出版社
- 頁數:190頁
- ISBN:9787516143155
- 作者:余俊偉
- 出版日期:2014年4月1日
- 開本:32
內容簡介,作者簡介,圖書目錄,
內容簡介
《否定詞研究》作者還使用鄰域語義學對各種弱否定進行了系統的研究,得到了更為一般的結果,並進一步闡述了弗協調邏輯等非經典邏輯的哲學思想。作者構造了一個極小的弗協調邏輯系統,研究了其元性質,並指出當前文獻中廣泛使用的弗協調邏輯判定方法存在錯誤,給出了修改方案。
作者簡介
余俊偉,江西安義人。分別於1995年、1998年在華東師範大學獲教育學學士學位、哲學碩士學位,2001年於中國社會科學院研究生院獲哲學博士學位。2001年至今任教於中國人民大學,其間赴阿姆斯特丹大學訪學一年。現任中國人民大學哲學院副教授、邏輯教研室主任。
圖書目錄
第一章直覺主義邏輯
第一節經典否定簡述
第二節直覺主義邏輯中的否定
第二章其他弱否定系統
第一節模態角度與極小邏輯
第二節經典命題邏輯、直覺主義邏輯及極小邏輯間的關係
第三節初基演算
第四節一個極小的弗協調邏輯系統
第三章相干邏輯
第四章弗協調邏輯
第一節弗協調邏輯史概述
第二節弗協調命題邏輯
第三節C1的代數特徵
第四節弗協調邏輯的哲學含義
第五節弗協調模態命題邏輯
第五章從代數的觀點看否定
第一節從鄰域語義學的觀點看否定
第二節星語義與正交語義
第三節語義間的比較及相關問題
第四節基於經典邏輯上的弱否定
參考文獻
第一節經典否定簡述
第二節直覺主義邏輯中的否定
第二章其他弱否定系統
第一節模態角度與極小邏輯
第二節經典命題邏輯、直覺主義邏輯及極小邏輯間的關係
第三節初基演算
第四節一個極小的弗協調邏輯系統
第三章相干邏輯
第四章弗協調邏輯
第一節弗協調邏輯史概述
第二節弗協調命題邏輯
第三節C1的代數特徵
第四節弗協調邏輯的哲學含義
第五節弗協調模態命題邏輯
第五章從代數的觀點看否定
第一節從鄰域語義學的觀點看否定
第二節星語義與正交語義
第三節語義間的比較及相關問題
第四節基於經典邏輯上的弱否定
參考文獻