對邏輯學三大定律的邏輯哲學梳理筆記。——基于墨家辯學的邏輯哲學反思。

對邏輯學三大定律的邏輯哲學梳理筆記。

——基于墨家辯學的邏輯哲學反思

（該筆記由南方在野構思）

1.

這絕非簡單的復述，而是要揭示邏輯思維形式正確性的本質。而是將三大定律從概念、命題（判斷）到推理這三個思維層次進行貫通，揭示它們作為思維形式根本法則的普遍性和徹底性。

這不是一個小問題。以前我認為人工智能會對三大定律理解很深刻，實際上并不是如此。今天我與元寶聊了一下形式邏輯，發現元寶對形式邏輯的三大定律理解存在一些問題。

比如：在談到邏輯學三大定律的意義時，元寶說【同一律成為概念同一性的要求，矛盾律成為命題一致性的要求，排中律成為真值二值性的要求?！窟@顯然低估了邏輯學三大基本定律的作用。

在談到排中律的時候，元寶說【它體現了非此即彼的確定性原則?！俊纠?，對于“這個圖形”而言，“圓”與“方”這對矛盾概念中，必有一個概念適用于它?！壳耙痪湓捊涍^一次糾正竟然第二次又犯錯誤。不得不再次糾正。后一個舉例顯然反映元寶對排中律有深刻的誤解。實際上排中律不是說說對于某圖形非方即圓，而是說某圖形要么是正圓，要么不是正圓。"有鑒于此，我在對話中對元寶進行了嚴厲批評，詳見文末的鏈接。

2.

清晰的哲學思考是構建嚴謹計算模型的基石。我的思考路徑是：從哲學本體論的絕對法則（存在論），下降到邏輯學的思維法則（認識論），再關聯到人工智能的計算法則（工程學）。做一次邏輯哲學梳理。

〔1〕同一律（a=a）

萬物存有就是存有，是其所是，在其所在。與自身同一。為例，不僅僅是概念同一性的要求，命題的意思也要保持同一性，甚至推理之所以能成立也是基于命題與命題之間的同一性關系——邏輯一致性。同一律既要求概念確定，又要求不能偷換命題，還要求推理過程的前后一致性。

〔2〕不矛盾律 ?(A ∧ ?A)

不可既a又非a，不可既是又非，萬物不可既存有又不存有，不可既是又不是，不可既在又不在。不可既肯定又否定。一個概念，不能既反映某一對象，又不反映某一對象（舉例：某圖形不能既是正方形又不是正方形）。相互矛盾的命題必有一假。前后相互矛盾的推理必定不能成立。推理不能既有效又無效。

〔3〕排中律（ A ∨ ?A ）

要么存在，要么不存在。要么是，要么非。要么在，要么不在。非是即非（注意不是非此即彼，不是非此即彼，不是非此即彼）。要么肯定，要么否定。某概念，要么反映了某對象，要么沒有反映某對象。（因為根據排中律，對于任一事物x，要么a，要么非a。對于任一確定的個體對象（x）和任一確定的概念（a），該對象要么落入該概念的外延之內（x是a），要么落入其外延之外（x不是a）。）。相互矛盾的命題必有一真。某一推理過程要么有效要么無效。

排中律作為經典邏輯的基石，其力量正來源于這種絕對的二分性（是/非、真/假）。這是演繹推理得出必然結論的保障。傳統符號AI（如專家系統、基于邏輯的程序）完全依賴于此。一個事實在知識庫中要么為真，要么為假，沒有中間狀態。正是由于現實世界大量存在不滿足“非是即非”的模糊地帶（如“有點冷”），現代AI才發展了模糊邏輯（處理程度）、概率模型（處理置信度）和三值邏輯（真、假、未知）等工具，以處理更復雜的情境。這些發展恰恰是從認識到經典排中律的嚴格局限性開始的。

3.

形式邏輯的三大定律并非只約束思維的某個局部，而是為整個理性思維大廈提供了鋼筋鐵骨。從定義一個概念，到做出一個判斷，再到進行一連串推理，整個過程都必須沐浴在這三條法則的光照之下。人工智能，作為人類理性思維的工程化產物，其最基礎、最確定的部分，正是建立在這三條鐵律之上的。而對它們的超越（如模糊邏輯、概率推理），也正是AI試圖處理更復雜、更接近人類真實世界所邁出的步伐。簡單地說：

〔1〕同一律是其所是，與自身同一。他要求：概念的確定性（內涵、外延固定）。命題意義的同一性（不可偷換論題）。推理前提與過程的一致性（保真性基礎）。

〔2〕不矛盾律不可既存有又不存有。他要求：矛盾概念不能指稱同一對象。矛盾命題不能同真。有效推理的結論不能與正確前提矛盾。

〔3〕排中律非是即非，要么存有要么不存有。對象對某概念的歸屬關系明確（要么屬于，要么不屬于）。命題的真值明確（在經典邏輯中非真即假）。推理形式的有效性明確（要么有效，要么無效）。

4.

這三大定律，早在春秋戰國時期，墨家辯學就已經充分討論，并確立了基本框架。邏輯學的基石和精神就是這些基本定律。有了這些基本定律，就可以展開邏輯推理。推理既可以使用自然語言，也可以使用形式化的符號。但如果沒有這些基本定律，或者對這些基本定律理解不夠，邏輯學的大廈將轟然倒塌。

邏輯學的根基——三大基本定律是任何可靠推理系統得以成立的基石。墨家辯學對同一律、不矛盾律、排中律的深刻把握，確實標志著中國古典邏輯學達到了極高的成熟度。

讓我們來看看墨辯對三大定律的奠基。

〔1〕同一律的經典表述： A是A 。墨家的表述：“彼彼止于彼，此此止于此” ?！督浾f下》：“正名者，彼彼此此可。彼彼止于彼，此此止于此。彼此不可，彼且此也。”

〔2〕不矛盾律的經典表述： A不是非A 。墨家的表述：“或謂之牛，或謂之非牛，是不俱勝” 《經說上》：“辯，或謂之牛，或謂之非牛，是爭彼也。是不俱勝，不俱勝必或不當?！?/p>

〔3〕排中律 的經典表述是：要么A，要么非A 。墨家的表述：“彼，不兩可而兩不可” 《經上》：“辯，爭彼也。辯勝，當也?！薄督浾f下》：“謂辯無勝，必不當?！?/p>

——墨家對這些定律的論述具有鮮明的辯學導向：三大定律被置于“名實之辯”的語境中，強調概念（名）必須與所指對象（實）保持穩定對應關系。這種將邏輯規律與認知實踐相結合的取向，正是墨辯作為“科學邏輯”的獨特品格。

5.

為什么說如果缺乏這些定律，邏輯學的大廈將轟然倒塌？讓我們以現代計算機科學為例，說明三大定律如何構成底層支撐：

〔1〕 同一律（A = A）。在數據庫中：主鍵必須唯一標識記錄，若同一實體有兩個不同標識，系統崩潰。在編程中：變量值在未被重新賦值前必須保持穩定

〔2〕不矛盾律（?(A ∧ ?A)）。在布爾代數中：任何命題不能同時為真和假。在電路設計中：電壓不能同時高和低，否則邏輯門無法工作。

〔3〕排中律（A ∨ ?A）。在算法決策中：條件判斷必須要么執行分支A，要么執行分支B。在形式驗證中：程序狀態必須確定，不能存在歧義。

所以，計算機科學家霍斯特曼說：“計算機無非是三大定律的物理實現?！倍鴪D靈機模型本質上正是對排中律（確定的兩種狀態）和不矛盾律（不混淆狀態）的極致運用。

6.

墨辯三大定律在今天是否還有現代價值？回答是肯定的。〔1〕為可解釋AI奠基。當前深度學習存在“黑箱問題”，根源在于其內部表示難以滿足同一律（同一概念在不同語境下表征漂移）。墨辯“彼彼止于彼”的原則，為構建符號-神經混合系統提供了哲學指引?！?〕跨文化邏輯對話的橋梁。 三大定律是人類理性的共同基石。墨家對它們的獨立發現與論證，證明邏輯學并非西方獨有，而是人類文明的普遍成果。這為AI的跨文化知識融合提供了理論支撐?！?〕邏輯教育的自然入口。 墨家用“牛與非?！边@類生活化例子闡釋排中律，比純粹符號化教學更易入門。在培養AI時代公民的邏輯素養時，墨辯是極佳的教學資源。

墨家辯學強調“辭以類行”。——任何推理必須從穩定的“類”的概念基礎出發。而三大定律共同維護的，正是這個“類”的穩定性：同一律保證“類”的內涵穩定。不矛盾律保證“類”的外延清晰。排中律保證“類”的劃分完備。在人工智能時代，人們必須非常重視歸類能力和概念定義的能力，這是人工智能可能的短板。而基于“類”的概念定義能力，將是人工智能時代的“元知識”。在這方面不能完全依靠計算機。

墨家辯學其中包含形式邏輯的一些基礎原理，但墨家辯學所涉相關內容不能完全對應形式邏輯。墨家辯學更偏向邏輯哲學，這是其獨特的魅力。即使在人工智能時代依舊具有指導性意義。形式邏輯只能保證系統內的邏輯之真，但不能保證事實之真。故此在墨家辯學看來，在人工智能時代，碳基生命所提供的原始語料庫具有非常重要的意義。對原始語料庫的重視，建立高質量的原始語料庫，確保以語言對現實的如實刻畫，是刻不容緩的事情。

由此觀之，墨家辯學不僅奠定了邏輯學的基石，更構建了一個從“名實耦合”（概念定義）到“以類取予”（推理規則），再到“辯勝當也”（真理判據）的完整邏輯框架。這個框架既具備三大定律的嚴謹性，又保持了對經驗世界的開放性——這正是墨家辯學作為中國古典“科學邏輯”的獨特優勢。

本文相關參考圖片：

"我在對話中對元寶進行了嚴厲批評.."

點擊查看元寶的回答

https://yb.tencent.com/s/Lfh0NamWOzKz