Formel mantık, mantığın geleneksel veya biçimsel özelliğidir. Formel mantığın temel ilkeleri: 1. Özdeşlik ilkesi: A, kendisidir veya A, A'dır. 2. Çelişmezlik ilkesi: A, A-değil (non-A) değildir; bir şey kendisinden başka bir şey değildir. 3. Üçüncü ihtimalin yokluğu ilkesi: A ve A-değil arasında üçüncü bir ihtimal yoktur. Formel mantık, verili önermelerden başka yeni önermeler çıkarma kurallarını kapsar ve bu bakımdan hem ögeler teorisi hem de yöntem teorisi olarak iki bölüme ayrılır.