1.4 邏輯的本質

人類的知識大體上可以分為兩類，一類是關于理性的知識，這是獨立于人的經驗的知識，它可以通過理性分析來獲得；一類是關于經驗的知識，這是通過后天的活動獲得的知識。[6]邏輯無疑是屬于關于理性的知識，它可以通過人類純粹的理性分析而獲得。

邏輯知識既然是理性分析的結果，那么它的創造性就不僅體現在它的應用開發方面，還體現在理論自身的研究方面。著名邏輯學家皮爾斯（C.S.Peirce）認為：

邏輯的所有應用加在一起，都無法與寶貴的純粹邏輯理論本身相比。當你登高望遠，一覽這門科學的全貌，就會看到，我們眼下享有的邏輯理論，乃是理性視野的極致，天與地都是為這理性而造。[7]

基于此，本書主要從純粹理論的角度來提出解決司各脫法則問題的其他策略，建立新的弗協調邏輯系統，并兼而論述有關應用。

邏輯研究抽象的推理結構，正如希爾伯特建議的那樣：“數學家（或者邏輯學家）不僅應當要考慮那些貼近現實的理論，也應該象在幾何學研究中那樣，考慮所有邏輯上可能的理論。”[8]弗協調邏輯產生的一個理論動因就是受非歐幾何的啟發，構造一種新的非經典邏輯。與此類似，如果我們把已經產生的弗協調邏輯稱之為經典弗協調邏輯的話，我們也可以構造非經典的弗協調邏輯，只要它是一種邏輯上可能的理論。

非歐幾何的產生并不否定歐氏幾何，同樣非經典邏輯也不否定經典邏輯，只是它們處理的推理結構不同，適用的對象也不同。邏輯一般不斷定推理結構的本體是什么，它斷定的僅僅是：如果對象是這樣的推理結構，那么就應該遵守與此推理結構相應的這樣的推理規則；如果對象是那樣的推理結構，那么就應該遵守與彼推理結構相應的那樣的推理規則。因此，我們建立新的弗協調邏輯也并不以帶有先入之見地去努力論證經典弗協調邏輯可能存在的局限性為前提。

理論上存在，實際上也確實存在各種各樣的不協調理論，現有的經典弗協調邏輯為解決其中的部分不協調理論的推理問題提供了邏輯工具，但是不協調理論是豐富多彩的，沒有也不可能有哪一種或者幾種弗協調邏輯可以解決所有的不協調理論的推理問題。基于此，本書的工作是在前人工作的基礎上，針對不同的弗協調現象，提出不同的解決策略，建立新的弗協調邏輯，為不協調理論提供更多的適用的推理理論。