思維的基本形式包括概念,、判斷、推理和論證等,。思維的形式結(jié)構(gòu)指的是具有不同內(nèi)容的思維所共同具有的一般形式結(jié)構(gòu),。例如，“所有的自然數(shù)都是有理數(shù),，所有的哺乳動物都是脊椎動物,，所有的金屬都有光澤”中的三個判斷盡管其內(nèi)容各不相同,，但有著共同的形式結(jié)構(gòu)：所有的S都是P，其中S表示判斷的主項,，P表示判斷的謂項,。再如，在推理“金屬都是導(dǎo)電的,，堿金屬都是金屬,，所以，堿金屬都導(dǎo)電”和“4的倍數(shù)都是2的倍數(shù),，12的倍數(shù)都是4的倍數(shù),，所以，12的倍數(shù)都是2的倍數(shù)”中,，盡管兩個推理的內(nèi)容不同,，但具有相同的推理形式：所有M都是P，所有S都是M,，所以,，所有S都是P。

推理的形式結(jié)構(gòu)及其規(guī)律是形式邏輯研究的主要內(nèi)容,。形式邏輯主要從真值的角度研究哪些推理形式是有效的,，哪些推理形式是無效的。所謂一個推理形式是有效的,，指的是對于該推理形式而言假設(shè)其前提是真的,，則其結(jié)論一定也是真的。

形式邏輯研究的基本邏輯規(guī)律主要包括同一律,、矛盾律和排中律等,。只有遵守這些邏輯規(guī)律，才能保證人們的思維具有確定性,、無矛盾性和明晰性,。

形式邏輯研究的一般邏輯方法主要包括定義、劃分,、探求因果聯(lián)系的歸納方法,、類比方法等。

形式邏輯經(jīng)歷了由傳統(tǒng)形式邏輯到現(xiàn)代形式邏輯的發(fā)展歷程,，傳統(tǒng)形式邏輯主要使用自然語言來進(jìn)行研究,，現(xiàn)代形式邏輯又稱符號邏輯，主要使用人工語言來進(jìn)行研究,。