Formel Mantık

(Formal Logıc) Her türlü mantıksal kurgu ve çıkarımın temelini oluşturan üç ilkenin oluşturduğu formel çerçeve. Sözkonusu mantık ilkeleri şunlardır: 1. Özdeşlik (Ayniyet) İlkesi; A kendisidir; A, A'dır. 2. Çelişmezlik İlke­si: A, non-A (A değil) değildir. 3. Üçüncü İhtimalin Yoklu­ğu İlkesi A ve non-A arasında üçüncü bir ihtimal yoktur. Bu ilkeler bir cümlede şöyle özetlenebilir: Bir şey kendisinin ay­nısıdır; ya vardır veya yoktur; ya kendisidir veya değildir; bir şeyin aynı anda, hem var hem yok, hem kendisi hem de baş­ka bir şey olması mantıksal olarak mümkün değildk. Diyalek­tik mantıkta ise bu ilkelerin tersi savunulmaktadır. Bkz. diya­lektik MANTIK.