理性思維過程中，一切與現(xiàn)實相關(guān)的東西都不被考慮在內(nèi)，只以純粹思辨的各種抽象概念來完成各項活動，這種不參雜任何現(xiàn)實因素的純粹思維邏輯就是形式邏輯。

拋開現(xiàn)實內(nèi)容只以精神內(nèi)部各項規(guī)則為條件的活動過程，是形式邏輯的一般過程。

形式邏輯是一種思維運動過程的科學(xué)，它是專門研究思維的抽象形式和規(guī)律的一門學(xué)科，形式邏輯包括歸納邏輯和演繹邏輯兩個部分，其中以演繹邏輯為主。

一般基礎(chǔ)邏輯學(xué)主要是經(jīng)典邏輯，在經(jīng)典邏輯學(xué)的基礎(chǔ)上還有更加深奧的元邏輯和應(yīng)用邏輯，經(jīng)典邏輯學(xué)主要是建立在真、假二值上的邏輯學(xué)。

邏輯學(xué)是從哲學(xué)母體中分化出來的，它源自于古希臘時期，以亞里士多德對它的建立為起點，經(jīng)過2千多年的發(fā)展繼承，才形成了如今的形式邏輯學(xué)。

學(xué)好邏輯學(xué)，有百利而無一害，想要提升自己的思維能力，就從學(xué)習(xí)形式邏輯開始。

邏輯學(xué)是一門研究抽象思維形式和形式規(guī)律的科學(xué)，概念是邏輯學(xué)的基本元素，概念構(gòu)成命題，命題與命題間的變化形成推理，最后得出論證，這就是邏輯學(xué)的基本演繹過程。

形式邏輯的正確與否不以現(xiàn)實內(nèi)容為根據(jù)，而是以形式內(nèi)容在演繹過程中的各種聯(lián)結(jié)和組合方式的正確與否為根據(jù)，形式邏輯的研究的重點也正是這種思維的形式結(jié)構(gòu)。

例如：

（1）如果你是人，那么你是有思想的。

（2）如果夏天到來，那么天氣變熱。

例（1）與例（2）所關(guān)于的內(nèi)容各不相同，從兩例的思想內(nèi)容中抽象出它們共同的聯(lián)接方式，我們以A代表“例（1）你是人”和“例（2）夏天到來，以B代表“例（1）你是有思想的”和“例（2）天氣變熱”。

我們就可以得到：如果A，那么B這種命題形式，運用這種形式進行的思維就是邏輯思維。