Formel mantık, bir düşüncenin içerik bakımından doğru olup olmadığını değil, biçimsel ya da formel yönden doğru olup olmadığını dikkate alan geleneksel mantıktır. Formel mantık, düşünce biçimlerinin çözümlemesini içerir ve verili önermelerden yeni önermeler çıkarma yöntemini inceler. Bu bağlamda, formel mantık iki ana bölüme ayrılır: Kavramlar ve mantığın temel ilkeleri. Kanıtlamanın yol ve yöntemleri. Formel mantığın temel ilkeleri şunlardır: Özdeşlik ilkesi: A, A'dır. Çelişmezlik ilkesi: A, A-değil (non-A) değildir. Üçüncü ihtimalin yokluğu ilkesi: A ve A-değil arasında üçüncü bir ihtimal yoktur.