有時候，大家會描述一些說話方式或是念頭“有邏輯”。說白了邏輯，就是邏輯思維的規律性，邏輯學便是有關邏輯思維規律性的理論。下面和小編一起來看什麼是形式邏輯，希望有所幫助！
形式邏輯指的是傳統式邏輯，範疇指演譯邏輯，理論還包含梳理邏輯。形式邏輯的基礎理論是由古希臘文化傑出的思想家亞里士多德最先開創的'。亞里士多德是現代文學家柏拉圖的學員、亞力山大天尊的教師，於公元384年出生於北愛爾蘭的一個皇室家中。18歲時，亞里士多德被送至古羅馬的柏拉圖學校學習培訓，自此二十年間，亞里士多德一直住校園內裏，直到教師柏拉圖在前347年過世。亞里士多德的見識非常普遍，他在物理、形而上學、詩文和戲劇表演、歌曲、分子生物學、社會經濟學、生物學、邏輯學、社會學及其倫理學等課程均有針對性的經典著作。在形式邏輯層面，亞里士多德做爲創始人，將他的絕大多數理論載入了《形而上學》第四卷和《工具論》的相關一部分。
亞里士多德從存在論和邏輯2個層面明確提出和創建了他的邏輯邏輯思維規律性基礎理論。在他的哲學著作《形而上學》中，他最先研究了矛盾律，而且將矛盾律當作是一切證實都必須的最基本的基本原理，因而是不用被證實也是不可以被證實的。
除基本定律以外，亞里士多德還開創了“三段論”。“三段論”是演繹推理的第一個邏輯管理體系，它第一次促使創造性思維足以流於形式，也促使形式邏輯足以變成一門單獨的課程。亞里士多德在《前分析篇》中表明瞭三段論的基礎觀念，強調三段論是由前提和結果組成，而前提和結果又是由三個詞項（即中項、大類、小項）組成。《後分析篇》的文中，亞里士多德列舉了那樣的事例：
假如全部B是A。
而且全部C是B。
那麼全部C是A。
而在一個恰當的三段論中，當前提真正時，結果也必定是真正的；而當前提虛報時，結果也是虛報。因而，能夠見到，要是前提爲真，便能夠依靠三段論去邏輯推理基本上萬事萬物中間的聯絡。也更是由於那樣，亞里士多德針對三段論推崇備至。
除開意味着演繹推理的三段論以外，亞里士多德也明確提出了歸納推理的必要性。歸納推理就是指從某些到一般的邏輯推理全過程，其邏輯推理方式以下：
假如全部C是A。
而且全部C是B。
那麼全部B是A。
除此之外，亞里士多德針對歸謬法、例證法等不一樣邏輯的方法也是有闡述。在亞里士多德來看，邏輯系是一切科學研究的專用工具，而且，亞里士多德也試圖把邏輯思維方式和存有聯絡起來，依照客觀事物來表明邏輯的範圍，並將這種邏輯的發覺應用到科學理論上去。
