對邏輯學(xué)三大定律的邏輯哲學(xué)梳理筆記。

——基于墨家辯學(xué)的邏輯哲學(xué)反思

（該筆記由南方在野構(gòu)思）

1.

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

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

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

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

2.

清晰的哲學(xué)思考是構(gòu)建嚴(yán)謹(jǐn)計算模型的基石。我的思考路徑是：從哲學(xué)本體論的絕對法則（存在論），下降到邏輯學(xué)的思維法則（認(rèn)識論），再關(guān)聯(lián)到人工智能的計算法則（工程學(xué)）。做一次邏輯哲學(xué)梳理。

〔1〕同一律（a=a）

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

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

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

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

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

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

3.

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

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

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

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

4.

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

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

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

〔1〕同一律的經(jīng)典表述： A是A 。墨家的表述：“彼彼止于彼，此此止于此” ?！督?jīng)說下》：“正名者，彼彼此此可。彼彼止于彼，此此止于此。彼此不可，彼且此也?！?/p>

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

〔3〕排中律 的經(jīng)典表述是：要么A，要么非A 。墨家的表述：“彼，不兩可而兩不可” 《經(jīng)上》：“辯，爭彼也。辯勝，當(dāng)也。”《經(jīng)說下》：“謂辯無勝，必不當(dāng)?！?/p>

——墨家對這些定律的論述具有鮮明的辯學(xué)導(dǎo)向：三大定律被置于“名實之辯”的語境中，強(qiáng)調(diào)概念（名）必須與所指對象（實）保持穩(wěn)定對應(yīng)關(guān)系。這種將邏輯規(guī)律與認(rèn)知實踐相結(jié)合的取向，正是墨辯作為“科學(xué)邏輯”的獨(dú)特品格。

5.

為什么說如果缺乏這些定律，邏輯學(xué)的大廈將轟然倒塌？讓我們以現(xiàn)代計算機(jī)科學(xué)為例，說明三大定律如何構(gòu)成底層支撐：

〔1〕 同一律（A = A）。在數(shù)據(jù)庫中：主鍵必須唯一標(biāo)識記錄，若同一實體有兩個不同標(biāo)識，系統(tǒng)崩潰。在編程中：變量值在未被重新賦值前必須保持穩(wěn)定

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

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

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

6.

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

墨家辯學(xué)強(qiáng)調(diào)“辭以類行”?！魏瓮评肀仨殢姆€(wěn)定的“類”的概念基礎(chǔ)出發(fā)。而三大定律共同維護(hù)的，正是這個“類”的穩(wěn)定性：同一律保證“類”的內(nèi)涵穩(wěn)定。不矛盾律保證“類”的外延清晰。排中律保證“類”的劃分完備。在人工智能時代，人們必須非常重視歸類能力和概念定義的能力，這是人工智能可能的短板。而基于“類”的概念定義能力，將是人工智能時代的“元知識”。在這方面不能完全依靠計算機(jī)。

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

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

本文相關(guān)參考圖片：

"我在對話中對元寶進(jìn)行了嚴(yán)厲批評.."

點(diǎn)擊查看元寶的回答

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