什么是形式邏輯

形式邏輯邏輯學的分支學科。研究思維的形式結(jié)構(gòu)及其規(guī)律。撇開具體的思維內(nèi)容，研究概念、判斷和推理（尤其是演繹推理）及其正確聯(lián)系的規(guī)律和規(guī)則；反映事物最簡單、最普遍、最常見的聯(lián)系，表達最初步的但很重要的思維規(guī)律?；疽?guī)律有：同一律、矛盾律和排中律。
形式邏輯 研究人的認識知性階段思維規(guī)律的學說，狹義指演繹邏輯，廣義還包括歸納邏輯。形式邏輯的思維規(guī)律也是思維形式和思維內(nèi)容的統(tǒng)一。形式邏輯的對象是事物的質(zhì)，形式邏輯靠概念、判斷、推理(主要包括歸納推理與演繹推理)反映事物的質(zhì)。[1][2]

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