版權資訊
書 名: 次協調邏輯與人工智慧
作 者：桂起權 朱福喜
出版社： 武漢大學出版社
出版時間： 2002
ISBN: 9787307031685
開本： 32
定價: 33.00 元
媒體推薦
書評
(次協調邏輯創始人專為本書所作)
經典(演繹)邏輯的特色可以概述於下：它是由經典一階謂詞演算(帶等詞或不帶等詞)及其擴展(如經典集合論各體系，有策梅羅一弗蘭克-馮諾意曼一貝納斯·哥德爾、凱利一莫爾斯、蒯因的NF等系統)和經典高階邏輯(幾種經典類型論系統)構成的。在這些系統中，有一些子系統也被看做是經典邏輯的一部分，如經典蘊涵邏輯和經典肯定邏輯。
非經典邏輯現有兩類：a)擴展邏輯，b)非正統邏輯或異常邏輯。第一類邏輯擴充了經典邏輯的領域，經典模態邏輯、經典時態邏輯、經典內涵邏輯就是這樣的邏輯。第二種邏輯限制或取消了經典邏輯的某些(句法或語義)原則，這些邏輯有直覺主義邏輯、多值邏輯和次協調邏輯等。
構造非經典邏輯是我們這個時代的基本特色之一，這是一個徹底的文化變革的時代。專而論之，次協調邏輯是我們這個時代最有革命性的進步之一。G．H．馮·賴特說，這種邏輯是20世紀下半葉邏輯學上最有意義的發展之一。
從根本上說，我們能夠用次協調邏輯來處理不協調(有矛盾)但有意義的理論(不允許我們從一個矛盾[命題]推證一切，像在經典邏輯和一些非經典邏輯中發生的那樣)。
次協調邏輯幾乎適用於一切知識領域。例如，我們可以運用次協調技術把辯證法系統化[形式化]，構造強有力的次協調數學(拓廣現有的經典數學)。處理邏輯程式編制和人工智慧中的問題。另一方面。從赫拉克利特到當代馬克思主義，次協調的思想和方法在哲學和科學領域得到自覺的或不自覺的運用。
本書有對次協調邏輯及其歷史和某些最重要的套用的精彩介紹。毫無疑問，不管是對哲學家、數學家、科學家、計算機和信息專家，還是對普通人，只要關心次協調性文獻的問題，本書將大有裨益。本書的作者近幾年致力於這個領域的研究，並且在某些方面很有特色，這足以說明本書的質量是不錯的。
近30年來，我把心血全部花在次協調邏輯及相關課題上。對於像我這樣一個邏輯學家，為眼前這本書作序是一件樂事。我希望本書有益於中國邏輯學的大進步。這個國家有令人讚嘆的文明，這是一片有著最奇異的文化成就的國土。也許，在不遠的將來，中國將成為次協調邏輯之國。說開去，中國將成為邏輯之國。
1997年12月4日 巴西聖保羅
牛頓．c．A．達科斯塔
目錄
序
前言
第一編 次協調邏輯及其基本原理
第一章 次協調邏輯是從哪裡來的
第一節 次協調思想並不神秘：幾個引例
第二節 為什麼會產生新邏輯
第三節 次協調邏輯的現實原型
第四節 悖論、二律背反與次協調邏輯
第五節 “協調論”、“交際思維學”中的次協調思想
第二章 次協調邏輯發展簡史
第一節 盧卡西維茨論亞氏矛盾律
第二節 瓦西里也夫的“榻象邏輯”
第三節 雅斯可夫斯基的“商討邏輯”
第三章 達科斯塔的次協調邏輯
第一節 概述
第二節 次協調命題演算C
第三節 次協調謂詞嚳算與摹狀詞演算
第四節 次協調集合論的基本思想
第四章 次協調邏輯的其他分支
第一節 為什麼需要有次協調道義邏輯
第二節 次協調道義演算C
第三節 C的道義可能世界語義學
第四節 為什麼會有次協調辯證邏輯
第五節 次協調辯證邏輯DL系統的公理
第六節 次協調辨 證邏輯DL系統的元定理
第七節 次協調辯證邏輯DL系統的語義學
第八節 次協調辯證邏輯DL系統的擴展
第九節 次協調時態邏輯大意
第十節 次協調邏輯在其他方面的發展
第五章 次協調邏輯的哲學意義
第一節 次協調邏輯與邏輯哲學
第二節 次協調邏輯與辯證哲學
第二編 創建次協調邏輯新系統的嘗試
第六章 基本構架——可用形式理論的符號表達
第一節 推理關係符號的約定
第二節 對“理髮師悖論”與康托定理的形式化再分析
第三節 可用形式理論的公理構架
第七章 陷悖論邏輯Lpm及其擴展
第一節 引論
第二節 Lpm的語義與語義推理
第三節 Lpm命題演算的證明論——極小化語義表推演
第四節 Lpm命題演算的邏輯特性
……
第八章 次協調性的相干邏輯PC（1）
第九章 次協調性的相干邏輯PC（2）
第十章 規範邏輯及法律邏輯的新系統
第十一章 次協調性相干模糊邏輯PFZ
第十二章 哲學邏輯其他新公理系統
第三編 次協調邏輯在人工智慧領域中的套用
第十三章 次協調邏輯在不協調知識庫中進行推理的理論與套用
第十四章 次協調邏輯自動定理證明的理論與實現
附錄
