邏輯必須要有支點，就是說他一定要與其他事情產生關聯。本質上邏輯就是一個關係的集合，他探討的是這種關係的邏輯自洽。

形而上學可以依靠邏輯來思辨，卻不是邏輯。因為邏輯無法表達絕對，絕對就是超越二元對立，超越這種憑藉支點推理出來的實際存在。

所以這兩者來說一個是形式本身，一個是實質本身。形式的東西有可能指向實質卻不可能是實質，而且還有可能指向錯誤。大體上應該就是這種區別吧。

“形式邏輯”，最早，在古希臘哲學時期，是“形而上學”中的一部分。後來，特別是到了西方近代哲學時期，“形式邏輯”逐漸與“形而上學”分離了。

這兩個概念，都與亞里士多德有關。

第一個發明“邏輯”這個詞的，是古希臘的赫拉克利特（前535-前475）。

他寫了一部著作叫《邏各斯（logos）》，只有一些殘留片段流傳了下來。他說，“邏各斯”可以使人摒棄感覺印象，透過語言和理性思維把握世界的規律。

後人說用的“邏輯”一詞，皆由此而來。

漢語裡的“邏輯”，是清末之時經由嚴復音譯而來。

“形式邏輯”，是由古希臘的亞里士多德（前384-前322）創立的，因此，他被稱為西方的“邏輯學之父”。

這裡要插一句，世界上有三大邏輯——形式邏輯、中國的名實邏輯和起源於印度發展於中國的因明邏輯，這是舉世公認的。

回到亞里士多德。他系統地研究了思維的邏輯問題，寫了大量這方面的書籍、論文。

公元前一世紀，被人彙編在一起，叫《工具論》。

其中的《範疇篇》，討論詞義、概念；《解釋篇》，結合語詞、語句，討論判斷（或叫命題）；《前分析篇》，討論推理的有效性、前提和結論的關係；《後分析篇》，討論證明的條件、種類、方法和構成，以及定義和證明之間的關係；《論辯篇》，討論論辯的藝術、推理的方法和謂詞理論；《辯謬篇》，專門剖析和駁斥各種謬誤和詭辯。

亞里士多德在《形而上學》裡，提出了“10範疇體系”；總結了“四謂詞理論”；概括了“不矛盾律”、“排中律”、“同一律”等思維規律；規範了演繹為主的“三段論”。等等。

亞里士多德之後，他的後學以及斯多葛學派等等，對形式邏輯做了一些完善和充實。

文藝復興時期，達.芬奇和吉爾伯特等自然科學家，貢獻了一些有價值的邏輯思想。

17世紀，英國的弗蘭西斯.培根寫了一本《新工具》，提出，實驗和歸納是相輔相成的科學發現的工具。他的歸納法，不是簡單列舉歸納，而是排除式歸納——透過查閱存在表、缺乏表和程度表，利用排除法逐步排除外在的、偶然的聯絡，提純出事物之間內在的、本質的聯絡。他強調，這是發現周圍現實的各種現象間的因果關係的科學方法；能夠給人們帶來新的知識。

培根的歸納邏輯，與亞里士多德為代表的傳統邏輯有明顯區別，即不僅強調了歸納邏輯要研究思維純形式的方面，更強調了要研究思維反映客觀事物、把握事物本質和規律的方法問題。

培根被看作是科學歸納邏輯的創始人。

自培根開始，演繹邏輯與歸納邏輯完璧結合，使邏輯真正成為科學。

17世紀以後，隨著數學的發展，德國的萊布尼茨著手以“通用數學”和“通用語言”來改革傳統邏輯。他被稱為是現代形式邏輯就是數理邏輯的奠基人。

這之後，英國的布林、德國的德摩根和弗雷格、美國的皮爾士、義大利的皮亞諾、英國的羅素等，先後對現代形式邏輯做出了重大貢獻。

總的來說，邏輯學，包括形勢邏輯，均不研究自然，也不研究社會，它的研究物件僅限於人的思維——是研究以推理、論證有效性的思維形式和規律的學問。

西方哲學的“形而上學”，是“metaphysics”的漢譯。

這一概念，最早是由亞里士多德的學生安德羅尼柯使用的。

他在整理亞里士多德的著作時，把老師的“第一哲學”部分，排在了“物理學”之後，以古希臘語取名為“ta meta ta physica ”，原意是“物理學之後”。

這個詞，後來轉化為拉丁文再演變到英文，都是“metaphysicas”。

日本明治時期，哲學家井上哲次郎覺得“物理學之後”與中國的“形而上者謂之道，形而下者謂之器”很契合，就將其譯作了“形而上學”。

這個“形而上學”，既指哲學也指哲學研究。

所以，一般意義的西方“形而上學”，包含了四方面——

1，它是對存在物的探求；

2，它是關於終極實在的科學；

3，它是對世界整體的研究；

4，它是第一原理（或稱本體）的理論。

1，關於形式、範疇和個別的存在；

2，關於上帝的存在；

3，關於靈魂、心靈和身體；

4，關於自然與外部世界；

5，空間與時間；

6，關於精神概念。

概括地說，“形而上學”是指完整的哲學體系；這個體系主要研究本體論和認識論；也研究道德和“法學（法哲學）”；還可以研究邏輯問題。

不過在西方近代哲學中，對於思維的形式（邏輯）和思維內容的可靠性越來越分開來研究了。

形式邏輯是哲學的一個分支學科，研究思維的形式和規律。形而上學是哲學的一個主要課題，即“本體論”（追問世界的本源、本質）。

我以為有區別，形式邏輯最起碼有個通與不通的問題，不符合邏輯那就會產生形式上的不通，很容易辨證。但形而上學確是毫無依據的隨波逐流，是聽而盲的一種表現，形而上學由於沒有邏輯思維推理模式，往往會對事物發展產生極嚴重的後果和破壞力！

恩格斯說″形式邏輯本身從亞里士多德到今天都是一個激烈爭論的場所"。在形式邏輯的理論中，一直存在著唯物與唯心主義，辯證法與形而上學上兩條哲學路線的鬥爭。這種鬥爭圍繞著形式邏輯物件是否具有客觀性而進行的，即思維形式及其規律是先天的天賦觀念，還是後天的即客觀世界的反映。當然形式邏輯是客觀世界的反是科學的。

形式主義和現實生活，存在著矛盾。矛盾的最高定值為生存。國際主義和現實主義都是為了生存而生存而活，再生存。沒有人類，何須嘆生生存？

形式邏輯是十分具象的推理規則及各種合乎形式邏輯規則的推理過程。形而上學是十分抽象的思維方式，這種思維方式是一種線性的、有侷限範圍的思考過程，遵守形式邏輯規則。比如自然科學的分科、分成不同方向的研究就具有形而上學的特點。