相關商品
商品簡介
作者簡介
名人/編輯推薦
目次
商品簡介
由余俊偉所著的《否定詞研究》系統地論述了各 種形態否定詞，包括直覺主義邏輯、相干邏輯及弗協 調邏輯這三種非經典邏輯中的否定，以及比直覺主義 更弱的一些系統中的否定，其中包括作者自己構造的 一個極小的弗協調邏輯系統的否定。作者使用鄰域語 義學詳細考察了這些弱否定的邏輯特征，得到了更為 一般的結果，并從多種角度、多個方面闡釋繁瑣的證 明與抽象的理論結果，盡量對其給予直觀的說明，以 便讀者更容易領會抽象定理背后的思想。
作者簡介
名人/編輯推薦
由余俊偉所著的《否定詞研究》系統地論述了各種形態否定詞的特征，包括直覺主義邏輯、相干邏輯以及弗協調邏輯等三種非經典邏輯中的否定，以及比直覺主義更弱的一些系統中的否定。作者從多種角度、多個方面來闡釋其中的否定詞，特別是對一些抽象的理論結果與繁瑣的證明作了較為直觀的說明，讓讀者更容易領會抽象定理背后的思想。作者還使用鄰域語義學對各種弱否定進行了系統的研究，得到了更為一般的結果，并進一步闡述了弗協調邏輯等非經典邏輯的哲學思想。作者構造了一個極小的弗協調邏輯系統，研究了其元性質，并指出當前文獻中廣泛使用的弗協調邏輯判定方法存在錯誤，給出了修改方案。
目次
第一章 直覺主義邏輯 第一節 經典否定簡述 第二節 直覺主義邏輯中的否定 第二章 其他弱否定系統 第一節 模態角度與極小邏輯 第二節 經典命題邏輯、直覺主義邏輯及極小邏輯間的關系 第三節 初基演算 第四節 一個極小的弗協調邏輯系統 第三章 相干邏輯 第四章 弗協調邏輯 第一節 弗協調邏輯史概述 第二節 弗協調命題邏輯 第三節 C1的代數特征 第四節 弗協調邏輯的哲學含義 第五節 弗協調模態命題邏輯 第五章 從代數的觀點看否定 第一節 從鄰域語義學的觀點看否定 第二節 星語義與正交語義 第三節 語義間的比較及相關問題 第四節 基于經典邏輯上的弱否定 參考文獻
您曾經瀏覽過的商品
購物須知
大陸出版品因裝訂品質及貨運條件與台灣出版品落差甚大，除封面破損、內頁脫落等較嚴重的狀態，其餘商品將正常出貨。
特別提醒：部分書籍附贈之內容(如音頻mp3或影片dvd等)已無實體光碟提供，需以QR CODE 連結至當地網站註冊“並通過驗證程序”，方可下載使用。
無現貨庫存之簡體書，將向海外調貨：
海外有庫存之書籍，等候約45個工作天;
海外無庫存之書籍，平均作業時間約60個工作天，然不保證確定可調到貨，尚請見諒。
為了保護您的權益，「三民網路書店」提供會員七日商品鑑賞期(收到商品為起始日)。
若要辦理退貨，請在商品鑑賞期內寄回，且商品必須是全新狀態與完整包裝(商品、附件、發票、隨貨贈品等)否則恕不接受退貨。