形式邏輯思維追求的是一致性，不能產(chǎn)生否定，產(chǎn)生否定就是不一致。他的本質(zhì)就是同一。正是這一點(diǎn)暴漏了形式邏輯思維的不足。辯證邏輯的產(chǎn)生正是為了彌補(bǔ)這個不足。真理產(chǎn)生于形式邏輯思維與他的否定（辯證邏輯思維）的合一。這是辯證邏輯給我們的答案。辯證邏輯否定同一，他的本質(zhì)就是差異，就是對立統(tǒng)一。形式邏輯思維的原理與他所追求目標(biāo)的背道而馳，真是一個悖論。這個悖論的消解依靠同異合一、對立統(tǒng)一原理。形式邏輯是不全面的，只有加入辯證邏輯后才能形成完整的形式邏輯，只有形式邏輯與辯證邏輯合一的思維才是全面的。人類的思維規(guī)律就在于這種同異合一。辯證邏輯的不可抵抗性就體現(xiàn)在這里。

一、邏輯的概念關(guān)系與二元關(guān)系

    1、概念關(guān)系相容與不相容

    相容關(guān)系：全同、屬種、交叉關(guān)系。全同就是哲學(xué)的同一，數(shù)學(xué)的相等。屬種就是哲學(xué)的和諧是屬于同一的，和諧是一種交叉關(guān)系，是一方融入另一方的交叉關(guān)系。全同就是數(shù)學(xué)的相等。因而在哲學(xué)中，和諧是同一的屬種。交叉也是同一、和諧的屬種，就是哲學(xué)的統(tǒng)一。邏輯學(xué)概念的相容關(guān)系對應(yīng)于哲學(xué)形式邏輯的規(guī)律關(guān)系，為同一、和諧、統(tǒng)一的關(guān)系。

    不相容關(guān)系：差異、矛盾、對立關(guān)系。不相容關(guān)系就是哲學(xué)的差異，就是數(shù)學(xué)的不等于。矛盾是互補(bǔ)的不相容關(guān)系的論域，是差異的屬種關(guān)系。就是哲學(xué)的矛盾。就是數(shù)學(xué)互補(bǔ)關(guān)系的不等于。對立小于互補(bǔ)的不相容關(guān)系的論域，是屬種概念。就是哲學(xué)的對立。就是較小的數(shù)學(xué)互補(bǔ)關(guān)系的不等于。邏輯學(xué)概念的不相容關(guān)系對應(yīng)于哲學(xué)辯證邏輯的規(guī)律關(guān)系，為差異、矛盾、對立的關(guān)系。

    對立統(tǒng)一關(guān)系：由以上分析可知，外延關(guān)系：同一＞和諧＞統(tǒng)一的外延。差異＞矛盾＞對立的外延。是概念屬種關(guān)系。應(yīng)用對立統(tǒng)一原理，因而有三種不同層次的概念屬種對立統(tǒng)一外延關(guān)系：同一與差異＞和諧與矛盾＞對立與統(tǒng)一的概念屬種對立統(tǒng)一外延關(guān)系。同一與差異概念屬種對立統(tǒng)一外延關(guān)系，是同異合一，全體性事物的規(guī)律，思維的規(guī)律。和諧與矛盾概念屬種對立統(tǒng)一外延關(guān)系，個體性事物的規(guī)律，個體思維規(guī)律。對立與統(tǒng)一概念屬種對立統(tǒng)一外延關(guān)系，是邏輯的規(guī)律，對立事物的規(guī)律。概念屬種對立統(tǒng)一外延關(guān)系既是邏輯學(xué)的也是哲學(xué)、數(shù)學(xué)、物理學(xué)的。

    2、二元關(guān)系屬性的屬性

    屬性概念本身由性質(zhì)、關(guān)系組成。關(guān)系的屬性就是屬性的屬性，因而具有二元關(guān)系。概念的屬性的屬性，即自身、他物對立雙方性質(zhì)、關(guān)系的關(guān)系。雙方關(guān)系的同一就是自反性、對稱性，雙方關(guān)系的屬種就是傳遞性。因而，概念本身具有相容性的同一、和諧、統(tǒng)一的關(guān)系。同時具有不相容性的差異、矛盾、對立的關(guān)系。雙方關(guān)系的差異就是自反性、對稱性，雙方關(guān)系的矛盾、對立就是對稱性、傳遞性，矛盾、對立是屬種關(guān)系，所以具有傳遞性。

    矛盾、對立的屬性的屬性，即矛盾、對立雙方性質(zhì)、關(guān)系的關(guān)系。同樣至少具有自反性、對稱性、傳遞性之一的二元關(guān)系。

    矛盾、對立雙方互為他物，組成矛盾、對立概念。雙方關(guān)系的同一就是自反性、對稱性，只存在于概念中，存在于矛盾、對立一方與另一方的他物之間，就是一方自身。就是Ａ是Ａ。由此可知，矛盾、對立雙方不存在同一，只存在差異。

    概念是哲學(xué)的基礎(chǔ)。如同極限是高等數(shù)學(xué)的基礎(chǔ)。概念是哲學(xué)中的極限概念。抽象概念就是極限概念。

    矛盾、對立雙方性質(zhì)、關(guān)系的關(guān)系，就是矛盾、對立雙方的關(guān)系。就是不排中律定義的關(guān)系，中——中道。就是對立統(tǒng)一。就是相容的交叉關(guān)系，是統(tǒng)一關(guān)系。不相容的對稱關(guān)系，是對立關(guān)系。矛盾、對立雙方共同作用的關(guān)系，是中——中道。不是由某一方?jīng)Q定的，是共同作用的結(jié)果。

二、形式邏輯三定律與命題條件

    對形式邏輯三定律的命題、命題條件進(jìn)行徹底的分析，才能認(rèn)清形式邏輯三定律的實(shí)質(zhì)。

    形式邏輯三定律的命題，能用公式表示的，必然有條件限制。說明形式邏輯三定律的受限。既然受限，當(dāng)然不全面。為什么總有人認(rèn)為形式邏輯三律包打天下？辯證邏輯不能成立？

    矛盾命題成立的條件。命題應(yīng)包含兩種關(guān)系：相容，不相容。由概念關(guān)系而來。相容：全同、屬種、交叉關(guān)系。不相容：差異、矛盾、對立關(guān)系。

    同一律——A是A。用公式表示：A=A,=是等價。自身的等同是同一。同一命題只有概念關(guān)系的相容關(guān)系，全同。二元關(guān)系的自反性。

    不矛盾律（邏輯學(xué)矛盾律）——A不是非A。用公式表示：～(A∧～A)由得摩根定理和交換律有A∨～A。是不相容的析取。所以不矛盾命題只有概念關(guān)系的不相容關(guān)系，即矛盾，對立。二元關(guān)系的對稱性。他成立的條件是：矛盾命題不能同真同假，一真一假。對立命題可以同假。

    排中律——A或者非A。用公式表示：A∨～A。是相容的析取。所以排中命題只有概念關(guān)系的相容關(guān)系，即二選一的關(guān)系，二元關(guān)系的傳遞性。他成立的條件是：矛盾命題不能同假，必有一真，關(guān)系不能是中，排中律講的就是真值與關(guān)系的關(guān)系。

    形式邏輯三定律，同一律就是同一。不矛盾律就是不相容的二選一。排中律是相容的二選一，關(guān)系不能是中。同一、二選一、關(guān)系不能是中就是形式邏輯的實(shí)質(zhì)，形式邏輯的真理。

    當(dāng)用公式來表示不矛盾律、排中律時是一個公式：A∨～A。只是命題條件不同、概念關(guān)系不同。

    同一律是A等于A，它的否定（反對命題）是自身相異命題。

    不矛盾律可以說成A或者非A其中之一，A真非A假，非A真A假，只能選擇其一。A與非A不能同真、同假。A與非A同真矛盾命題不成立。A與非A同假，對立命題成立。其對立命題就是矛盾律（辯證邏輯）。是矛盾（邏輯學(xué)）的。A與非A同假正是矛盾產(chǎn)生的原因，悖論產(chǎn)生的原因。

    排中律A或者非A，是A與非A的關(guān)系，不能是中。A真非A假，非A真A假，只能選擇其一。A與非A不能同假，真值必有一真一假。A與非A的關(guān)系，不是中。A與非A同假，對立命題成立。其對立命題就是不排中律。A與非A同假，就是不考慮A與非A的真值，考慮A與非A的關(guān)系。概念關(guān)系的不相容關(guān)系就是矛盾、對立，二元關(guān)系的對稱性。不排中就是中——中道。

    不矛盾律只講真值，不考慮關(guān)系。所以是二選一，排除矛盾。排中律講真值，必須一真。同時考慮關(guān)系，非中。排中律的反對命題，不排中律不講真值（同假），只考慮關(guān)系。

    形式邏輯三定律也不能用數(shù)理邏輯來完全表示，對命題要有限制。不矛盾律：要求是命題不能同真同假，一真一假。排中律：要求是命題必有一真。同真就是全體。

    不矛盾律是不相容的析取。排中律是相容的析取。雖然公式表示相同，但概念關(guān)系是不同的。

    命題條件就是特殊性，不能代表全體。這個特殊性就是辯證邏輯形式化的根據(jù)。

    由于命題條件的存在，形式邏輯三定律與辯證邏輯三定律都是不全面的。全面的是A或者非A全真，形式邏輯三定律是A，辯證邏輯三定律是非A，兩者相合一，對立統(tǒng)一是真理。

三、辯證邏輯形式化就是形式邏輯否定化

    辯證邏輯的實(shí)質(zhì)是非形式表示的形式邏輯。就是形式邏輯之外的。形式邏輯之外的就同一、和諧、統(tǒng)一的否定。就是辯證邏輯的差異、矛盾、對立關(guān)系。對立統(tǒng)一、同異合一就是真理。

    自身相異律——A自身是非A。用公式表示：A=～A，=是等價。自身相異命題只包含不相容關(guān)系，差異。自身與他物才有區(qū)別，自身與他物的區(qū)別是差異。自我否定，自我否定的否定還是自我。

    矛盾律——既是A又是非A。用公式表示：A∧～A。矛盾命題只能同真，反對命題可以同真同假。矛盾、反對命題同真，對立雙方互為他物，對立雙方是差異、矛盾。反對命題同假，矛盾命題不成立，反對命題成立。就是對立的辯證邏輯矛盾律。由此帶來一個問題，就是對立命題將矛盾命題外延縮小。而矛盾命題是差異命題外延的縮小。被縮小的外延部分就是悖論產(chǎn)生的原因。應(yīng)用矛盾律時要注意矛盾與對立命題外延的縮小的區(qū)別，同時要注意差異與矛盾命題外延的縮小的區(qū)別。

    不排中律——A并且非A，中。用公式表示：A∧～A。矛盾、對立命題同假，對立雙方非此非彼為中。命題同假，命題不成立。實(shí)際是空集，但關(guān)系是中。排中律是命題條件為一真一假，關(guān)系為空。

    不矛盾律：A∨～A，矛盾律：A∧～A。A∨～A由得摩根定理和交換律有～(A∧～A)，是互相否定的。

    排中律：A∨～A，不排中律：A∧～A。A∨～A由得摩根定理和交換律有～(A∧～A)，是互相否定的。

    辯證邏輯三定律，自身相異律是差異。矛盾律是矛盾、對立。不排中律是雙方的關(guān)系中——中道。差異、矛盾、對立與雙方的關(guān)系就是辯證邏輯的實(shí)質(zhì)，他告訴我們，差異、矛盾、對立與雙方的關(guān)系就是對立統(tǒng)一。辯證邏輯的真理就是對立統(tǒng)一。對立統(tǒng)一使形式邏輯與辯證邏輯合一，形成完備的形式邏輯。邏輯學(xué)必須進(jìn)行擴(kuò)展，要包含辯證邏輯，要包含對立統(tǒng)一，同異合一。這樣的邏輯學(xué)才是一致、完整的，才是全面的。

四、形式邏輯的終結(jié)與推論

    不排中律公式：A∨～A相容關(guān)系的析取，同真就是永真。他所說明的正是某物與他的否定是真理。這是自明的，但是不可證明和證偽的。對立統(tǒng)一使形式邏輯完備，使形式邏輯終結(jié)。形式邏輯終于自成體系了。邏輯學(xué)必需要擴(kuò)展，才是全面的。

    擴(kuò)展邏輯學(xué)的推論：哥德爾定理所推出的矛盾是形式邏輯固有的，也是形式化數(shù)學(xué)固有的。只能用同異合一來說明。將同異合一作為公理，是符合邏輯學(xué)原理的。邏輯學(xué)應(yīng)增加對立統(tǒng)一、同異合一公理。同異合一就是合二為一，二就是一。一分為二就是一就是二。一與二是不分的。推廣到數(shù)學(xué)也是一與二不分的，1+1=2是無法用數(shù)學(xué)證明的。只能用同異合一公理來說明。同異合一公理同樣可以推廣到物理學(xué)。