形式邏輯學

形式邏輯學的相關概念：“形式邏輯”是指傳統邏輯，狹義指演繹邏輯，廣義還包括歸納邏輯。由於本質上“形式邏輯”是知性邏輯，所以現代數理邏輯沒有超出“形式邏輯”即傳統邏輯的範疇。亞里士多德的工具論是形式邏輯發展的基礎，沒有工具論就沒有形式邏輯。邏輯研究能夠提高一個人的理解、分析、評價和構造論證的能力。因為這個原因，邏輯為現代大學的教學做出了重大的貢獻。