形式逻辑的意思是一种逻辑学的分支，研究的是逻辑的形式和结构，而不考虑逻辑中涉及的具体内容和语言形式。
形式逻辑强调逻辑命题的形式，而非命题中的具体内容。形式逻辑的研究范畴包括命题、推理、证明、谬误等，它通过符号化的方法，将逻辑命题、推理过程等抽象成符号形式，从而可以更加清晰地分析和研究逻辑的形式和结构。形式逻辑被广泛应用于数学、计算机科学、哲学、语言学等领域，它为人们提供了一种通用的、精确的思考和表达方式，有助于人们更好地理解和应用逻辑思维。
形式逻辑”就是指传统逻辑，狭义指演绎逻辑，广义还包括归纳逻辑。由于本质上“形式逻辑”是知性逻辑，所以现代数理逻辑没有超出“形式逻辑”即传统逻辑的范畴。
亚里士多德的工具论是形式逻辑发展的基础。可以说没有工具论就没有形式逻辑。
逻辑研究能够提高一个人的理解、分析、评价和构造论证的能力。因为这个原因，逻辑为现代大学的教学做出了重大的贡献。
形式逻辑学”是关于“形式逻辑”即传统逻辑的概念、范畴、规律的学科体系。
