辯證法的邏輯基礎

序
導言
第一章 弗協調邏輯的理論特征和基本性質
　第一節 弗協調邏輯肯定矛盾存在
　第二節 弗協調邏輯否定從矛盾可推出一切
　第三節 弗協調邏輯是一切弗協調理論的基礎邏輯
第二章 弗協調邏輯的理論淵源和歷史發展
　第一節 古代的弗協調思想
　第二節 弗協調邏輯的思想先驅
　第三節 弗協調邏輯的創立與發展
　第四節 弗協調邏輯在西方各國的發展概況
第三章 科斯塔的弗協調邏輯系統
　第一節 弗協調命題邏輯系統Cn
　第二節 Cn的語義解釋
　第三節 一階謂詞邏輯系統CN*
第四章 弗協調邏輯與辯證邏輯
　第一節 弗協調邏輯為哲學辯證法提供基礎邏輯
　第二節 運用弗協調邏輯來研究辯證邏輯的構想
　第三節 辯證命題邏輯系統DL
第五章 弗協調相干邏輯
　第一節 弗協調相干系統LP
　第二節 LP的構建意圖
　第三節 LP的准有效推理
　第四節 LP中的蘊涵
第六章 弗協調認知邏輯
　第一節 研究弗協調認知邏輯的必要性和可能性
　第二節 一個弗協調認知邏輯系統CnT（m）
　第三節 CnT（m）的語義解釋
第七章 悖論與弗協調邏輯
　第一節 從悖論的定義看弗協調解悖方案的本質
　第二節 弗協調邏輯對待矛盾和悖論的不同態度
　第三節 弗協調邏輯解悖方案的合理性和意義
第八章 弗協調邏輯的應用研究
　第一節 弗協調邏輯與人工智能的發展
　第二節 弗協調邏輯與法律適用
　第三節 弗協調邏輯與思維方式的變革
第四節 構建和諧社會理論的邏輯基礎
結論
參考文獻
后記

弗協調邏輯是哲學邏輯中的一個重要分支，是關於弗協調理論的邏輯，是迄今惟一能處理不協調理論（例如辯證法）的一類邏輯。它容忍矛盾，不取消矛盾，不從矛盾中只取一方來謀求協調，但要求不從相互否定的兩公式推出一切公式。弗協調邏輯發展前景廣闊，在計算機科學、人工智能、法律等方面都有應用，尤其對解決人工智能領域中不協調知識庫問題具有重要作用。開展弗協調邏輯的研究將有助於增進和擴大弗協調邏輯的影響，對於進一步發展非經典邏輯和開展邏輯哲學的深入研究也將產生積極作用。楊武金完成的項目成果《辯證法的邏輯基礎》其意義就在於斯，是一件很有意義的工作。

全書共分八章，在第一、二兩章全面討論弗協調邏輯的理論特征、思想來源和發展脈絡的基礎上，於第三章着重論述了科斯塔的一系列弗協調邏輯系統，第四章具體考察了科斯塔與沃爾夫合作運用弗協調邏輯思想建立的辯證邏輯系統DL，第五章深人分析和評述了普里斯特所建立的悖論邏輯系統LP及其相關問題，第六章以科斯塔的弗協調命題邏輯為基礎建立起了一個弗協調認知邏輯系統CnT（m），第七章對弗協調邏輯在悖論問題上的立場和觀點進行了一些思考和分析，最后一章對弗協調邏輯在人工智能和法律等領域中的應用做了一些具體考察。全書敘述清晰准確，有自己的創作（例如系統CnT（m），必將有助於國內讀者對費協調邏輯的了解，也將有助於推動我國開展這方面的研究。

最后，我認為楊武金已很好地完成了本課題的工作，研究方法科學合理，師生共創是一大特色。科斯塔系統Cw的語義是單獨處理的，作者在論述中沒有注意細加區分，這是本書的一個不足之處，其余方面無明顯的不足和問題。