簡單來說,，邏輯就是思維的系統(tǒng)結(jié)構(gòu),，邏輯學是研究思維結(jié)構(gòu)及其規(guī)則的學科，邏輯學的發(fā)展經(jīng)過了具象邏輯→抽象邏輯→具象邏輯與抽象邏輯相統(tǒng)一的對稱邏輯三大階段,。具象思維和感性思維都屬于形象思維,，概念思維和理性思維都屬于抽象思維。抽象思維由抽象的點,、線,、圖,、符號,、數(shù)字,、概念作為思維元素，具象思維又稱具象邏輯思維,；抽象思維又稱抽象邏輯思維,。

思維有內(nèi)容和形式兩個方面，思維內(nèi)容是指思維所反映的對象及其屬性,；思維形式是指用以反映對象及其屬性的不同方式,，即表達思維內(nèi)容的方式。思維形式分為“形象思維和抽象思維”,，抽象思維的三種基本形式是“概念,、判斷（命題）和推理”。

形式邏輯的內(nèi)容是指“邏輯思維過程必須遵循的基本規(guī)則”,。如概念的“定義和劃分”規(guī)則,；判斷（命題）的“真/假”規(guī)則；邏輯的基本規(guī)律“同一律,矛盾律,排中律和充足理由律”,。前三條規(guī)律體現(xiàn)了思維的確定性,而充足理由律則是論證的規(guī)律,。由于這些規(guī)律對于任何思維形式都是普遍有效的,所以叫做基本規(guī)律。這些規(guī)律是思維特有的,不是客觀事物本身的規(guī)律,，它只在思維領域里發(fā)生作用,。因此，不能把形式邏輯規(guī)律和客觀事物發(fā)展變化的規(guī)律混淆起來,。

形式邏輯是指抽象思維的形式結(jié)構(gòu),，那么，邏輯形式就是思維的形式結(jié)構(gòu),，它是可以代入不同思維內(nèi)容的普遍性公式,。是由“邏輯常項”和“邏輯變項”組成的格式系統(tǒng)，邏輯常項是指思維形式中的不變部分,，邏輯變項是指思維形式中的可變部分,。邏輯形式有其相對的獨立性，因而在反映對象及其屬性的不同判斷,、推理和論證中存在著共同的形式結(jié)構(gòu),。

例如三段論：①所有語言都是傳遞信息的，漢語是語言,，所以,，漢語是傳遞信息的。邏輯形式是：所有M都是P,，S是M,，所以,，S是P。記作：MAP→SAM→SAP是三段論推理的AAA格,，是有效格,，有人稱為“審判格”。在這個推理中,，“所有”,，“語言”，“傳遞信息”,，“是”,，“一種”，“漢語”等是語詞,，各表達概念,。由語詞組成語句來表達判斷，而由若干判斷組成的論斷稱作推理,。其中“S,、M、P”稱作變項,，“所有…都是…”稱作常項,。所謂邏輯形式就是從不同的推理內(nèi)容中“抽取”共同的邏輯公式，這就叫做“抽象邏輯”,。思維的邏輯形式及其規(guī)律對人們的思維和論證具有規(guī)范性和制約性,，因為思維的邏輯形式及其規(guī)律不是人們主觀臆造的，而是客觀事物最普遍,、最常見的關系在人們主觀意識中的反映,，這樣能讓人的認識、觀念及思維趨于一致或同步,。

形式邏輯學研究的是邏輯真理和邏輯詞項,，這些都與推理命題的具體內(nèi)容無關的形式。從這個意義上講,，邏輯學是研究形式的科學,。邏輯真理是超乎于具體經(jīng)驗的真理，邏輯詞項描述的是抽取掉具體內(nèi)容的形式結(jié)構(gòu),，但它們在人們的認識和思維活動中,，在科學理論知識的建構(gòu)中發(fā)揮著非常重要的作用。邏輯學有廣義和狹義之分,。狹義的邏輯學指：研究推理的科學,，即只研究如何從前提必然推出結(jié)論的科學。廣義的邏輯學指：研究思維形式,，思維規(guī)律和思維的邏輯方法的科學,。廣義邏輯學研究的范圍比較大,，是一種傳統(tǒng)的認識，與哲學研究有很大關系,。整個邏輯學科的體系非常龐大復雜,，如：傳統(tǒng)的、現(xiàn)代的和辯證的,、演繹的,、歸納的和類比的,、經(jīng)典的和非經(jīng)典的等等,。但是，它們再龐雜也有相通的地方,，例如：構(gòu)建判斷的方法,；進行必然性推理；認同邏輯真理或邏輯規(guī)律等,。

邏輯學是一門基礎性的學科,，邏輯學的基本理論是其他學科普遍適用的原則和方法。同時邏輯學又是一門工具性的學科,，它為包括基礎學科在內(nèi)的一切科學提供邏輯分析,、邏輯批判、邏輯推理,、邏輯論證的工具,。思維的基本形式由其構(gòu)成的元素和其聯(lián)結(jié)方式不同而形成各種不同的次形式，我們把這類次形式,，即思維內(nèi)容的聯(lián)結(jié)結(jié)構(gòu)稱作思維的邏輯形式或思維的形式結(jié)構(gòu),。

例如，①所有股票都是有價格的,；②所有生物都是進化的,；③所有法律都是具有強制性的。

這三個判斷所表達的思想內(nèi)容是不同的,，它們分別陳述了經(jīng)濟學,、生物學和法學領域不同對象所具有的某種屬性，但是它們在結(jié)構(gòu)上卻是相同的,。我們用“S”表示每個判斷中所陳述的對象,，用“P”表示對象所具有的屬性。于是,，上述三個判斷的共同邏輯形式是“所有S都是P”,，它是判斷形式中的一種類型。

又如：①如果溫度升高,，那么分子的布郎運動就會加快,。這個物體的溫度升高了,，所以，這個物體分子的布郎運動會加快,。②如果兩個角是對頂角,，那么這兩個角就相等。這兩個角是對頂角,，所以,，這兩個角相等。我們用“p”表示如果后面的判斷,，用“q”表示那么后面的判斷,。于是，上述兩個內(nèi)容不同的論斷,，卻有著共同的邏輯形式：如果p,，那么q；是p,，所以,，q。這是推理的又一個形式種類,。

從上述分析可看出,，每一種邏輯形式都包含邏輯常項和變項。邏輯常項是指同類邏輯形式中不變的部分,。如上例中的“所有,，都是”和“如果，那么”等,。邏輯常項決定各種邏輯形式的性質(zhì),，是區(qū)別不同邏輯形式的依據(jù)。變項是邏輯形式中的可變部分,，即用字母表示的那部分,。它們可以用相應的具體概念或判斷代入。前例中的“S”和“P”是概念變項,，它們可以代入任意概念;前例中的“S”和“P”是概念變項,，它們可以代入任意概念;前例中的“q”和“p”是判斷變項，也可代入任意判斷,。

形式邏輯研究概念,、判斷和推理形式的有效性，不研究具體的思維內(nèi)容,，暫時拋開具體內(nèi)容,，研究其邏輯形式及各種邏輯形式之間的關系。