掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
否定詞研究 版權信息
- ISBN：9787516143155
- 條形碼：9787516143155 ; 978-7-5161-4315-5
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
否定詞研究 本書特色
由余俊偉所著的《否定詞研究》系統地論述了各 種形態否定詞，包括直覺主義邏輯、相干邏輯及弗協 調邏輯這三種非經典邏輯中的否定，以及比直覺主義 更弱的一些系統中的否定，其中包括作者自己構造的 一個極小的弗協調邏輯系統的否定。作者使用鄰域語 義學詳細考察了這些弱否定的邏輯特征，得到了更為 一般的結果，并從多種角度、多個方面闡釋繁瑣的證 明與抽象的理論結果，盡量對其給予直觀的說明，以 便讀者更容易領會抽象定理背后的思想。
否定詞研究 內容簡介
由余俊偉所著的《否定詞研究》系統地論述了各種形態否定詞的特征，包括直覺主義邏輯、相干邏輯以及弗協調邏輯等三種非經典邏輯中的否定，以及比直覺主義更弱的一些系統中的否定。作者從多種角度、多個方面來闡釋其中的否定詞，特別是對一些抽象的理論結果與繁瑣的證明作了較為直觀的說明，讓讀者更容易領會抽象定理背后的思想。作者還使用鄰域語義學對各種弱否定進行了系統的研究，得到了更為一般的結果，并進一步闡述了弗協調邏輯等非經典邏輯的哲學思想。作者構造了一個極小的弗協調邏輯系統，研究了其元性質，并指出當前文獻中廣泛使用的弗協調邏輯判定方法存在錯誤，給出了修改方案。
否定詞研究 目錄
**章 直覺主義邏輯 **節 經典否定簡述 第二節 直覺主義邏輯中的否定第二章 其他弱否定系統 **節 模態角度與極小邏輯 第二節 經典命題邏輯、直覺主義邏輯及極小邏輯間的關系 第三節 初基演算 第四節 一個極小的弗協調邏輯系統第三章 相干邏輯第四章 弗協調邏輯 **節 弗協調邏輯史概述 第二節 弗協調命題邏輯 第三節 c1的代數特征 第四節 弗協調邏輯的哲學含義 第五節 弗協調模態命題邏輯第五章 從代數的觀點看否定 **節 從鄰域語義學的觀點看否定 第二節 星語義與正交語義 第三節 語義間的比較及相關問題 第四節 基于經典邏輯上的弱否定參考文獻
展開全部
否定詞研究 作者簡介
余俊偉，江西安義人。分別于1995年、1998年在華東師范大學獲教育學學士學位、哲學碩士學位，2001年于中國社會科學院研究生院獲哲學博士學位。2001年至今任教于中國人民大學，其間赴阿姆斯特丹大學訪學一年。現任中國人民大學哲學院副教授、邏輯教研室主任。
書友推薦
- >
名家帶你讀魯迅:故事新編
- >
煙與鏡
- >
龍榆生：詞曲概論/大家小書
- >
羅曼·羅蘭讀書隨筆-精裝
- >
巴金－再思錄
- >
隨園食單
- >
二體千字文
- >
【精裝繪本】畫給孩子的中國神話
本類暢銷
