形式逻辑是一门以思维形式及其规律为主要研究对象，同时也涉及一些简单的逻辑方法的科学。它致力于将人类思维过程反应为语言。在一定程度上追求必然结论为目的。形式逻辑的基本规律为同一律、矛盾律和排中律。
其他优良条目：