什麼是形式邏輯和辯證邏輯，如何用最簡單的例子解釋下？

01-01

例：假設1+1=2，依次推演所有四則運演算法則，都是運用形式邏輯正向推演；使用辯證邏輯可對任何一道四則運算的所謂正確答題提出質疑，不論怎麼質疑都會歸結到質疑假設1+1=2上，於是形式邏輯等待除此之外的假設比如1+1=1之類的確立，可是辯證邏輯只管質疑不管確立假設，於是書獃子遇上耍流氓沒法玩了

對於公理設定的反駁並不需要理由，但對於公理以下的定理推論以及現象解釋的反駁需要回溯到公理基礎，因為這是同一個公理體系下的契約協議，以保持形式邏輯的一致性。這就是為啥形式邏輯鬥不過辯證邏輯，因為形式邏輯再怎麼嚴密都是建立在某套公理假設基礎上，而辯證邏輯直接穿越了形式邏輯的整體證明過程，對公理體系發起攻擊，釜底抽薪，所以辯證法無敵辯證法最大。但是辯證法在簽了契約協議之後還在公理體系內亂竄就是違法，違反形式邏輯辯證邏輯與形式邏輯之辯（大小邏輯關係）

先說幾句眾所周知的話：

易有太極，是生兩儀，兩儀生四象，四象生八卦。
天下皆知美之為美，斯惡已；皆知善之為善，斯不善已。故有無相生，難易相成，長短相形，高下相傾，音聲相和，前後相隨。
道生一，一生二，二生三，三生萬物。

要理解辯證邏輯，必須把握資訊理論的核心思想。神經系統在這裡要看做信息系統。

舉例：

如果逢人就拍馬屁說好，「好」對此人就沒有真實的存在意義，因為沒有「壞」把「好」對立住，這樣一來就不存在「好壞的區分」。
百家姓是為了把各家族區分開，其關鍵在於各姓氏的之間的不同，而非各個姓氏具體是什麼。在百家姓里，趙錢孫李，僅就姓氏來說，「趙」的存在僅在於「不是錢孫李，也不是別的姓氏，更不是別的什麼」。
紅色，就不是藍色，不是黑色，不是其他任何顏色，其含義僅此而已。綠色，就不是紅色，不是白色，不是其他任何顏色，其含義僅此而已。如果世界上只有「紅
色」，就不會有「紅色」的概念。人把握顏色的存在，關鍵在於區分開不同的顏色。不管是叫abcdefg，還是叫紅橙黃綠藍靛紫，還是叫red
green blue white，還是說把紅色稱作「綠色」，把綠色稱作「紅色」，只要能將其區別開，就完全足夠。
以上是將顏色細分，如果再高一個分類級別，即把握「顏色」這個概念，而非把握「紅」「綠」「藍」這些概念，我們就要把「形狀」之類的屬性概念拿來，與之共同成為矛盾，與之共同存在，互相之間區別、相異、對立統一。

資訊理論的核心思想就包含在以上幾個例子中。

辯證邏輯的核心，也就在於此。

我覺得「辯證邏輯」這個詞雖然很切合本意，但是不利於大眾理解，為了讓大眾容易理解，我起了幾個不精確的、含義不全面的名字——「區別邏輯」、「相異邏輯」、「相差邏輯」、「共生邏輯」、「矛盾邏輯」、「對立統一邏輯」、「資訊理論邏輯」。

一切存在，就在這個核心之中。

平時我們學的都是形式邏輯，那是世界本身的模式，是外在的；

辯證邏輯是內在的，是思維的規律，是思維與世界相結合的根本規律，思維以辯證邏輯的模式運動。

建議想理解辯證邏輯的同志讀一讀《意識的宇宙》，一本從神經科學角度研究意識的書。

最後補充一個自己想出來的公式：

存在=相差=相異=不同=矛盾=潛在的價值來源

區分這兩者，要從歷史來看。

人類自有史以來大致應該是以樸素辯證邏輯去分析問題的。證據就是周易，老子等以及古希臘的艾利亞學派等等。。

辯證邏輯就是，第一步發現一個東西，第二步發現另外一個東西，這兩個是矛盾的，第三部發現這倆是一個東西，這個東西就這樣的變化。總結一下就是：正，反，合。

這個合，並不是單純正反加起來，合跟正不同，跟反也不同，合是一個普遍的東西，但是規定性與正合反一樣都是單一的。而且當我們以合這個程度去把握這個東西，正和反的規定性彷彿被遺忘了，但是不是真的遺忘，他還是包含在其中被保存起來。。這個遺忘並且保存的方式，黑格爾有一個名詞，叫做揚棄，就是既拋棄了，又沒有拋棄。

舉個經典的例子，我們發現了時間這個東西，又發現了空間這個東西，最後發現原來時間空間是一個東西，就是光速不變。相對論其實就是哲學的辯證法在物理上的應用。

我們很疑惑為什麼很難理解相對論，康德很好的解釋這個問題，因為相對論所闡述的東西，還沒有進入我們的經驗之中，一般人看不見摸不著感覺不到，也就是對於一般人來說，相對論是形而上學，而康德的看法就是形而上學的思考是無法應用形式邏輯，必須是辯證的思考。

也就是說，如果我們的科學先進到接近光速運動，我們的能夠經常的的經驗這些東西，就能把握光速不變，那麼相對論談的東西就變成了形而下學，這樣也是可以用形式邏輯去解釋的，而這個時刻，我們彷彿已經遺忘了時間與空間，而在光速不變的程度上去把握新的東西了。

康德只是認識到形式邏輯不能在先於經驗和超出經驗的情況下使用，到認為經驗中是形式邏輯。

黑格爾更進了一大步，完善了辯證邏輯，按照黑格爾的看法，不僅先驗，超驗，經驗也是辯證的。。

先驗的辯證邏輯例子：我們認識了一個杯子，為什麼把杯子當做一個東西呢，是因為先驗的辯證運動後形成的，這個杯子的大小，顏色，質地等等屬性都是先天在不自覺就運動了起來，並且被揚棄了，也就是說我們先天曾知道了杯子的N多種屬性確又遺忘了，現在彷彿只是知道這個杯子是個東西，是個存在的東西而已。

經驗的辯證邏輯例子：公孫龍與孔子六世孫論馬，有一個經典的白馬非馬論。講的是形式邏輯和辯證邏輯的差異。我們先認識馬，然後認識白，之後認識白馬，但是把握白馬的同時彷彿遺忘了馬和白。辯證邏輯中正題馬與反題白與合題白馬，是一個東西，但是直接把我白馬的時候確實是已經遺忘了馬和白，如此而僵硬的套入形式邏輯，彷彿合題與正題就不是一個東西了。而形式邏輯的同一律，是要求兩個東西全等，而馬和白馬顯然不全等，公孫龍因此而進行詭辯。

超驗的例子：上文的相對論就是。

辯證邏輯的方法論我國古以有之：太極生兩儀，兩儀生四象，四象生八卦。而且辯證法是宇宙觀，認識論，方法論三位一體的一元論體系。

我們先認識陽（正），又認識陰（反），又發現陰陽是一個東西，命名為太極（合）。這就是一個辯證運動，一個演繹的過程。連續的演繹就是四像，八卦。

這個方法論看起來是非常完美的。太極與陰陽的關係，既是歸納，也是演繹。太極生兩儀其實也就是兩儀生太極，所以就演繹而言正反是相同的，就歸納而言，分析就是綜合。

形式邏輯的演繹和歸納，一個縱向一個橫向，兩者相對而言就比較機械，而且不能互通。比如生物學，進化論就是演繹的哲學，而門綱目科屬種的分類論就是歸納的哲學，兩者就不能很好的調和，難以互相解釋。醫學，有空間醫學，有分類醫學，兩者分析疾病就顯然不同。

形式邏輯有一個致命的缺點，就是他是公說公有理婆說婆有理的思維體系。比如經濟基礎和上層建築，誰決定誰？經濟學家認為經濟是基礎，政治學家認為上層建築是基礎，雙方都有相應的形式邏輯理論，這樣就陷入了詭辯論。

第一階段：比如認識到經濟基礎決定上層建築，這就是一種形而上學。第二階段：認識的同時發現矛盾，就是上層建築決定經濟基礎，那麼就展開辯論，進入了詭辯論。

而辯證法是要我們走入第三階段：這對矛盾是一個東西，他們是互相交互作用的關係，沒有誰決定誰。往遠了說，辯證法根本上是否認因果關係的思維體系。

1:形式邏輯就是人腦的邏輯推理，用人腦進行推理

演繹推理－》比如你首先知道地球存在地心引力，因此你看到樹上的蘋果，你推理蘋果會掉下來。

歸納推理－》你看到所有豬都是白色的，因此你歸納推理，豬就是白色的。

總結：從唯心出發，從人已經掌握的知識進行推理。

2:辯證邏輯就是就是按照辯證法，即兩個互相對立的矛盾鬥爭推理，按照世界運動規律進行推理

矛盾體－》（光明和黑暗）

現在是黎明，天空還是黑暗，但是太陽升起來了，因此能夠推理隨著光明增加黑暗會越來越少。

總結：辯證邏輯本質從唯物出發，從物質的角度進行推理，一個物質會自否定，會朝著否定自己的方向移動，通過自否定，量變會達到質變，成為另一個物質。

只學過形式邏輯，我只介紹這個了。

形式邏輯是研究思維形式的結構、思維的基本規律一集認識客觀事物的簡單邏輯方法。

ex：所有s是p，所有q是s，則所有p是q。

-----------------------------------------------------------------分割線--------------------------------------------------------------------

形式邏輯是以純形式內容研究推論的一門學科，這種內容是很明確的。若一個推論可以被表示成一個完全抽象的規則，即不和任一特定事物或性質有關的規則的一種特定的應用，則這個推論擁有純形式內容。形式邏輯的規則由亞里斯多德最先寫成。在許多邏輯的定義中，邏輯推論與帶有純形式內容的推論會指向同一種概念。但這不表示非形式邏輯的概念是空洞的，因為沒有任何一種形式語言可以捕捉到自然語言語義間所有的微細差別。

辯證邏輯（Dialectical Logic），是「矛盾邏輯」的同義詞。與之相對應的反義詞，是「無矛盾邏輯」，或者「相容邏輯」，也常常被稱作「形式邏輯」，或者簡稱為「邏輯」（即亞里士多德邏輯）。

---來自維基百科

「形式邏輯是一門以思維形態及其規律為主要研究對象，同時也涉及一些簡單的邏輯方法的科學。」p1

「思維形態及其規律」，這句話表達內容，思維形態和思維規律。思維形態和思維規律都是形式邏輯研究對象，這是傳統邏輯一貫主張。

人類所有思想都是使用語言表達出來，沒有語言而又思想，這種情況從來不存在。思想和語言具有同一關係。凡是違背它們具有同一關係，都不是人類具有思想，也不會是人類具有語言。任何違背它們具有同一關係，不但不能幫助人類交流思想，而且不能幫助人類認知和利用自然。

現代邏輯認為人工語言看到了邏輯內在核心，現代邏輯主張人工語言不是自然語言。儘管有觀點認為不是自然語言這樣思維看到邏輯內在核心，但是請你不要相信它，錯誤觀點只能給人類帶來危害。

祈使句和感嘆句，疑問句和陳述句，都是語言表達思維所有類型。祈使句和感嘆句都不是形式邏輯研究對象。因此形式邏輯沒有研究所有思想形態，所以形式邏輯研究部分思想形態。雖然研究部分思維形態，但是沒有研究其他部分思維形態，因此不能認為形式邏輯研究思維形態。

祈使句具有作用，表達人類意願和意志。感嘆句具有作用，表達人類情感。疑問句具有作用，表達質疑和指責。陳述句具有作用，表達事物和關係。形式邏輯不研究祈使句，不考慮人類意願和意志。形式邏輯不研究感嘆句，不考慮人類情感。形式邏輯不研究疑問句，不考慮質疑和指責。形式邏輯只能研究陳述句表達事物和關係。形式邏輯如果連陳述句都不研究，那麼形式邏輯不表達人類具有思想。形式邏輯使用思想形態表達事物和關係。事物和關係都是我們認知對象。形式邏輯研究事物和關係使用思想形態表達出來。

概念和命題，演繹和歸納，它們都是形式邏輯討論思想形態。形式邏輯使用這些思想形態，為了達到目的，認知和利用事物和關係。使用思想形態認知和利用事物和關係，這是形式邏輯研究對象。思想形態是形式邏輯具有手段，通過它達到認知和利用事物和關係。使用思想形態表達事物和關係，這是形式邏輯研究對象。如果它不是形式邏輯研究對象，那麼形式邏輯既不是語言也不是人類具有思想。

除了思想形態之外，思想形態必須遵守認知規律，必須遵守必然規律，它們都是形式邏輯研究對象。認知和利用事物和關係，必須依據思想形態；認知規律和必然規律：它們都是形式邏輯研究對象。

思想形態為了目的必須遵守認知通道，它是認知規律。思想形態為了目的，依據不可避免趨勢獲得結果，它是必然規律。思想形態不遵守認知規律獲得結果肯定是錯誤思想。思想形態遵守認知規律獲得結果肯定是正確思想。思想形態不遵守必然規律獲得結果，肯定違背事物和關係具有真實情況。思想形態遵守必然規律獲得結果，肯定符合事物和關係具有真實情況。

為了最終目的，思想形態表達和遵守認知規律和必然規律，它們都是形式邏輯研究對象。傳統邏輯對於形式邏輯作出定義，不但缺少最終目的，而且缺少認知規律。從這個角度觀察這個定義項，顯然定義項具有範圍太窄。傳統邏輯對於形式邏輯作出定義，定義項出現思想形態沒有排除其他自然語言具有形態，因此定義項具有範圍太寬。無論定義項具有範圍太窄，還是定義項具有範圍太寬，傳統邏輯主張定義項完全不等於被定義項，因此傳統邏輯對於形式邏輯進行定義是完全錯誤思想。

形式邏輯研究對象分成主要對象與次要對象。這種做法好象具有全面性，實際上看不清形式邏輯具有研究對象是什麼。傳統邏輯要求被定義項相等於定義項，這是保證定義具有準確性必須遵循原則。形式邏輯研究對象分成主要對象與次要對象，這種行為違背被定義項相等於定義項這個要求，都不是具有準確性的定義。

世界上只有一種邏輯，即形式邏輯，其他那些xx邏輯都是李鬼。

形式邏輯是用來解決問題的，辯證邏輯是用來吵架撕逼的。

辯證邏輯的本質就是說了等於沒說。或者說，說了算不算，誰說了算，你用所謂的「辯證法」是的不出答案的，答案在於問問題的人是誰，回答問題的人是誰，誰手裡有武器。所以說所謂的辯證邏輯就是統治者愚民，同時強詞奪理的工具。

每當我聽見別人說「你要辯證的看問題」的時候，我就知道他要開始耍流氓了。

http://blog.sina.cn/dpool/blog/s/blog_4757606d010000zc.html

https://m.baidu.com/from=1012852y/bd_page_type=1/ssid=0/uid=0/pu=usm%401%2Csz%40320_1004%2Cta%40iphone_2_6.0_11_9.1/baiduid=64B52BD7EB961115EB1B9A8F301758DC/w=0_10_/t=iphone/l=1/tc?ref=www_iphonelid=9355952581219116593order=2fm=alopdict=21tj=www_normal_2_0_10_l2w_qd=IlPT2AEptyoA_ykx5gcp-AGu0DBSoI9oskkYhAysec=24118di=6a9884b7d3909c74bdenc=1tch=124.132.224.352.0.0nsrc=IlPT2AEptyoA_yixCFOxCGZb8c3JV3T5ABfPNy6R2iv5nk_qva02EtAfEVXcL7mSZpLRgYPWx_t9tUWi3lEez_Exu_Rpxl9dzkvagPXxdaC0CBsPagkXLbOYDXlwlArLyRwfg3Z5M2951Gdhpunkwtg_ud0SbxVzy1z-ryr6hKrZVY46IoeZnWuvP-tcZ8bxGOzHwBzigyp7TY8vVgLbWCb0fl5MWGBvaw7bkqEQ01SCq8hkKgfwZNQeZUnzLz-g0beLT1iMxQCi29E9nzMgSWEqcGyZhfTyGmodXgft6O-JJu_4IAn1Jk8U0gtYix3RLaspGfGYgadiPmt7cXtpYi--MvG52nzXGZY-IOOJr_em2JQ9jmTzRr0LkDZfE4CzXdMS4_gDC8kDsGbwmNTOt9aqL_3PihUAIsgh2zvgiFx3flkxKUOdgE796610dZWDN-eB1yP02grYLXpf7x3KBAb1Ks_TZmVMri8JsZililrCJ2ODEfNTbVph9JgS4lzu-eO8ZyPoH2SBzAYLlwCClvmzpG7p66P6kJ80EtDF4_5ePpZAqKI8OFy6hFjtzUMqCsHVjD3UXWi6uJof8qrkvSEXsMFwFa2cS00jA2ZlxvT5uVR-XJ1OcsaEHeVQA6fGjqeqid=81d7054d7af6e8001000000059c2ed94wd=clk_info=%7B%22srcid%22%3A%221599%22%2C%22tplname%22%3A%22www_normal%22%2C%22t%22%3A1505947031209%2C%22sig%22%3A%221895%22%2C%22xpath%22%3A%22div-div-div-a-p%22%7D

可以看看這兩篇文章，辯證邏輯確實是偽邏輯，忽悠人的，我也曾經深受其害，讀初中和高中的時候我是政治科代表，當時是認為辯證邏輯是很有道理的東西，讀了大學後發現被騙了很多年，希望大家吸取教訓，這種東西很容易忽悠人，嚴重阻礙中國的發展，尤其是科學。

形式邏輯得到判斷，而辯證邏輯得到事理。判斷具有執行力，而事理是原則沒有執行力。

那先給你講講什麼是邏輯

邏輯是哲學的分支。哲學分為人文的，社會的，思維的。而思維的，就是邏輯。邏輯分為形式邏輯和非形式邏輯。形式邏輯就是有固定的公式，可以通過公式得出推理結果。形式邏輯一般包括直言推理、對方關係推理、三段論、假言推理、複合推理、二難推理……

所謂「形式邏輯」就是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。

所謂邏輯是思維的規律，邏輯學是關於思維規律的學說，思維規律是思維內容與思維「形式」的統一。「形式」邏輯也是從內容和「形式」的統一上來研究思維規律的學說，因而決不是什麼純「形式」的邏輯。正好像傳統把概念說成是思維的「形式」是混淆了概念和語言一樣，把傳統邏輯說成是思維「形式」的學說是混淆了傳統邏輯和語言學。如果像馬克思說的，只有語言才是思維的「形式」，那麼，只有語言學才是研究思維的「形式」和「形式」的規律（如語法規則）的學說。而傳統邏輯一開始就不是什麼「純思維形式」的科學。傳統邏輯的創始人亞里士多德認為判斷的主詞和賓詞的聯繫就反映了事物之間的客觀關係，列寧說他的邏輯學是尋求、探索，它接近於黑格爾的邏輯學。後來傳統邏輯的發展，與其說被「形式」主義化了，還不如說是被歪曲化了。

辯證邏輯是研究人類辯證思維形式、概念、判斷、演繹、推理、過程、發展邏輯，可以說是關於辯證思維的規律和方法的科學。它包括思維辯證、概念辯證、現實辯證、發展辯證等內容。是相對於形式邏輯、數理邏輯而命名的思維邏輯。概念與現實的辯證運動，歷史與未來的辯證運動之對立統一關係機制的邏輯屬性與邏輯規律，是辯證邏輯的主要研究對象。

其實辯證邏輯和形式邏輯很多情況下來說是有很多交集。

看了一些答案，我也發表一下意見

兩種邏輯的應用領域不同，客觀的或經驗的，一定要走形式邏輯，走辯證等於耍流氓。

形而上的先驗的只能走辯證，因為每個人的標準境遇不同，或者說每個人的局部環境不同，或者說客觀存在的多樣性決定了在局部上的複雜和缺乏統一認知的可能，必然導致人認知的不一致和相對性。

形式邏輯是用來探求和證明真理的，辯證邏輯是用來扯淡的

大陸法系和英美法系

形式邏輯堅持 $p otimes p^ot vdash ot$ . 然而辯證邏輯聲稱, 抽象的東西在自然界不是自在存在的, 有限的東西都將毀滅, 這裡有一個辯證法的實例: 具體的內容 (物質) 作為部分與整體保持直接的關係, 而那個整體與別的整體一樣是較大整體的部分. 或者相反的無限可分性: 一顆鑽石是鑽戒的一部分, 然而它是一些碳原子組成的整體. 而作為鑽石的部分的碳原子對於其中的原子核和電子是整體. 也就是說, 部分過渡到整體, 整體回復到部分. 然而那部分與整體的直接的聯繫不過是力.

辯證邏輯與形式邏輯的區別就是辯證邏輯總是強調命題成立的前提、條件、相對性。而形式邏輯常追求一種普遍的、不受條件限制的、絕對正確的命題。

辯證邏輯不同於形式邏輯「非彼即此」的邏輯法則，它常「亦此亦彼」。如：張三不是個好人就是個壞人（形式邏輯），張三雖然貪財好色，但很講義氣（對各種品質一分為二--辯證邏輯）；張三是挺壞，不過有時候也挺好（從時間上上一分為二--辯證邏輯）。辯證邏輯拒斥那類脫離具體條件而聲稱普遍地絕對的成立的片面的命題！

可以看出：得出「張三壞」的前提是在講他的貪財好色這個品質；得出「張三好」的前提是在講他講義氣這個品質；同理，張三的好壞同樣以時間這個條件、前提為轉移。即，辯證邏輯在給出命題時，都給出一定的前提條件。這也正符合辯證法的一條原理：一切以條件為轉移，矛盾在一定條件下向對立面轉化。

辯證邏輯相信真理是具體的，只有給出一定的、具體的前提、條件、標準、參照物，命題的政務才能得以判斷。我們常說的辯證發就是運用的辯證邏輯，他的威力不僅在於能夠輕而易舉地駁斥任何觀點，而且他能夠輕易地為任何觀點找到理論根據。

而形式邏輯不是不認為需要一個判斷標準，而是認為天然地存在一個、不言而喻、不證自明的普遍標準。在邏輯上，以形式邏輯四大定律作為思維合理性的標準。在物理學上，比如以「以太」作為絕對參照系的嘗試。在倫理學上，以「君子」作為衡量道德品質的標準。在日常生活中，以「常識」作為話語合理性的標準。悲劇在於：形式邏輯法則有其局限性、以太並不存在、「君子」的概念並非在任何社會形態都是一種理想道德標準、常識不總是對的……

形式邏輯是辯證邏輯的升級形式，形式邏輯運用時是以過往經驗或公理為依據進行推理，而辯證邏輯是質疑所有，即發現一個事物先質疑，然後去尋找它的矛盾體或對立面，然後將兩者合二為一向前推進，它以當時當下存在的事物進行推理…個人覺得在個體生產生活的運用上辯證邏輯要比形式邏輯實用.

總覺得樓上這些人都是瞎說！

私以為組成形式邏輯的基本形式本質上由辯證邏輯得來。

世界的最初是沒有任何固定形式的，經過不斷的思考、辯證、質疑、考證、階段性的得到一些結論。這些結論成為形式，如1+1=2就是一個形式基礎，在這個基礎形式上可以得到數學的形式邏輯，進而演變成如乘法這種規律，又變成新的形式邏輯。但最初的形式是怎麼得來的呢？是辯證，是反覆質疑最後得出的一個相對的真理。

到今天，形式邏輯的發展保證了生產力、科技等等的不斷發展，試想如果人類一直質疑1+1是不是=2這樣的形式停滯不前，那麼整個世界將停止發展。從這個角度來說，過度的辯證是會阻礙世界的進步的，但如果沒有辯證邏輯卻又會很危險，如果有一天1+1不等於2了，這個形式不對了，那世界是不是要土崩瓦解一夜回到解放前？所以辯證邏輯會幫助人不斷探索宇宙的本質和天道的規律。

部分一樓的同半截，後半截不置可否，因為還不太懂辯證邏輯。