形式邏輯
首先讓我們感謝一下金嶽霖先生，能夠寫出這樣一本經典的邏輯學教材。
金嶽霖：1895年出生於湖南長沙，現代著名哲學家，邏輯學家，中國現代邏輯的奠基人，邏輯學界的一介宗師。
邏輯學創立時間為公元前四世紀，創立者希臘哲學家亞里士多德。亞里士多德時代已經把邏輯的框架建構的七七八八了。
邏輯傳入中國與翻譯家嚴復有關。
哲學是愛智慧的學科。形式邏輯是一門以思維形式及其規律為主要研究對象同時也涉及一些簡單的邏輯方法的科學。而邏輯學是研究區分正確推理與不正確推理的方法和原理的學問。
邏輯是一種思考方法，但是邏輯好的人不見得就一定思維縝密…要知道概念和定義是邏輯的起點，對概念認識的不完整或者錯誤，在正確的邏輯推理下也會得出不完善或者錯誤的結論。
概念是什麼呢？就是各種知識，不論是關於自然還是社會，無論是關於物質還是精神。所以我們不僅僅要培養自己的邏輯能力，更要豐富自身的知識儲備。對世界瞭解得越多，越不容易犯錯。
很多辯論高手都是從偷換概念的方向入手去誤導別人的。因為關係容易看出破綻，而但是當一篇文章特別理直氣壯地寫出來時，符合論證和思考的正確路線，恰恰在概念上做了小小的手腳，就會非常難以識破，因為概念需要大量時間學習。
世界上所有的學科都是在研究兩件事：概念與關係。有一種寫代碼的語言就是這樣的思路，運用概念和關係來推展。而絕大多數的公眾號文章，都是在重複地做兩件事：區分概念&區分關係。 任何一門學科都是由概念、判斷、推理所構成的知識體系。比如數學中的平面幾何，由簡單的幾個類似勾股定理的公式推導出今天的數學大廈。
形式邏輯的基本規律：同一律，矛盾律，排中律。同一律是思想要麼是真，要麼是假。矛盾律是思想不能又真又假。排中律是思想真或假總要站一隊。
判斷，要麼是性質判斷，要麼是關係判斷。
單稱判斷是one. 特稱是some.全稱是all.
如果上面的都能夠理解，形式邏輯就算是入門了。絕大多數國內的邏輯課都講到這裡。如果對邏輯感興趣，繼續學習三段論，推理，論證，歸納法，又別有一番天地。
典型的東方式思維方式是辯證思維，它包括變化論（事物永遠在變化中，沒有永恆的對與錯）矛盾論（事物都是由矛盾構成的統一體，沒有矛盾就沒有事物本身）中和論（中庸之道，任何事物都有適度的合理性）
而典型的西方式思維是邏輯思維，它包括同一性（事物的本質不會改變，他永遠是他自己）非矛盾性 （一個事物不可能同時都有同時對又同時錯）排中性（一個事物要麼對，要麼錯，沒有中間狀態）。
東方式的思維是辯證的，整體的強調直覺的和經驗的，以身而證道，常常注重對現象的歸納總結。西方式的思維是實證的，思辨的理性的強調個體追求精準化的。