簡單點的例子：闖紅燈問題。

形式邏輯：法律規定不能闖，闖了罰錢。某個人或者某輛車闖了紅燈，應該被罰錢。辯證邏輯：法律為什麼規定不能闖紅燈？什麼樣的情況下闖/不闖紅燈會帶來什麼樣的後果？什麼樣的情況下闖紅燈其實也沒有什麼後果？這些後果在多大程度上又引起其他後果？所以說原論斷的提出者會發現原來的論斷站不住腳，要經過不斷的修改/補充。這個過程就是形式邏輯的本質。

邏輯就是思維的規律，又稱理則、論理、推理、推論，是有效推論的哲學研究，邏輯的本質是尋找事物的相對關係，並用已知推斷未知。邏輯學就是關於思維規律的學說。

邏輯學有廣義和狹義之分。狹義的邏輯學指：研究推理的科學，即只研究如何從前提必然推出結論的科學。廣義的邏輯學指：研究思維形式，思維規律和思維的邏輯方法的科學。廣義邏輯學研究的範圍比較大，是一種傳統的認識，與哲學研究有很大關係。整個邏輯學科的體系非常龐大複雜，如：傳統的、現代的和辯證的、演繹的、歸納的和類比的、經典的和非經典的，等等。但是，它再龐雜也有相通的地方，例如：構建判斷的方法；進行必然性推理；認同邏輯真理或邏輯規律等。

邏輯和邏輯學的發展，經過了傳統邏輯（形式邏輯）與辯證邏輯兩大階段，辯證邏輯又發展有矛盾邏輯、對稱邏輯兩大階段。對稱邏輯是邏輯學發展的最新成果，是辯證邏輯發展的高階階段，也是邏輯學發展的最高階段。對稱邏輯學就是對稱邏輯的概念、範疇與範疇體系，由中國著名學者陳世清先生創立。

形式邏輯 研究人的認識知性階段思維規律的學說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規律也是思維形式和思維內容的統一。形式邏輯的物件是事物的質，形式邏輯靠概念、判斷、推理(主要包括歸納推理與演繹推理)反映事物的質。

形式邏輯也叫普通邏輯。研究思維形式及其規律的科學。它是一門工具性質的科學，是人們認識事物、表達思想時經常運用的一種必要的邏輯工具。人的認識在理性階段要實現對客觀世界的反映，就要實現思維內容和思維形式的統一，否則，就不能實現這個反映。思維內容就是思維所反映的物件及其屬性，形式就是對某個物件反映的方式，也就是用詞語表達的概念、用語句所表達的判斷和用複句所表達的推理等。

什麼是非形式邏輯，相信以搜就會產生一大堆定義，複雜的描述，甚至有著不同的定義。

但如果用形式邏輯對比的進行分析就能很好的理解，形式邏輯側重的是有效性，即研究重點是推論到結論的推理方式，而非形式邏輯就是規範日常中的論證，著重在論證方式上的合理性，所以定義和謬誤是構成非形式邏輯的重要內容。

第一節主要講語言的三種主要用法，資訊性，表達性，指令性，和不那麼普通的用法，即禮節性，述行性。其實講那麼多，歸根結底就一個，即傳遞資訊。這裡對傳遞資訊的不同目的進行了分類，沒多大意義。

第二節講語言的情感意義和中立意義。提及了兩種論爭情況：關於事實的信念之間的衝突；對事實態度之間的衝突，即對該事實的真實性上的分歧。其實這節的關鍵，需要我們注意的就是情感詞彙一般是帶有好壞評價的，而且在不同社會團體代表的意義不同，也就是詞彙意義的資訊不統一，所以入鄉隨俗要注意用詞。關於兩種爭論其實基本就是定義不同和分類標準不同造成的爭議。

第三節繼續深入的講了三種不同爭論的辨析：實質爭論是，詞彙資訊對稱，但持有態度不同；言辭爭論，詞彙資訊不對稱，產生誤解；表面言語實際是實質的標準之爭，即同一詞彙持不同定義。就這三種爭論而言，第二種好解決，統一資訊就行。第一種可以用事實標準大概能解決，第三種就很難，因為這就相當於給一個新符號賦予意義，沒有真假判斷，哪個都行。

第四節是對定義進行了分類。本質其實就是用符號來解釋符號，人生理感性的侷限，很多事物的資訊需要透過語言與文字來轉達，也就構成定義也就構成理性的基礎。文中將定義分為規定定義，詞典定義，精確定義，理論定義，說服定義。其實這個分類標準是不太嚴格的，只能說是基於用法來概括，互相之間是不能嚴格界定的。所以大概瞭解就好，沒必要深究，這只是這本書作者自己定義的一個標準而已，並不是絕對正確的標準。

第五節解釋定義的結構，分析的是定義的外延與內涵，定義的內涵結構是通指，表達所有具備所述特徵的事物，而外延則是特徵具備該特徵的某物。所以很多資訊互動的時候，一定要分清所指的真正意義，避免造成誤解。

第六節則是著重介紹了屬加種差定義，即不同層次的分類標準，建立嚴格的界限。還表述了構建定義的五種規則。當然有了這些規則並不能表示絕對正確，只能說就目前需要而言基本能夠適用，要知道透過符號轉述的資訊，總會與真實資訊產生著偏差，更別說不同受眾對資訊的不同解碼方式使資訊發生改變。

以上就是關於定義的講述，詞彙是構成語句的基石，定義是賦予詞彙構成的意義，所以定義的重要性不言而喻。資訊交流時需要我們對定義的正確把握，構建理論時需要我們對定義進行嚴謹的設定。接下來回答上一篇留下的小挑戰

首先分析一下題目噢，十二個球，一個球不同，還不知道是輕是重，只能分三次。所以整個設計有兩點，要找到那個不標準球，還要確定輕重。其答案如下，思路下回分解。

形式邏輯是 研究人的認識 知性 階段 ，思維規律 的 學說 ；狹義指 演繹邏輯 ，廣義還包括 歸納邏輯 。. 形式邏輯的 思維規律 也是 思維形式 和思維內容的統一。.