關于思維的形式及其規律的科學。研究概念、判斷、推理等主要思維形式和研究同一律、矛盾律、排中律等思維規律是形式邏輯的內容。
形式邏輯研究人的認識知性階段思維規律的學說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規律也是思維形式和思維內容的統一。形式邏輯的對象是事物的質，形式邏輯靠概念、判斷、推理(主要包括歸納推理與演繹推理)反映事物的質。形式邏輯也叫普通邏輯。研究思維形式及其規律的科學。它是一門工具性質的科學，是人們認識事物、表達思想時經常運用的一種必要的邏輯工具。人的認識在理性階段要實現對客觀世界的反映，就要實現思維內容和思維形式的統一，否則，就不能實現這個反映。思維內容就是思維所反映的對象及其屬性，形式就是對某個對象反映的方式，也就是用詞語表達的概念、用語句所表達的判斷和用復句所表達的推理等。查看百科