1、PAGE PAGE 20制約邏輯是中國(guó)傳統(tǒng)的邏輯文化在當(dāng)代的嶄新發(fā)展 收稿日期：2014-08-06基金項(xiàng)目：教育部人文社會(huì)科學(xué)“當(dāng)代形式邏輯及其在人工智能中的應(yīng)用理論研究”（07JA720006）項(xiàng)目成果。作者簡(jiǎn)介：龔啟榮（1942-），男，江西景德鎮(zhèn)人，教授，研究方向：邏輯學(xué)、人工智能學(xué)、數(shù)學(xué)、語(yǔ)言學(xué)。貴州制約邏輯學(xué)會(huì) 龔啟榮中華民族歷史源遠(yuǎn)流長(zhǎng)，中國(guó)傳統(tǒng)文化博大精深。它是中華民族的重要凝聚力，足以使中國(guó)人、海外華人引以為榮耀和自豪。 HYPERLINK /view/40254.htm t _blank 中國(guó)傳統(tǒng)文化是一種理性的文化。科學(xué)越發(fā)達(dá)，人們的認(rèn)識(shí)能力越增強(qiáng)，越有利于中國(guó)傳統(tǒng)文化的

2、傳承和發(fā)展。第二次世界大戰(zhàn)后， 20世紀(jì)四五十年代以來(lái)，現(xiàn)代科學(xué)取得了 HYPERLINK /view/154976.htm t _blank 突飛猛進(jìn)的發(fā)展。計(jì)算機(jī)科學(xué)的創(chuàng)建和發(fā)展，現(xiàn)代數(shù)理語(yǔ)言學(xué)的創(chuàng)建和發(fā)展，特別是現(xiàn)代形式化公理系統(tǒng)現(xiàn)代數(shù)學(xué)方法的創(chuàng)建和發(fā)展，對(duì)中國(guó)傳統(tǒng)的邏輯文化的現(xiàn)代傳承和發(fā)展起到不可估量的作用。作為真正邏輯科學(xué)傳統(tǒng)邏輯當(dāng)代發(fā)展的邏輯理論，制約邏輯史無(wú)前例的三個(gè)現(xiàn)代形式化公理系統(tǒng)（Cm、Cn和Cnd系統(tǒng)）在中國(guó)大地上的誕生，離不開(kāi)現(xiàn)代科學(xué)的發(fā)展！制約邏輯是中國(guó)傳統(tǒng)文化中真正的邏輯理論在當(dāng)代的傳承和嶄新發(fā)展。一、制約邏輯是“21世紀(jì)易經(jīng)研究的偉大成果”下面摘引貴州省易經(jīng)研究會(huì)

3、對(duì)制約邏輯的一些討論，然后我們?cè)僮稣撟C。1.“在萊布尼茲受到中國(guó)易經(jīng)陰陽(yáng)八卦的啟迪，創(chuàng)立計(jì)算機(jī)的二進(jìn)制理論的基礎(chǔ)上，人類(lèi)步入計(jì)算機(jī)時(shí)代；在中國(guó)制約邏輯奠定的人工智能計(jì)算機(jī)的理論基礎(chǔ)上，人類(lèi)將走進(jìn) “內(nèi)涵智能機(jī)”時(shí)代。我們期待著人類(lèi)的第一臺(tái)內(nèi)涵智能機(jī)的勝利誕生。“中國(guó)制約邏輯理論作為人工智能的科學(xué)理論，是人類(lèi)智慧發(fā)展的產(chǎn)物。中國(guó)易經(jīng)是人類(lèi)的生存發(fā)展的智慧，是中國(guó)傳統(tǒng)文化的源頭活水。制約邏輯研究制約關(guān)系與易經(jīng)研究的天地人的和諧統(tǒng)一的制約關(guān)系，不能夠說(shuō)是沒(méi)有緣分。她們不僅是中國(guó)的，也是世界的，同樣都屬于全人類(lèi)！”摘自2011年11月12日貴州省易經(jīng)研究會(huì)給貴州制約邏輯學(xué)會(huì)學(xué)術(shù)年會(huì)的賀信2.“易經(jīng)是中

4、國(guó)文化的源頭活水，易經(jīng)是溝通過(guò)去現(xiàn)在未來(lái)的橋梁，聯(lián)絡(luò)東西方文化的紐帶，是東方文化的精神高地智慧和信仰，民族文化的軟實(shí)力“萊布尼茲根據(jù)易經(jīng)創(chuàng)二進(jìn)制成為計(jì)算機(jī)的基礎(chǔ)，今天你們的貴州省制約邏輯理論應(yīng)用將作為人工智能機(jī)的基礎(chǔ)，中國(guó)能夠制造人工智能機(jī)，應(yīng)該是繼易經(jīng)后中國(guó)對(duì)人類(lèi)的里程碑式的偉大貢獻(xiàn)，這不僅僅是增強(qiáng)我們的文化軟實(shí)力，而且是大大增強(qiáng)我們的硬實(shí)力。”摘自2012年11月10日貴州省易經(jīng)研究會(huì)給制約邏輯學(xué)會(huì)學(xué)術(shù)年會(huì)的賀信3.“不可否認(rèn)，中國(guó)人發(fā)現(xiàn)別人沒(méi)有發(fā)現(xiàn)的靚麗風(fēng)景線，易經(jīng)在21世紀(jì)的重要貢獻(xiàn)制約邏輯理論，發(fā)展創(chuàng)新，其影響不僅在中國(guó)而且享譽(yù)世界，彰顯自己的文化軟實(shí)力。”摘自貴州省易經(jīng)研究會(huì)會(huì)長(zhǎng)麻

5、福昌教授論文易經(jīng)的智慧與邏輯的必然性探索（載貴州制約邏輯學(xué)會(huì)2013年“獲取新知”專(zhuān)題研討會(huì)論文集）4.“制約邏輯，制約結(jié)構(gòu)，超越以往邏輯理論，成為21世紀(jì)易經(jīng)研究的偉大成果。在我們網(wǎng)站，發(fā)布的“21世紀(jì)易經(jīng)在中國(guó)發(fā)展的一項(xiàng)偉大成果制約邏輯及其在人工智能中的應(yīng)用理論研究”是龔啟榮教授，貴州省制約邏輯學(xué)會(huì)理事長(zhǎng)的最新成果之一。”摘自麻福昌教授在貴州制約邏輯學(xué)會(huì)2013年學(xué)術(shù)年會(huì)“獲取新知”專(zhuān)題研討會(huì)開(kāi)幕式上的學(xué)術(shù)報(bào)告易經(jīng)智慧與制約邏輯之緣份 我們先看看易經(jīng)的64卦圖：再看看制約邏輯對(duì)64掛的另一種表達(dá)易經(jīng)64卦的制約邏輯圖表：易經(jīng)64卦的制約邏輯圖表無(wú)極生太極，太極生兩儀，兩儀生四象，四象生八卦

6、，八卦生六十四卦，六十四卦生宇宙萬(wàn)象。請(qǐng)看：太極兩儀排列64卦 ABCDEF卦名1 G1111111第1卦 HYPERLINK /view/547901.htm t _blank 乾為天（ HYPERLINK /view/483201.htm t _blank 乾卦）44 G2111110第44卦 天風(fēng)姤（ HYPERLINK /view/483394.htm t _blank 姤卦）13 G3111101第13卦 HYPERLINK /view/1509796.htm t _blank 天火同人（ HYPERLINK /view/483247.htm t _blank 同人卦）33 G 41

7、11100第33卦 天山遁（ HYPERLINK /view/483354.htm t _blank 遁卦）10 G 5111011第10卦天澤履（ HYPERLINK /view/483241.htm t _blank 履卦）6 G 6111010第6卦 天水訟（ HYPERLINK /view/483220.htm t _blank 訟卦）25 G 7111001第25卦 天雷 HYPERLINK /view/177615.htm t _blank 無(wú)妄（ HYPERLINK /view/483301.htm t _blank 無(wú)妄卦）12 G 8111000第12卦 天地否(p)（ HY

8、PERLINK /view/483246.htm t _blank 否卦）9 G 9110111第9卦 風(fēng)天小畜（ HYPERLINK /view/483238.htm t _blank 小畜卦）57 G 10110110第57卦 HYPERLINK /view/4815354.htm t _blank 巽為風(fēng)（ HYPERLINK /view/483435.htm t _blank 巽卦）37 G 11110101第37卦 風(fēng)火家人（ HYPERLINK /view/483365.htm t _blank 家人卦）53 G 12110100第53卦 風(fēng)山漸（ HYPERLINK /view/

9、483426.htm t _blank 漸卦）61 G 13110011第61卦 風(fēng)澤中孚（ HYPERLINK /view/483452.htm t _blank 中孚卦）59 G 14110010第59卦 風(fēng)水渙（ HYPERLINK /view/483444.htm t _blank 渙卦）42 G 15110001第42卦 風(fēng)雷益（ HYPERLINK /view/483386.htm t _blank 益卦）20 G 16110000第20卦 風(fēng)地觀（ HYPERLINK /view/483278.htm t _blank 觀卦）14 G 17101111第14卦 火天大有（ HYP

10、ERLINK /view/483249.htm t _blank 大有卦）50 G 18101110第50卦 火風(fēng)鼎（ HYPERLINK /view/483418.htm t _blank 鼎卦）30 G 19101101第30卦 HYPERLINK /view/4784291.htm t _blank 離為火（ HYPERLINK /view/483330.htm t _blank 離卦）56 G 20101100第56卦 火山旅（ HYPERLINK /view/483433.htm t _blank 旅卦）38 G 21101011第38卦 火澤睽（ HYPERLINK /view/4

11、83369.htm t _blank 睽卦）64 G 22101010第64卦 火水未濟(jì)（ HYPERLINK /view/483465.htm t _blank 未濟(jì)卦）21 G 23101001第21卦 火雷噬嗑（ HYPERLINK /view/483281.htm t _blank 噬嗑卦）35 G 24101000第35卦 火地晉（ HYPERLINK /view/483359.htm t _blank 晉卦）26 G 25100111第26卦 山天大畜（ HYPERLINK /view/483305.htm t _blank 大畜卦）18 G 26100110第18卦 山風(fēng)蠱（ H

12、YPERLINK /view/483268.htm t _blank 蠱卦）22 G 27100101第22卦 山火賁（ HYPERLINK /view/483286.htm t _blank 賁卦）52 G 28100100第52卦 艮為山（ HYPERLINK /view/483422.htm t _blank 艮卦）41 G 29100011第41卦 山澤損（ HYPERLINK /view/483384.htm t _blank 損卦）4 G 30100010第4卦 山水蒙（ HYPERLINK /view/483209.htm t _blank 蒙卦）27 G 31100001第27

13、卦 山雷頤（ HYPERLINK /view/483308.htm t _blank 頤卦）23 G 32100000第23卦 山地剝（ HYPERLINK /view/483293.htm t _blank 剝卦）43 G 33011111第43卦 澤天夬 （ HYPERLINK /view/483388.htm t _blank 夬卦）28 G 34011110第28卦 澤風(fēng)大過(guò)（ HYPERLINK /view/483316.htm t _blank 大過(guò)卦）49 G 35011101第49卦 澤火革（ HYPERLINK /view/483417.htm t _blank 革卦）31

14、G 36011100第31卦 澤山咸（ HYPERLINK /view/483336.htm t _blank 咸卦）58 G 37011011第58卦 HYPERLINK /view/4815430.htm t _blank 兌為澤（ HYPERLINK /view/483442.htm t _blank 澤卦）47 G 38011010第47卦 澤水困（ HYPERLINK /view/483407.htm t _blank 困卦）17 G 39011001第17卦 澤雷隨（ HYPERLINK /view/483265.htm t _blank 隨卦）45 G 40011000第45卦

15、澤地萃（ HYPERLINK /view/483397.htm t _blank 萃卦）5 G 41010111第5卦 水天需（ HYPERLINK /view/483217.htm t _blank 需卦）48 G 42010110第48卦 水風(fēng)井（ HYPERLINK /view/483410.htm t _blank 井卦）63 G 43010101第63卦 水火既濟(jì)（ HYPERLINK /view/483460.htm t _blank 既濟(jì)卦）39 G 44010100第39卦 水山蹇（ HYPERLINK /view/483371.htm t _blank 蹇卦）60 G 450

16、10011第60卦 水澤節(jié)（ HYPERLINK /view/483448.htm t _blank 節(jié)卦）29 G 46010010第29卦 HYPERLINK /view/4784239.htm t _blank 坎為水（ HYPERLINK /view/483323.htm t _blank 坎卦）3 G 47010001第3卦 水雷屯（ HYPERLINK /view/483206.htm t _blank 屯卦）8 G 48010000第8卦 水地比（ HYPERLINK /view/483230.htm t _blank 比卦）34 G 49001111第34卦 雷天大壯（ HYP

17、ERLINK /view/483355.htm t _blank 大壯卦）32 G 50001110第32卦 雷風(fēng)恒（ HYPERLINK /view/483351.htm t _blank 恒卦）55 G 51001101第55卦 雷火豐（ HYPERLINK /view/483429.htm t _blank 豐卦）62 G 52001100第62卦 雷山小過(guò)（ HYPERLINK /view/483455.htm t _blank 小過(guò)卦）54 G 53001011第54卦 雷澤歸妹（ HYPERLINK /view/483428.htm t _blank 歸妹卦）40 G 540010

18、10第40卦 雷水解（ HYPERLINK /view/483375.htm t _blank 解卦）51 G 55001001第51卦 HYPERLINK /view/4799841.htm t _blank 震為雷（ HYPERLINK /view/483420.htm t _blank 震卦）16 G 56001000第16卦 雷地豫（ HYPERLINK /view/483262.htm t _blank 豫卦）11 G 57000111第11卦 地天泰（ HYPERLINK /view/483244.htm t _blank 泰卦）46 G 58000110第46卦 地風(fēng)升（ HYP

19、ERLINK /view/483403.htm t _blank 升卦）36 G 59000101第36卦 地火明夷（ HYPERLINK /view/483362.htm t _blank 明夷卦）15 G 60000100第15卦 地山謙（ HYPERLINK /view/483255.htm t _blank 謙卦）19 G 61000011第19卦 地澤臨（ HYPERLINK /view/773996.htm t _blank 臨卦）7 G 62000010第7卦 地水師（ HYPERLINK /view/483224.htm t _blank 師卦）24 G 63000001第24

20、卦 地雷復(fù)（ HYPERLINK /view/483295.htm t _blank 復(fù)卦）2 G 64000000第2卦 HYPERLINK /view/547902.htm t _blank 坤為地（ HYPERLINK /view/483204.htm t _blank 坤卦）易經(jīng)專(zhuān)家們都認(rèn)為：易經(jīng)是透過(guò)64卦的組合，去反應(yīng)64種不同的事物、情境、現(xiàn)象、特定環(huán)境下的人生哲理、以及大自然的運(yùn)作法則。每一卦都會(huì)有六爻和爻辭，去反應(yīng)一個(gè)卦在當(dāng)前的運(yùn)作狀態(tài)和未來(lái)的狀況。易經(jīng)的排列模式一共有64種基本情況，以及384種對(duì)應(yīng)的狀態(tài).。透過(guò)這些變化可以預(yù)測(cè)世間萬(wàn)物的運(yùn)作以及人生哲理。表中1、0的排列，

21、制約邏輯稱(chēng)為“n目組”。n目組是制約邏輯龐大體系的一個(gè)基礎(chǔ)概念。制約邏輯對(duì)n目組作了嚴(yán)格定義：若e1、e2、ei、en是論域U中的n（n為自然數(shù)）個(gè)未必互異的個(gè)體，則由之組成的具有一定順序的排列（簡(jiǎn)稱(chēng)序列）稱(chēng)為U上的一個(gè)有序n目組，并簡(jiǎn)稱(chēng)為n目組。 在易經(jīng)64卦的制約邏輯圖表中，1、0表示真、假，在這里就代表易經(jīng)中的陰、陽(yáng)。A1、A2、A3、A4、A5 、A6 ，在制約邏輯中稱(chēng)為語(yǔ)構(gòu)變?cè)谶@里表示易經(jīng)中的爻，可取陰、陽(yáng)二值，即陰爻、陽(yáng)爻。我們?cè)谝捉?jīng)64卦的制約邏輯圖表中增加一個(gè)爻B，B又可取陰、陽(yáng)二值，即陰爻、陽(yáng)爻，于是就得128卦。如此演繹下去，以至無(wú)窮。這應(yīng)該就是易經(jīng)可描述世間萬(wàn)物的運(yùn)作

22、以及人生哲理的道理。請(qǐng)看擴(kuò)展后的128卦的制約邏輯圖表：太極兩儀排列128卦 BA1A2A3A4A5A6卦名、卦辭G11111111G21111110G31111101G 41111100G 51111011G 61111010G 71111001G 81111000G 91110111G 101110110G 111110101G 121110100G 131110011G 141110010G 151110001G 161110000G 171101111G 181101110G 191101101G 201101100G 211101011G 221101010G 231101001G

23、241101000G 251100111G 261100110G 271100101G 281100100G 291100011G 301100010G 311100001G 321100000G 331011111G 341011110G 351011101G 361011100G 371011011G 381011010G 391011001G 401011000G 411010111G 421010110G 431010101G 441010100G 451010011G 461010010G 471010001G 481010000G 491001111G 501001110G 511

24、001101G 521001100G 531001011G 541001010G 551001001G 561001000G 571000111G 581000110G 591000101G 601000100G 611000011G 621000010G 631000001G 641000000G650111111G660111110G670111101G 680111100G 690111011G700111010G 710111001G 720111000G 730110111G 740110110G 750110101G 760110100G 770110011G780110010G

25、790110001G 800110000G 810101111G 820101110G 830101101G 840101100G 850101011G 860101010G870101001G 880101000G 890100111G 900100110G 910100101G 920100100G 930100011G 940100010G 950100001G 960100000G970011111G 980011110G 990011101G 1000011100G 1010011011G 1020011010G 1030011001G 1040011000G 1050010111G

26、 1060010110G 1070010101G 1080010100G 1090010011G 1100010010G 1110010001G 1120010000G 1130001111G1140001110G 1150001101G 1160001100G 1170001011G 1180001010G 1190001001G 1200001000G 1210000111G 1220000110G 1230000101G 1240000100G1250000011G1260000010G 1270000001G 1280000000表中最右邊一列的卦名、卦辭，等等，應(yīng)該闡述什么，留給易經(jīng)

27、專(zhuān)家從長(zhǎng)計(jì)議，深入研究。貴州省易經(jīng)研究會(huì)會(huì)長(zhǎng)麻福昌教授在給易經(jīng)研究會(huì)網(wǎng)站發(fā)表論文充分條件與制約關(guān)系的編者按中說(shuō)：“物物相感,以息相吹,人天合一，制約而已。”人天合一，乃宇宙至理。 天是什么？天就是客觀規(guī)律（規(guī)律必然是客觀的，不依人的意志轉(zhuǎn)移）。因此，老子說(shuō)，天下萬(wàn)物，道主沉浮客觀規(guī)律制約一切。可見(jiàn)，易經(jīng)中有制約關(guān)系的思想，但是，到了當(dāng)代，制約邏輯才揭舉了客觀的制約關(guān)系的本質(zhì)屬性，成為易經(jīng)在當(dāng)代的發(fā)展。制約關(guān)系就是刻畫(huà)清楚后的充分條件關(guān)系。充分條件關(guān)系是傳統(tǒng)邏輯及其當(dāng)代發(fā)展的制約邏輯研究的重要對(duì)象，在事實(shí)上構(gòu)成了可進(jìn)行不循環(huán)論證從而能夠從已有知識(shí)獲取新知識(shí)的理論核心。制約邏輯在此基礎(chǔ)上，在不背離

28、傳統(tǒng)邏輯正確而深刻的邏輯主導(dǎo)思想的先決條件下，借鑒現(xiàn)代數(shù)學(xué)精確的數(shù)學(xué)方法，構(gòu)造了一個(gè)隸屬于一個(gè)的3個(gè)現(xiàn)代形式化公理系統(tǒng)Cm、Cn、Cnd，揭示了客觀世界3個(gè)無(wú)窮多條邏輯規(guī)律。Cm、Cn、Cnd是作為傳統(tǒng)邏輯當(dāng)代發(fā)展的真正的邏輯系統(tǒng)，不是數(shù)學(xué)系統(tǒng)。因此說(shuō)制約邏輯是“21世紀(jì)易經(jīng)研究的偉大成果”，一點(diǎn)也沒(méi)有夸張。二、制約邏輯對(duì)易經(jīng)以外其他傳統(tǒng)文化的傳承與發(fā)展（一）制約邏輯的建立和發(fā)展，首先得益于彪炳古今的韓非定律邏輯科學(xué)在萌芽、形成、發(fā)展過(guò)程中，事實(shí)上始終在研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。遠(yuǎn)在百家爭(zhēng)鳴的春秋戰(zhàn)國(guó)時(shí)期，我國(guó)就產(chǎn)生了研究包含多元關(guān)系的客觀世界的邏輯規(guī)律的光輝燦爛的古代邏輯。在韓非子難

29、一里說(shuō)：“楚人有鬻盾與矛者，譽(yù)之曰：吾盾之堅(jiān)，物莫能陷也。又譽(yù)其矛曰：吾矛之利，于物無(wú)不陷也。或曰：以子之矛，陷子之盾，何如？其人弗能應(yīng)也。夫不可陷之盾，與無(wú)不陷之矛，不可同世而立。”這最后的斷語(yǔ)揭舉了下述含有2元關(guān)系的兩個(gè)事件，這兩個(gè)事件在客觀世界里不可能并有：“吾矛可陷任何物體”U（x） p（e1，x）；“任何物體不可陷吾盾”U（y） p（y，e2）。上2行破折號(hào)右邊是制約邏輯的表達(dá)式。這兩個(gè)表達(dá)式刻畫(huà)兩個(gè)事件的邏輯結(jié)構(gòu)。其中，U論域“物體”；x、y個(gè)體變?cè)凇拔矬w”中變；e1“吾矛”，e2“吾盾”，論域“物體”中的兩個(gè)個(gè)體；pU上的2元關(guān)系“可陷”。于是：U（x） p（e1，x）“若x

30、是物體，則吾矛可陷x”。U（x） p（y，e2）“若y是物體，則y不可陷吾盾”。這個(gè)為韓非揭舉的關(guān)于包含2元關(guān)系的兩個(gè)事件“不可同世而立”的客觀世界的邏輯定律可用下式表述： U（x） p（e1，x） U（y）p（y，e2）表達(dá)式刻畫(huà)的客觀地存在的4層的復(fù)合事件可稱(chēng)為“韓非不自相矛盾律”。它具有引人注目的重要性質(zhì)：它的存在僅僅取決于它的邏輯結(jié)構(gòu)，而不取決于它的此外的經(jīng)驗(yàn)性質(zhì)。對(duì)此倘有懷疑，請(qǐng)看下述實(shí)例。并非“甲國(guó)支援任何國(guó)家且任何國(guó)家不支援乙國(guó)”。事件“張三認(rèn)識(shí)任何人”和事件“任何人不認(rèn)識(shí)李四”不可同世而立。不會(huì)出現(xiàn)“a星球大于任何星球而任何星球不大于b星球”。并不是“甲球隊(duì)?wèi)?zhàn)勝任何球隊(duì)但任何球

31、隊(duì)不能戰(zhàn)勝乙球隊(duì)”。容易驗(yàn)證，這幾個(gè)語(yǔ)句所指謂的由成對(duì)事件構(gòu)成的合取事件的否定事件，永遠(yuǎn)存在，普遍存在！這類(lèi)例子俯拾皆是。其存在只取決于其邏輯結(jié)構(gòu)的事件稱(chēng)為邏輯存在事件，又稱(chēng)恒有事件，或普有事件。“恒”就是永恒、永遠(yuǎn)，是從時(shí)間上說(shuō)的；“普”就是普遍、到處，是從空間上說(shuō)的。客觀世界的邏輯定律就是客觀世界的邏輯存在事件。具有一定的邏輯結(jié)構(gòu)而在其中出現(xiàn)的經(jīng)驗(yàn)基本對(duì)象卻不同的邏輯定律有無(wú)限多條，由之組成了一個(gè)無(wú)限集，而對(duì)其中的任一條定律之所以存在起決定作用的一定的邏輯結(jié)構(gòu)則是這個(gè)無(wú)限集的共僅屬性。這個(gè)共僅屬性（即一定的邏輯結(jié)構(gòu)）不可能游離于具有一定經(jīng)驗(yàn)性質(zhì)（盡管任一條定律的存在不取決于它們）的具體定律

32、而單獨(dú)存在。一般必須也只能存在于個(gè)別之中。先賢韓非就是通過(guò)揭舉這無(wú)限集里的一個(gè)引人入勝的元來(lái)闡明作為邏輯定律的“不自相矛盾律”，從而指明這個(gè)由無(wú)限多個(gè)不自相矛盾事件組成的無(wú)限集及其共僅屬性的。從這里可以體會(huì)出一條重要的具有方法論意義的準(zhǔn)則：抓住了本質(zhì)，一就是一切。先賢韓非就是在這個(gè)準(zhǔn)則的指導(dǎo)下，寓普遍、永遠(yuǎn)存在的邏輯定律（無(wú)限集及其共僅屬性）于形象、生動(dòng)的個(gè)別事例之中，其手法是十分高明的。上下四方為宇，古往今來(lái)為宙，這宇宙就是廣漠無(wú)垠的空間和綿延不絕的時(shí)間，而邏輯定律則用它的邏輯結(jié)構(gòu)的網(wǎng)在這廣漠綿延的無(wú)限時(shí)空中捕撈任意的n元關(guān)系和項(xiàng)，以構(gòu)成邏輯存在的事件。這神奇的網(wǎng)象宇宙一樣的廣漠、綿延。以

33、A表示A是客觀世界的邏輯定律，其中的符號(hào) 就稱(chēng)為定律號(hào)，讀做單柵。客觀地存在著的關(guān)于客觀世界的邏輯定律之間的充分條件關(guān)系稱(chēng)為客觀世界的邏輯法則，并簡(jiǎn)稱(chēng)為法則。在討論邏輯定律的語(yǔ)境中，法則可以表述為“若 A1， An，則 B”，或者省去定律號(hào)，簡(jiǎn)化為“若A1，An，則B”，并以“A1，An B”表示。其中的輔助符號(hào) 表示關(guān)于定律之間的充分條件關(guān)系，n為有限自然數(shù)，相應(yīng)的法則稱(chēng)為n元法則，A1，An稱(chēng)為前件或假設(shè)，B稱(chēng)為后件或結(jié)果。客觀世界的邏輯定律、邏輯法則統(tǒng)稱(chēng)為客觀世界的邏輯規(guī)律。定律和法則都是規(guī)律，而法則是關(guān)于定律的規(guī)律，因此也可以稱(chēng)為元邏輯規(guī)律。對(duì)于前引韓非子難一里的絕妙的詰問(wèn)：“以子之矛

34、，陷子之盾，何如？”那個(gè)吹牛過(guò)頭的楚人的回答不是p（e1，e2）（吾矛可陷吾盾），就是 p（e1，e2）（吾矛不可陷吾盾），然而，韓非和那個(gè)寓言中的楚國(guó)商人全都明白，在客觀世界中，恒無(wú)p（e1，e2） p（e1，e2）；于是，其否定為恒有（因?yàn)楹阌校覀兙图由隙商?hào)）： p（e1，e2） p（e1，e2） （韓非不矛盾律）韓非不矛盾律的一般形式可表示為： （AA）為什么面對(duì)這個(gè)客觀的邏輯定律不矛盾律，那個(gè)牛皮吹過(guò)頭了的商人“弗能應(yīng)也”呢？那是由于韓非和那個(gè)楚國(guó)商人都清楚，楚國(guó)商人吹牛時(shí)其語(yǔ)言所指謂的自相矛盾事件U（x）p（e1，x）U（y）p（y，e2），是矛盾事件p（e1，e2） p（e1，

35、e2）的充分條件，亦即他們都知道存在下述客觀世界的邏輯法則： U（x）p（e1，x）U（y）p（y，e2） p（e1，e2） p（e1，e2） （韓非從自相矛盾得出矛盾法則）這里，自相矛盾事件 是 矛盾事件 的充分條件 。韓非要從和去得出他的前述不自相矛盾律，還需通過(guò)：（A B）（ B A） （逆否律）A，A B B （分離法則）韓非據(jù)、才能得出：p（e1，e2）p（e1，e2） U（x）p（e1，x）U（y） p（y，e2） （韓非從不矛盾得出不自相矛盾法則）然后，再據(jù)定律、法則去得出他的彪炳古今的韓非不自相矛盾律。以基礎(chǔ)事件為最小單位，無(wú)需分析在其中出現(xiàn)的基礎(chǔ)事件本身的邏輯結(jié)構(gòu)即可確定其邏

36、輯存在的規(guī)律稱(chēng)為事件邏輯規(guī)律。上述六條規(guī)律中的不矛盾律、逆否律屬于事件邏輯定律；分離法則等，屬于事件邏輯法則。不以基礎(chǔ)事件為最小單位，需對(duì)在其中出現(xiàn)的基礎(chǔ)事件分析到項(xiàng)才能確定其邏輯存在的規(guī)律稱(chēng)為項(xiàng)邏輯規(guī)律。上述六規(guī)律中的不自相矛盾律屬于項(xiàng)邏輯定律；從自相矛盾得出矛盾法則、從不矛盾得出不自相矛盾法則等屬于項(xiàng)邏輯法則。 夠了！至少在下述幾個(gè)方面，韓非的邏輯思想遠(yuǎn)遠(yuǎn)地勝過(guò)后來(lái)流行的形式邏輯讀本：第一，徑直去研究客觀世界的邏輯規(guī)律，而無(wú)需再討論有無(wú)“客觀基礎(chǔ)”的問(wèn)題；如今的形式邏輯卻還在那里爭(zhēng)論“思維的邏輯規(guī)律”有無(wú)客觀基礎(chǔ)，當(dāng)有時(shí)，又究竟是什么。第二，從事包含多元關(guān)系的真正關(guān)系邏輯的研究，而后來(lái)的形

37、式邏輯由于不研究包含多元關(guān)系的邏輯規(guī)律，因此，根本分析不出那個(gè)楚人的自相矛盾來(lái)。第三，不自相矛盾律、從不矛盾得出不自相矛盾法則等屬于真正的項(xiàng)邏輯，而后來(lái)的形式邏輯由于不研究項(xiàng)邏輯（相當(dāng)于謂詞邏輯），那些建立在直言命題上的直接推理、間接推理名義上分析到“名詞”，實(shí)質(zhì)上仍然只不過(guò)是最簡(jiǎn)單的事件邏輯（相當(dāng)于命題邏輯）。宇宙原本是通過(guò)客觀的邏輯結(jié)構(gòu)將各種事件在時(shí)間和空間上從一個(gè)必然過(guò)渡到另一個(gè)的無(wú)限綿延廣漠的網(wǎng)，而邏輯科學(xué)則是對(duì)宇宙這個(gè)無(wú)限綿延廣漠的從一個(gè)事件必然過(guò)渡到另一個(gè)事件的邏輯結(jié)構(gòu)的網(wǎng)的認(rèn)識(shí)、整理和總結(jié)。提請(qǐng)注意的是：韓非子揭舉的“不自相矛盾律”“無(wú)不陷之矛與不可陷之盾不可同世而立”是含有2元

38、關(guān)系并且分析到項(xiàng)的客觀世界的邏輯規(guī)律。韓非子關(guān)于“項(xiàng)”的邏輯規(guī)律的論述，比德國(guó)數(shù)理邏輯教授弗里德里希路德維希戈特洛布弗雷格（Friedrich Ludwig Gottlob Frege，1848年1925年）的關(guān)系邏輯早21個(gè)世紀(jì)！中國(guó)的邏輯不僅是輝煌的，而且在時(shí)間上是遙遙領(lǐng)先的。制約邏輯的建立和發(fā)展，首先得益于韓非子彪炳古今的邏輯定律和他自發(fā)的邏輯客體說(shuō)（認(rèn)為邏輯研究的是客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律）元邏輯思想傾向。（二）李耳的道德經(jīng)對(duì)制約邏輯建立和發(fā)展的影響我國(guó)是邏輯科學(xué)世界三大發(fā)源地之一。遠(yuǎn)在25個(gè)世紀(jì)前的春秋時(shí)期，在我國(guó)先賢李耳（老子，公元前571年至471年）的五千言道德經(jīng)中就有關(guān)于

39、邏輯規(guī)律的論述。道德經(jīng)開(kāi)宗明義第一句便是：“道可、道非，常道。”揭示了客觀世界排中律。比古希臘亞里士多德的工具論早兩個(gè)多世紀(jì)，堪稱(chēng)世界上最早的關(guān)于邏輯規(guī)律的論述。李耳在這里揭舉的客觀世界的邏輯規(guī)律說(shuō)的是：“事件或其否定事件常有事件”。用我們的邏輯表達(dá)式可表達(dá)為：A A (讀作“盡舉不相容選擇”)這就是個(gè)邏輯規(guī)律。因?yàn)槭俏覀兿荣t李耳最先提出的，所以我們稱(chēng)其為“李耳內(nèi)涵排中律”。 李耳還在道德經(jīng)里說(shuō)：“道，萬(wàn)物之奧。”“道，無(wú)為而無(wú)不為。”其意是，道是萬(wàn)事萬(wàn)物普遍而又奧妙的屬性即事件或事物的邏輯性質(zhì)（或稱(chēng)為邏輯結(jié)構(gòu)）；盡管任何事件或事物本身并不就是邏輯性質(zhì)或邏輯結(jié)構(gòu)（無(wú)為），然而在任何事件或事物中

40、卻無(wú)所不在地深藏著邏輯性質(zhì)或邏輯結(jié)構(gòu)（無(wú)不為）。這堪稱(chēng)世界上對(duì)客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律的最早的精辟而簡(jiǎn)要的描述。 HYPERLINK /view/16516.htm t _blank 道德經(jīng)是中國(guó)古代 HYPERLINK /view/188281.htm t _blank 先秦諸子分家前的一部著作，為其時(shí)諸子所共仰,是 HYPERLINK /view/4050.htm t _blank 中國(guó)歷史上首部完整的哲學(xué)著作，思想內(nèi)容微言大義，一語(yǔ)萬(wàn)端。被華夏先輩譽(yù)為萬(wàn)經(jīng)之王。據(jù)聯(lián)合國(guó)教科文組織統(tǒng)計(jì)， HYPERLINK /view/16516.htm t _blank 道德經(jīng)是除了圣經(jīng)以外被譯成外

41、國(guó)文字最多的文學(xué)著作。老子所描述的“道”，是從本體論的角度出發(fā)，闡明他的宇宙觀。他認(rèn)為“道”是是宇宙的本源，萬(wàn)物化生都是出于它的運(yùn)動(dòng)和變化。“德”的基本內(nèi)涵，是本體的“道”具體到天地萬(wàn)物所表現(xiàn)出來(lái)的一種特性，即具體體現(xiàn)。制約邏輯繼承了我國(guó)傳統(tǒng)文化“萬(wàn)經(jīng)之王”的本體論思想，站在辯證唯物論的高度，發(fā)展邏輯科學(xué)，建立了新時(shí)代嶄新的邏輯體系。（三）墨經(jīng)使制約邏輯深刻揭示了制約關(guān)系的本質(zhì)屬性 HYPERLINK /view/2232.htm t _blank 墨子是我國(guó) HYPERLINK /view/20236.htm t _blank 戰(zhàn)國(guó)時(shí)期 HYPERLINK /view/2748.htm t

42、_blank 墨家著作的總集，是 HYPERLINK /view/46556.htm t _blank 墨翟（人稱(chēng)墨子）和他的弟子們撰著的。 HYPERLINK /view/46556.htm t _blank 墨翟是 HYPERLINK /view/169458.htm t _blank 宋國(guó)人（約 HYPERLINK /view/1039767.htm t _blank 公元前468376），他是一個(gè)制造機(jī)械的 HYPERLINK /view/556642.htm t _blank 手工業(yè)者，精通 HYPERLINK /view/549660.htm t _blank 木工。 HYPERL

43、INK /view/2232.htm t _blank 墨子一派人中多數(shù)是直接參加勞動(dòng)的，接近自然，熱心于對(duì) HYPERLINK /view/10445.htm t _blank 自然科學(xué)的研究，又有比較正確的認(rèn)識(shí)論和方法論的思想。因此， HYPERLINK /view/46556.htm t _blank 墨翟的邏輯思想有研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律的邏輯客體說(shuō)傾向。這是無(wú)可非議的。那時(shí)候，人類(lèi)根本就不知道人的思維在哪里進(jìn)行的，說(shuō) HYPERLINK /view/46556.htm t _blank 墨翟的邏輯研究的是思維，是后人強(qiáng)加給墨翟的不實(shí)之詞。制約邏輯學(xué)派提出邏輯客體說(shuō)理論，認(rèn)為

44、，邏輯始終研究的是客觀世界的邏輯結(jié)構(gòu)和客觀世界的邏輯規(guī)律，不能說(shuō)沒(méi)有受到墨翟思想潛移默化的影響。 HYPERLINK /view/908787.htm t _blank 墨經(jīng)是 HYPERLINK /view/2232.htm t _blank 墨子書(shū)中的重要部分，約完成于周安王14年癸巳（ HYPERLINK /view/1039767.htm t _blank 公元前388年）。墨經(jīng)的內(nèi)容， HYPERLINK /view/2958.htm t _blank 邏輯學(xué)方面所占的比例最大。墨經(jīng)有經(jīng)上、經(jīng)下、經(jīng)上說(shuō)、經(jīng)下說(shuō)4篇，有研究者說(shuō)墨經(jīng)還包括大取小取。因此墨經(jīng)共6篇。經(jīng)說(shuō)上將故分為大故和小

45、故兩種。大故就是“有之必然，無(wú)之必不然”；小故就是“有之不必然，無(wú)之必不然”。“大故”，后來(lái)稱(chēng)為“充分條件”，“小故”后來(lái)稱(chēng)為“必要條件”。也就是說(shuō)，墨翟在墨經(jīng)中以“有之必然”定義“充分條件”，用“無(wú)之必不然”定義“必要條件”。十分顯然，墨翟研究的是客觀世界的邏輯結(jié)構(gòu)這項(xiàng)關(guān)于“充分條件”、“必要條件”的科學(xué)界說(shuō)一直被沿用、傳承了24個(gè)世紀(jì)。譬如，在金岳霖教授的形式邏輯通俗讀本中就以“有甲必然有乙”來(lái)規(guī)定客觀的充分條件關(guān)系。雖然這種十分古老的規(guī)定在當(dāng)時(shí)曾經(jīng)是輝煌的邏輯思想，可是卻經(jīng)不起當(dāng)代形式邏輯的嚴(yán)格考核。譬如說(shuō)，當(dāng)后件乙本身就是必然的事件（如乙為“下雨或不下雨”）時(shí)，對(duì)于任意的前件甲（如甲為

46、“我姓林”）來(lái)說(shuō)，似乎滿(mǎn)足“有甲必然有乙”（似乎是其乙必然因此甲任意時(shí)的特殊情況）；可是，任意的甲決非本身就是必然卻與甲毫無(wú)內(nèi)在聯(lián)系的乙的充分條件。又譬如，“甲，必然，乙必然甲且乙”是否成立？在這種出現(xiàn)兩次（甚至更多）“必然”的較為復(fù)雜的情況下，要用那種素樸的規(guī)定擔(dān)負(fù)起鑒別其成立與否的邏輯標(biāo)準(zhǔn)，那就難以勝任了。“是的充分條件”和“必然”，作為2元聯(lián)結(jié)關(guān)系，就其邏輯含義來(lái)說(shuō)，始終未曾被清晰地揭示，前者的邏輯含義始終是朦朧的，后者依然是朦朧的。因此，想用后者來(lái)界說(shuō)前者，依舊擺脫不了朦朧。但是，盡管如此，在這2400年來(lái)的傳統(tǒng)形式邏輯的發(fā)展過(guò)程中，始終堅(jiān)持充分條件關(guān)系的前、后件之間必須具有內(nèi)在的必然

47、聯(lián)系這一點(diǎn)，無(wú)疑是難能可貴、殊堪珍惜的黃金般閃光的歷史遺產(chǎn)，它向后繼者指明了正確的探索方向。充分條件關(guān)系是邏輯學(xué)的核心問(wèn)題。同我國(guó)其他先賢比較起來(lái)，墨翟關(guān)于“充分條件”、“必要條件”的科學(xué)界說(shuō)對(duì)制約邏輯的影響較大。因?yàn)樗谎赜谩鞒辛?4個(gè)世紀(jì)！然而，經(jīng)歷了漫長(zhǎng)的2400多年，對(duì)充分條件關(guān)系的界說(shuō)卻一直踏步不前。直到1968年，我國(guó)邏輯學(xué)家林邦瑾教授創(chuàng)立嶄新體系制約邏輯，才嚴(yán)格準(zhǔn)確地把充分條件關(guān)系刻劃清楚，揭舉了充分條件關(guān)系的重要性質(zhì)兩個(gè)獨(dú)立性。刻劃清楚后的充分條件關(guān)系稱(chēng)為制約關(guān)系。為了尊重歷史的習(xí)慣，我們也把制約關(guān)系同義地稱(chēng)為充分條件關(guān)系。為了便于閱讀，我們用舉例的方式做簡(jiǎn)單的闡述。我們知道

48、，物理學(xué)確定了電磁波的傳播速度是光速每秒30萬(wàn)公里。月亮與地球之間的精確距離是通過(guò)電磁波往返于月地之間的時(shí)間測(cè)算的。這時(shí)，要用到下述必然關(guān)系：若電磁波往返于月地間的時(shí)間為x秒(A (x)，則月地距離為x/230萬(wàn)公里(B (x)也可表述為：電磁波往返于月地間的時(shí)間為x秒(A (x)，必然，月地距離為x/230萬(wàn)公里(B (x)。物理學(xué)在實(shí)際測(cè)出電磁波往返于月地間的時(shí)間之前，早就確定上述非純真值復(fù)合事件“若A（x）則B (x)”為有（即存在），這是由于存在下述三個(gè)事實(shí)（x表示個(gè)體變?cè)谡撚蛑凶儯籩表示x可能取得的值，為論域中的某一個(gè)體）：（1）對(duì)于人的歷史來(lái)說(shuō)，不管x取得的值e為幾許，有A（e

49、）而無(wú)B（e）這樣的事情，過(guò)去、現(xiàn)在和將來(lái)都不會(huì)發(fā)生；（2）人已經(jīng)確定了事實(shí)（1）；（3）在人確定事實(shí)（1）時(shí)，勿需依據(jù)A（e）、B（e）本身的有無(wú)。這里，事實(shí)（1）可簡(jiǎn)稱(chēng)為“不會(huì)是有A而無(wú)B”，而這其實(shí)就是電磁波的傳播速度為30萬(wàn)公里/秒這個(gè)物理規(guī)律；事實(shí)（2）就是人在利用上述物理規(guī)律來(lái)測(cè)算月地距離之前早已在物理學(xué)中將其確定的這個(gè)歷史事實(shí)；事實(shí)（3）可簡(jiǎn)稱(chēng)“勿需依據(jù)A、B本身的真假確定”，這個(gè)事實(shí)的存在明如觀火既然人們還未動(dòng)手測(cè)得電磁波的往返時(shí)間，連x所實(shí)際取得的值e究竟何許尚且一無(wú)所知，怎么可能在確定事實(shí)（1）時(shí)去依據(jù)A（e）、B（e）本身的真假呢？我們用這三個(gè)事實(shí)組成一個(gè)綜合的重要事實(shí)；

50、無(wú)需依據(jù)A、B本身的有無(wú)確定不會(huì)是有A而無(wú)B。這個(gè)重要事實(shí)也可陳述為：可獨(dú)立于A、B本身的有無(wú)確定不會(huì)是有A而無(wú)B。我們把包含在這重要事實(shí)中的“可獨(dú)立于A、B本身的有無(wú)確定”這個(gè)性質(zhì)稱(chēng)為“第一獨(dú)立性”，并簡(jiǎn)稱(chēng)為“一獨(dú)”。于是，對(duì)于上述重要事實(shí)的陳述可緊縮為：具有一獨(dú)的不會(huì)是有A而無(wú)B。人們依據(jù)早已確定的“A（x）必然B（x）”為有（這個(gè)在先），并在其指導(dǎo)下，設(shè)計(jì)了一套測(cè)定的器械，通過(guò)實(shí)測(cè)，獲得了x的實(shí)際取值e為2.6秒（這個(gè)在后），在確定上述二者之后，才能據(jù)此二者推得論斷B（e）即B（2.6）（月地之間的距離為2.6/230萬(wàn)公時(shí)里=39萬(wàn)公里）。人們要在并不知道x取值e為何許的情況下去確定存

51、在“不會(huì)是有A而無(wú)B”這個(gè)事實(shí)時(shí)，只可能通過(guò)具有一獨(dú)的方法。這就是說(shuō)，人們不僅實(shí)際上是而且也只可能是具有一獨(dú)地去得知不會(huì)是有A而無(wú)B。我們就只要將要而尚未實(shí)測(cè)電磁波往返于月地間的時(shí)間的時(shí)候就具有一獨(dú)地得知不會(huì)是有A而無(wú)B這個(gè)事實(shí)。人們就是憑借這顯而易見(jiàn)的一獨(dú)從已知（前提A（x）B（x）、A（e）為有）進(jìn)入新知（結(jié)論B（e）為有）。與一獨(dú)相輔相成，對(duì)于一系列邏輯的充分條件關(guān)系和任意邏輯外的經(jīng)驗(yàn)的充分條件關(guān)系來(lái)說(shuō)，另外還有一個(gè)十分重要的邏輯性質(zhì)，叫第二獨(dú)立性。還是讓我們結(jié)合上述利用電磁波測(cè)算月球與地球的距離這個(gè)實(shí)例來(lái)探討這個(gè)重要的邏輯性質(zhì)。人們?cè)诖酥霸缫汛_定了“若A（x）則B（x）”為有（即存在

52、），亦即，早已獲得了“具有一獨(dú)的不會(huì)是有A（e）而無(wú)B（e）”。在這里出現(xiàn)的e稱(chēng)為“新知個(gè)體常項(xiàng)”，簡(jiǎn)稱(chēng)為“新知個(gè)體”。盡管明明知道電磁波往返于月地之間的時(shí)間e是唯一的，然而，在實(shí)際測(cè)定之前卻并不清楚究竟這e是多少。所謂“新知個(gè)體”，就是實(shí)際上唯一確定然而暫且還不為人所知的個(gè)體 。顯然，新知個(gè)體e與個(gè)體變?cè)獂在邏輯含義上有重大區(qū)別：后者是已知而不確定的，亦即，已知個(gè)體變?cè)獂在論域中變，然而，究竟為哪個(gè)個(gè)體卻是不明確的。與之相應(yīng)地，具有確定含義和真值（物理學(xué)已確定為有）的閉復(fù)合事件“若A（x）則B（x）”的前、后支A（x）、B（x）都是個(gè)體真值函數(shù)，其本身無(wú)所謂有無(wú)，只有當(dāng)個(gè)體變?cè)獂取得確定的個(gè)

53、體后，才是閉事件，才有確定的含義和真值；而用來(lái)定義“若A（x）則B（x）”的“具有一獨(dú)的不會(huì)是有A（e）而無(wú)B（e）”中的A（e）、B（e）都是閉事件，都不是個(gè)體真值函數(shù)，分別是個(gè)體真值函數(shù)A（x）、B（x）當(dāng)x取值為e時(shí)的值，事實(shí)上具有確定的含義和真值，只是暫且還不為人所知。現(xiàn)在，請(qǐng)注意下述重要事實(shí)：人們?cè)趯?shí)測(cè)電磁波往返于月地間的時(shí)間（即知道A（e）中的新知個(gè)體e并同時(shí)證實(shí)A（e）為有）時(shí)，是根本不必事先知道月地間的距離究竟是多少的（即事先無(wú)需知道B（e）的真值）。事情甚至是，只有在知道了電磁波往返于月地間的時(shí)間為2.6秒，亦即，確定了A（e）為有之后，才能由之推斷月地間的距離為39萬(wàn)公里，

54、亦即，確定結(jié)論B（e）為有。這個(gè)事實(shí)至關(guān)重要。這里所揭舉的重要事實(shí)可以簡(jiǎn)要地表述為：可在未確定B（e）的有無(wú)的情況下去確定A（e）為有。這也可以說(shuō)成：可獨(dú)立于B（e）的真值確定A（e）為有。我們稱(chēng)這個(gè)事實(shí)為“第二獨(dú)立性”，并簡(jiǎn)稱(chēng)為“二獨(dú)”。這就是說(shuō)，經(jīng)驗(yàn)的“若A（x）則B（x）”不僅具有一獨(dú)，而且具有二獨(dú)。象一獨(dú)一樣，這二獨(dú)對(duì)于以獲得新知為主要使命的邏輯科學(xué)來(lái)說(shuō)，也具有決定性的重要意義。上述包含在“若A（x）則B（x）”中的一獨(dú)和二獨(dú)由于跟前、后件的全部具體內(nèi)容（由邏輯內(nèi)容和此外的經(jīng)驗(yàn)內(nèi)容組成）有關(guān)，因而稱(chēng)為經(jīng)驗(yàn)的一獨(dú)和二獨(dú)，這種“若A（x）則B（x）” 稱(chēng)為經(jīng)驗(yàn)的充分條件事件，其中的“若，則

55、”稱(chēng)為經(jīng)驗(yàn)的充分條件聯(lián)結(jié)關(guān)系。一獨(dú)和二獨(dú)合稱(chēng)兩個(gè)獨(dú)立性并簡(jiǎn)稱(chēng)為兩獨(dú)。兩獨(dú)可分經(jīng)驗(yàn)的和邏輯的，前者是后者的淵源和歸宿。兩獨(dú)是充分條件（必然）關(guān)系的邏輯精髓，是作為從已知進(jìn)入新知的工具的邏輯科學(xué)的兩塊基石。鑒于篇幅問(wèn)題，我們略去邏輯的兩獨(dú)，不在這里討論。如果說(shuō)，邏輯科學(xué)如今已成為根深葉茂、碩果盈枝的大樹(shù)，那么，人們?cè)缦葘?duì)事實(shí)上包含在充分條件（必然）關(guān)系中的兩獨(dú)的朦朧的認(rèn)識(shí)則是那大樹(shù)萌芽時(shí)的兩片子葉。林邦瑾教授從一開(kāi)始研究邏輯學(xué)，就十分重視充分條件關(guān)系的本質(zhì)屬性研究，并且花了大量精力和時(shí)間。我們翻開(kāi)制約邏輯原著，在“ 20. 條件關(guān)系”（這里的條件關(guān)系即充分條件關(guān)系）一節(jié)里，可以看到：“一、條件關(guān)系

56、的定義（一）”、“二、條件關(guān)系的定義（二）”、“三、條件關(guān)系的定義（三）”、“四、定義（三）不滿(mǎn)足無(wú)誤性要求”、“五、改進(jìn)定義（三）的困難”、“六、傳統(tǒng)系統(tǒng)由且僅由傳統(tǒng)邏輯定理刻劃的邏輯系統(tǒng)”、“七、夠用的無(wú)衍系統(tǒng)制約系統(tǒng)”、“八、條件關(guān)系的定義（四）”。僅憑這些標(biāo)題，足以看出制約邏輯系統(tǒng)構(gòu)造者對(duì)充分條件關(guān)系的研究所付出的血汗！飲水思源數(shù)典不能忘祖！不言而喻，墨翟的思想，使制約邏輯足夠重視充分條件關(guān)系的研究，因而，制約邏輯最后深刻地揭示了制約關(guān)系即充分條件關(guān)系的本質(zhì)屬性經(jīng)驗(yàn)的和邏輯的兩個(gè)獨(dú)立性。三、制約邏輯堪稱(chēng)中國(guó)傳統(tǒng)文化中邏輯學(xué)的當(dāng)代發(fā)展制約邏輯堅(jiān)持傳統(tǒng)形式邏輯深刻正確的主導(dǎo)思想（如：深深地

57、植根于和自然語(yǔ)言形影不離的普通邏輯思考實(shí)際，在理論上堅(jiān)持論證不許循環(huán)，等），充分繼承傳統(tǒng)形式邏輯久盛不衰的理論成果，在不背離其作為從已知進(jìn)入新知的認(rèn)識(shí)工具的真正邏輯科學(xué)方向從而不會(huì)發(fā)展成為數(shù)學(xué)的一部分的先決條件下，借鑒現(xiàn)代數(shù)學(xué)作為導(dǎo)致清晰嚴(yán)密的工具的數(shù)學(xué)方法，廓清了籠罩在傳統(tǒng)形式邏輯身上的朦朧的歷史迷霧，摒棄了還留存于當(dāng)今一些流行的傳統(tǒng)形式邏輯讀物中的種種陳陳相襲的積弊，開(kāi)發(fā)出與現(xiàn)代科學(xué)水準(zhǔn)相適應(yīng)的新穎的邏輯思想和邏輯定理，實(shí)現(xiàn)了傳統(tǒng)形式邏輯的當(dāng)代發(fā)展。制約邏輯一反傳統(tǒng)的認(rèn)識(shí)，認(rèn)為邏輯學(xué)不是研究思維的（事實(shí)上人們至今對(duì)思維知道得很少），而是研究客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律。制約邏輯所研究的領(lǐng)域

58、是：現(xiàn)實(shí)世界的對(duì)象域上的個(gè)體、集、一元或多元函數(shù)、一元或多元關(guān)系、關(guān)系間的真值函數(shù)關(guān)系、關(guān)系間的充分條件關(guān)系，和上述客觀關(guān)系的客觀規(guī)律，以及，它們?cè)谝庾R(shí)中的反映概念（或詞）、命題和推理。譬如，為傳統(tǒng)形式邏輯所津津樂(lè)道的“概念間的屬種關(guān)系”事實(shí)上就是在研究被概念所思考的客觀世界的類(lèi)（即集）與類(lèi)間的包含關(guān)系。顯然，作為一種思考，一個(gè)概念怎么可能去包含另一個(gè)概念呢？又譬如，被現(xiàn)行邏輯論著奉為圭臬的不矛盾律說(shuō)，“兩個(gè)互相矛盾的命題A、A不可能同真”。顯然，這里說(shuō)的并非什么“思維的邏輯規(guī)律”，而是客觀世界的邏輯規(guī)律：兩個(gè)互相矛盾的事件A、A 不可能并存。具有“不矛盾”這個(gè)帶有規(guī)律性的邏輯性質(zhì)的是客觀世界

59、，而不是思維，亦即，A、A只有在客觀世界里才是不可能并存的。然而，眾所周知，人們的思想事實(shí)上往往是可以自覺(jué)地自相矛盾的，從而，制約邏輯將千百年來(lái)被顛倒了的認(rèn)識(shí)重新顛倒了過(guò)來(lái)。制約邏輯作為邏輯科學(xué)當(dāng)代發(fā)展的第二個(gè)獨(dú)到之處是：揭示了使傳統(tǒng)形式邏輯具有生命力的充分條件關(guān)系的精髓兩個(gè)獨(dú)立性。普通邏輯思考中的充分條件命題“若A則B”的真值不取決于前后件（A、B）的真值，亦即，“若A則B”的真值不是A、B的真值的真值函數(shù)。制約邏輯立足于客觀世界的邏輯結(jié)構(gòu)和邏輯規(guī)律，深刻地揭舉了充分條件關(guān)系的兩個(gè)獨(dú)立性，指出，“若A則B的邏輯語(yǔ)義是：可獨(dú)立于前后件的真值確定不會(huì)是前真而后假（），并且前件為真可獨(dú)立于后件的真

60、值確定（）。” 稱(chēng)為第一獨(dú)立性，簡(jiǎn)稱(chēng)“一獨(dú)”；稱(chēng)為第二獨(dú)立性，簡(jiǎn)稱(chēng)“二獨(dú)”；兩個(gè)獨(dú)立性簡(jiǎn)稱(chēng)“兩獨(dú)”。制約邏輯進(jìn)一步將兩獨(dú)二分為邏輯的和邏輯外經(jīng)驗(yàn)的兩種，從而又將充分條件二分為邏輯的和經(jīng)驗(yàn)的兩種。譬如，在著名的假言推理肯定式 若：A，并且，若A則B，則：B中，外面那個(gè)“若，則”表述邏輯的充分條件，其邏輯語(yǔ)義是：只依據(jù)其前后件的邏輯結(jié)構(gòu)即可獨(dú)立于“A，并且，若A則B”和B的真值確定不會(huì)是“A，并且，若A則B”真而B(niǎo)假，并且，“A，并且，若A則B”為真可獨(dú)立于B的真值得到確定。制約邏輯稱(chēng)這種只依據(jù)其前后件的邏輯結(jié)構(gòu)即可確定的兩獨(dú)為“邏輯兩獨(dú)”。而當(dāng)假言推理肯定式里邊那個(gè)“若，則”（可表述邏輯的或經(jīng)驗(yàn)