本書從經(jīng)典形式邏輯講起, 重點(diǎn)介紹亞里士多德在《工具論》中所論述的演繹邏輯, 至于現(xiàn)代形式邏輯則是在反思亞氏經(jīng)典形式邏輯的基礎(chǔ)上建構(gòu)而成, 以圖彌補(bǔ)其缺陷, 將其徹底形式化。