形式邏輯與非形式邏輯
形式邏輯研究的推理中的前提和結(jié)論之間的關(guān)系，是由作為前提和結(jié)論的命題的邏輯形式?jīng)Q定的，而命題的邏輯形式（簡稱命題形式）的邏輯性質(zhì)則是由邏輯常項(xiàng)決定的。要弄清邏輯常項(xiàng)的性質(zhì)，系統(tǒng)地揭示推理規(guī)律，就要通過建立邏輯演算，進(jìn)行元邏輯的研究。研究元邏輯的方法是形式化的公理方法。
形式邏輯的規(guī)則：同一律、矛盾律、排中律和理由充足律。這四條規(guī)律要求思維必須具備確定性、無矛盾性、一貫性和論證性。
形式邏輯的缺陷與超越：人的思維由其內(nèi)容與形式構(gòu)成。而形式邏輯企圖在不考慮思維內(nèi)容的情況下，通過把握思維的形式來了解思維的全貌，這顯然是不可能的。這種企圖遭遇了東西方兩方面的批判。
東方是戰(zhàn)國時期的名家學(xué)派，代表人物有惠施、公孫龍、桓團(tuán)、魏牟，他們通過將邏輯的內(nèi)容替換為極限情景或是加入時空、運(yùn)動（靜止）、觀察者、范疇等因素來大大復(fù)雜邏輯的內(nèi)容，即使用極限情景和復(fù)雜情景來使得當(dāng)時的形式邏輯破產(chǎn)。其原理在于，形式總有一定的承載量，若內(nèi)容超過了形式所能承受的限度，那么原有的形式就會崩壞，隨之而來的是新的與新內(nèi)容相適應(yīng)的形式。但是由于哲學(xué)上的幼稚，導(dǎo)致他們在形式邏輯的廢墟上建立起來的是詭辯論，使他們由可能的發(fā)現(xiàn)者蛻變?yōu)榧兇獾钠茐恼摺Ｎ鞣絼t是黑格爾，他將邏輯研究地重心轉(zhuǎn)向邏輯的內(nèi)容，從而建立起了辯證邏輯。
黑格爾在批判形式邏輯的同時著手建設(shè)新的邏輯。黑格爾所批判的形式邏輯是系統(tǒng)的，若要使批判成功，則需要找到一種同樣系統(tǒng)的邏輯來替代之，而不是玩弄幾個命題。自然，黑格爾的辯證邏輯也還有缺陷。比方說絕對精神只否定自身兩次，為什么沒有第三次否定呢？此外，由于對形式邏輯批過了頭，導(dǎo)致辯證邏輯停留在純粹思辨的層面上。這些唯心辯證法所遺留的問題，終于在唯物辯證法這里得到了解決。
非形式邏輯
非形式邏輯是對自然語言論證的研究，典型特征是不如形式邏輯善于分析。非形式邏輯的焦點(diǎn)在于分析錯誤的論證來辨別邏輯謬論，和辨別與分類類似的推理策略等活動。用自然語言分析論證的活動和在形式邏輯系統(tǒng)中表現(xiàn)它們被稱為哲學(xué)分析，而且有時被當(dāng)作非形式邏輯的一部分。
報紙的評論文章提供了對非形式邏輯的示例性教科書樣的例子，這些文章通常是簡短的并且經(jīng)常是荒謬的。無論如何，非形式邏輯還用于推理有關(guān)人類和社會科學(xué)的事件。事實(shí)上，多數(shù)從已知事實(shí)到未知事實(shí)的推理使用自然語言，即使組合上數(shù)學(xué)或統(tǒng)計，可以被當(dāng)作非形式邏輯的應(yīng)用，只要它不依賴于額外的經(jīng)驗(yàn)性論據(jù)。
