邏輯學(xué)的本質(zhì)，就是這門學(xué)科的研究對(duì)象及所采用的方法。概括地說，邏輯學(xué)是研究人的思維規(guī)律的科學(xué)。

一，現(xiàn)在所說到的“邏輯”一詞，最早來自古希臘的赫拉克利特（前535-前475）。他寫了一本叫《邏各斯（logos）》的書，現(xiàn)在只有一些片段殘留。他在書里說，“邏各斯”可以使人摒棄感覺印象，通過語言和理性思維把握世界的規(guī)律。后來就有了“邏輯”這個(gè)詞匯，英語是Logic。漢語中的“邏輯”，由日本人于19世紀(jì)后期音譯而來。 二，在漢語里，用到“邏輯”這個(gè)詞，通常有兩類用法——第一類，是指客觀的規(guī)律。比如，楊沫分析《青春之歌》里的林道靜，說她走的道路是歷史的邏輯，也是生活的邏輯。此類用法，是一種“假借”，并非“邏輯”的原意。第二類，是“邏輯”的本義，指的是思維的規(guī)律。同樣，它也就成為說話、寫文章等思維表達(dá)必須要遵守的規(guī)律。

三，思維的規(guī)律被稱作“邏輯”。那么，研究思維規(guī)律的學(xué)問，就是邏輯學(xué)。邏輯學(xué)不研究自然，也不研究社會(huì)，它的研究對(duì)象僅限于人的思維——是研究以推理、論證有效性的思維形式和規(guī)律的學(xué)問。國際上公認(rèn)，世界上有三大邏輯學(xué)流派——西方邏輯、中國名辯邏輯、印度因明邏輯。 四，古希臘的亞里士多德（前384-前322），創(chuàng)立了形式邏輯，被西方稱為“邏輯之父”。他全面、系統(tǒng)研究了人的邏輯思維問題，寫了大量這方面的書籍、論文。公元前一世紀(jì)被人匯編在一起，叫《工具論》。其中的《范疇篇》，討論詞義、概念；《解釋篇》，結(jié)合語詞、語句，討論判斷（或叫命題）；《前分析篇》，討論推理的有效性、前提和結(jié)論的關(guān)系；《后分析篇》，討論證明的條件、種類、方法和構(gòu)成，以及定義和證明之間的關(guān)系；《論辯篇》，討論論辯的藝術(shù)、推理的方法和謂詞理論；《辯謬篇》，專門剖析和駁斥各種謬誤和詭辯。他還在《形而上學(xué)》這部著作中，專門討論了邏輯思維規(guī)律。他提出了“10范疇體系”；總結(jié)了“四謂詞理論”；概括了“不矛盾律”、“排中律”、“同一律”等思維規(guī)律；規(guī)范了演繹為主的“三段論”。等等。 五，中國古代對(duì)思維規(guī)律的研究開始得很早，與古希臘幾乎同時(shí)。這種研究是圍繞“名實(shí)關(guān)系”展開的。春秋時(shí)期，孔子主張“正名”；老子主張“無名”；后來的戰(zhàn)國初期，墨子提出“取實(shí)予名”。至戰(zhàn)國中葉，名辯之爭激烈，出現(xiàn)了惠施、公孫龍等為代表的“堅(jiān)白同異之辯”的“名家諸流”，對(duì)名實(shí)關(guān)系做了詳細(xì)論述。后期的墨家在總結(jié)自然科學(xué)和批判吸收各派學(xué)說的基礎(chǔ)上，提出了“以名舉實(shí)”的原則，對(duì)于辯說的任務(wù)，原則和方法都有精密的研究。荀子則把名辯的基本問題具體歸結(jié)為“名、辭、辯說”三方面。此時(shí)，學(xué)者們已經(jīng)建立起中國古代的邏輯學(xué)。后來，因連年戰(zhàn)亂，這一研究戛然而止，許多珍貴資料也損毀遺失大半。 以后的歷個(gè)朝代，都有出色的邏輯思想，特別是宋明。但在漢朝的時(shí)候，印度的“因明邏輯”傳入中國，與中國傳統(tǒng)邏輯發(fā)生了融合。后來的中國學(xué)者，是在這種融合的基礎(chǔ)上繼續(xù)開展研究的。 六，古印度的“因明”，音譯是“酰都費(fèi)陀”，由佛學(xué)創(chuàng)立，是一種思考方法，也是辯論的方法，還被看作是探索真理的工具。印度的耆那教與印度教都受到它的影響。不過，在漢代傳入中國以前，其研究也陷于停滯。反而是它隨著佛教同時(shí)傳入中國，逐漸引起了中國人的重視。有意思的是，“因明”邏輯真正被發(fā)揚(yáng)光大，是在玄奘取經(jīng)的過程中。據(jù)稱，玄奘法師在印度那爛陀寺研修時(shí)，曾以因明方法，多次辯敗各地來的論者，威名傳遍天竺。他回國后，翻譯了《因明入正》一書，進(jìn)一步促進(jìn)了因明邏輯與中國邏輯的融合。 七，亞里士多德之后，他的后學(xué)以及斯多葛學(xué)派等等，對(duì)形式邏輯做了一些完善和充實(shí)。文藝復(fù)興時(shí)期，達(dá).芬奇和吉爾伯特等自然科學(xué)家，貢獻(xiàn)了一些有價(jià)值的邏輯思想。然后就是17世紀(jì)英國的弗蘭西斯.培根，他寫了《新工具》一書，認(rèn)為實(shí)驗(yàn)和歸納是相輔相成的科學(xué)發(fā)現(xiàn)的工具。他的歸納法，不是簡單枚舉歸納，而是排除式歸納——通過查閱存在表、缺乏表和程度表，利用排除法逐步排除外在的、偶然的聯(lián)系，提純出事物之間內(nèi)在的、本質(zhì)的聯(lián)系。他強(qiáng)調(diào)，這是發(fā)現(xiàn)周圍現(xiàn)實(shí)的各種現(xiàn)象間的因果關(guān)系的科學(xué)方法；能夠給人們帶來新的知識(shí)。培根的歸納邏輯，與亞里士多德為代表的傳統(tǒng)邏輯有明顯區(qū)別。其不僅強(qiáng)調(diào)了歸納邏輯要研究思維純形式的方面，更強(qiáng)調(diào)了要研究思維反映客觀事物、把握事物本質(zhì)和規(guī)律的方法問題。培根被看作是科學(xué)歸納邏輯的創(chuàng)始人。自他開始，演繹邏輯與歸納邏輯完璧結(jié)合，使邏輯真正成為科學(xué)。隨著17世紀(jì)數(shù)學(xué)的發(fā)展，德國的萊布尼茨著手以“通用數(shù)學(xué)”和“通用語言”來改革傳統(tǒng)邏輯。他被稱為是現(xiàn)代形式邏輯就是數(shù)理邏輯的奠基人。這之后，英國的布爾、德國的德摩根和弗雷格、美國的皮爾士、意大利的皮亞諾、英國的羅素等，先后對(duì)現(xiàn)代形式邏輯做出了重大貢獻(xiàn)。 八，現(xiàn)在，辯證邏輯已經(jīng)成為單獨(dú)的學(xué)科，包括矛盾邏輯和對(duì)稱邏輯。研究對(duì)象同樣是人的思維規(guī)律。其特點(diǎn)在于，傳統(tǒng)邏輯被稱為共時(shí)性邏輯，辯證邏輯則稱為歷時(shí)性邏輯——即靜態(tài)和動(dòng)態(tài)之分。為此，國外一些學(xué)者認(rèn)為，辯證邏輯不應(yīng)歸入工具性的邏輯范疇，更應(yīng)該歸于世界觀、認(rèn)識(shí)論中的辯證法?？傮w來說，辯證邏輯是一門發(fā)展中的學(xué)科。這里不多論及。

邏輯學(xué)是國內(nèi)大學(xué)里很多專業(yè)的必修課。如哲學(xué)、法學(xué)、刑偵學(xué)、社會(huì)學(xué)、經(jīng)濟(jì)學(xué)、統(tǒng)計(jì)學(xué)、漢語言文學(xué)等等。中山大學(xué)應(yīng)該是國內(nèi)唯一開設(shè)本科邏輯學(xué)專業(yè)的學(xué)校。很多大學(xué)招收邏輯學(xué)研究生，包括數(shù)理邏輯專業(yè)。