【本文轉(zhuǎn)載自吉林人民出版社1983年 僅供學習參考】

19、形式邏輯

? 研究思維形式結(jié)構(gòu)及其規(guī)律的科學。它撇開具體的思維內(nèi)容，從形式結(jié)構(gòu)方面研究概念、判斷、推理及其聯(lián)系的規(guī)律。其基本規(guī)律有同一律、矛盾律、排中律和充足理由律。它告訴人們?nèi)绾握_地使用概念、判斷和推理，才能使思維具有確定性、一貫性和論證性，以幫助人們正確地認識客觀事物和表達自己的思想。形式邏輯的規(guī)律是一切人們所必須遵守的，違反了它，就會引起思維的混亂。

? 形式邏輯的研究始于古代。中國春秋戰(zhàn)國時期的墨子、荀子、公孫龍、韓非等人的成就較大。墨子及其學派所著的《墨經(jīng)》、《大取》、《小取》等，對思維形式及其規(guī)律進行了比較系統(tǒng)的研究。古希臘的亞里士多德[i]是古代西方形式邏輯的奠基人。他所著的《工具論》、《形而上學》、《論修辭》等著作，全面地研究了思維形式及思維規(guī)律，創(chuàng)立了較完整的邏輯體系。隨著科學的發(fā)展，在近代、現(xiàn)代，形式邏輯有了很大的發(fā)展，特別是數(shù)理邏輯的發(fā)展，進一步豐富和發(fā)展了形式邏輯的內(nèi)容。同時，形式邏輯對現(xiàn)代科學思維的作用也大大的加強了。恩格斯指出：“形式邏輯本身從亞里士多德直到今天都是一個激烈爭論的場所?！?span id="s0sssss00s" class="font-size-16">[ii]在形式邏輯科學中，一直存在著唯物主義和唯心主義、辯證法和形而上學的斗爭。唯心主義和形而上學否認思維形式和規(guī)則的客觀基礎(chǔ)，把思維形式和規(guī)則歪曲成先驗的或固定不變的、純形式主義的東西。

注：

[i] 公元前384—前322年。

[ii] 《馬克思恩格斯選集》第3卷，第465-466頁。