百度百科
形式邏輯 （邏輯學(xué)術(shù)語(yǔ)）
形式邏輯也叫普通邏輯。研究思維形式及其規律的科學(xué)。它是一門(mén)工具性質(zhì)的科學(xué)，是人們認識事物、表達思想時(shí)經(jīng)常運用的一種必要的邏輯工具。人的認識在理性階段要實(shí)現對客觀(guān)世界的反映，就要實(shí)現思維內容和思維形式的統一，否則，就不能實(shí)現這個(gè)反映。思維內容就是思維所反映的對象及其屬性，形式就是對某個(gè)對象反映的方式，也就是用詞語(yǔ)表達的概念、用語(yǔ)句所表達的判斷和用復句所表達的推理等。 ? 漢典