形式邏輯與非形式邏輯

形式邏輯研究的推理中的前提和結(jié)論之間的關(guān)系,，是由作為前提和結(jié)論的命題的邏輯形式?jīng)Q定的,，而命題的邏輯形式（簡(jiǎn)稱命題形式）的邏輯性質(zhì)則是由邏輯常項(xiàng)決定的。要弄清邏輯常項(xiàng)的性質(zhì),，系統(tǒng)地揭示推理規(guī)律,，就要通過建立邏輯演算,，進(jìn)行元邏輯的研究,。研究元邏輯的方法是形式化的公理方法。

形式邏輯的規(guī)則：同一律,、矛盾律,、排中律和理由充足律。這四條規(guī)律要求思維必須具備確定性,、無矛盾性,、一貫性和論證性。

形式邏輯的缺陷與超越：人的思維由其內(nèi)容與形式構(gòu)成,。而形式邏輯企圖在不考慮思維內(nèi)容的情況下,，通過把握思維的形式來了解思維的全貌，這顯然是不可能的,。這種企圖遭遇了東西方兩方面的批判,。

東方是戰(zhàn)國(guó)時(shí)期的名家學(xué)派，代表人物有惠施,、公孫龍,、桓團(tuán)、魏牟,，他們通過將邏輯的內(nèi)容替換為極限情景或是加入時(shí)空,、運(yùn)動(dòng)（靜止）、觀察者,、范疇等因素來大大復(fù)雜邏輯的內(nèi)容,，即使用極限情景和復(fù)雜情景來使得當(dāng)時(shí)的形式邏輯破產(chǎn)。其原理在于，形式總有一定的承載量,，若內(nèi)容超過了形式所能承受的限度,，那么原有的形式就會(huì)崩壞，隨之而來的是新的與新內(nèi)容相適應(yīng)的形式,。但是由于哲學(xué)上的幼稚,，導(dǎo)致他們?cè)谛问竭壿嫷膹U墟上建立起來的是詭辯論，使他們由可能的發(fā)現(xiàn)者蛻變?yōu)榧兇獾钠茐恼?。西方則是黑格爾,，他將邏輯研究地重心轉(zhuǎn)向邏輯的內(nèi)容，從而建立起了辯證邏輯,。

黑格爾在批判形式邏輯的同時(shí)著手建設(shè)新的邏輯,。黑格爾所批判的形式邏輯是系統(tǒng)的，若要使批判成功,，則需要找到一種同樣系統(tǒng)的邏輯來替代之,，而不是玩弄幾個(gè)命題。自然,，黑格爾的辯證邏輯也還有缺陷,。比方說絕對(duì)精神只否定自身兩次，為什么沒有第三次否定呢,？此外,，由于對(duì)形式邏輯批過了頭，導(dǎo)致辯證邏輯停留在純粹思辨的層面上,。這些唯心辯證法所遺留的問題,，終于在唯物辯證法這里得到了解決。

非形式邏輯

非形式邏輯是對(duì)自然語言論證的研究,，典型特征是不如形式邏輯善于分析,。非形式邏輯的焦點(diǎn)在于分析錯(cuò)誤的論證來辨別邏輯謬論，和辨別與分類類似的推理策略等活動(dòng),。用自然語言分析論證的活動(dòng)和在形式邏輯系統(tǒng)中表現(xiàn)它們被稱為哲學(xué)分析,，而且有時(shí)被當(dāng)作非形式邏輯的一部分。

報(bào)紙的評(píng)論文章提供了對(duì)非形式邏輯的示例性教科書樣的例子,，這些文章通常是簡(jiǎn)短的并且經(jīng)常是荒謬的,。無論如何，非形式邏輯還用于推理有關(guān)人類和社會(huì)科學(xué)的事件,。事實(shí)上,，多數(shù)從已知事實(shí)到未知事實(shí)的推理使用自然語言，即使組合上數(shù)學(xué)或統(tǒng)計(jì),，可以被當(dāng)作非形式邏輯的應(yīng)用,，只要它不依賴于額外的經(jīng)驗(yàn)性論據(jù),。