形式邏輯
形

形式邏輯　　　 xíng shì luó jí

研究思維的形式結(jié)構(gòu)及其規(guī)律的科學(xué)。它撇開具體的、個別的思維內(nèi)容，從形式結(jié)構(gòu)方面研究概念、判斷和推理及其正確聯(lián)系的規(guī)律?；疽?guī)律有同一律、矛盾律和排中律。它告訴人們?nèi)绾握_地使用概念、判斷和推理，才會使思維具有確定性、一貫性和論證性，從而幫助人們正確地認(rèn)識客觀事物和表達(dá)自己的思想。形式邏輯從許多具體的、個別的思維形式中抽取出一般的邏輯形式和規(guī)律、規(guī)則。這些邏輯形式和規(guī)律、規(guī)則都是客觀現(xiàn)實(shí)的反映，通過實(shí)踐，在人的意識中固定下來。形式邏輯的規(guī)律是一切人所必須遵守的，違反它的要求，就會引起思維的混亂。形式邏輯產(chǎn)生于公元前，但“形式邏輯”這個名稱則是康德首先使用的。他認(rèn)為形式邏輯只研究思維的形式而完全撇開內(nèi)容，故稱。數(shù)理邏輯產(chǎn)生后，一般認(rèn)為現(xiàn)代形式邏輯就是數(shù)理邏輯。一說形式邏輯包括兩部分，即傳統(tǒng)邏輯和數(shù)理邏輯。
書名。英國數(shù)學(xué)家、邏輯學(xué)家德·摩根著。1847年出版。該書用代數(shù)方法進(jìn)行邏輯演算，論述了關(guān)系邏輯的許多重要問題，并提出德·摩根法則，對傳統(tǒng)邏輯的改造和數(shù)理邏輯的發(fā)展有一定影響。

掃描版：「形式邏輯」在《漢語大詞典》第4519頁 第3卷 1113

掃描版：「形式邏輯」在《現(xiàn)代漢語詞典》第1458頁