形式邏輯是一門以思維形式及其規律為主要研究對象，同時也涉及一些簡單的邏輯方法的科學。它致力於將人類思維過程反應為語言。在一定程度上追求必然結論為目的。形式邏輯的基本規律為同一律、矛盾律和排中律。
其他優良條目：