Formel Mantık hakkında bilgi
(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 İlkesi: 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 aynı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. Diyalektik mantıkta ise bu ilkelerin tersi savunulmaktadır. Bkz. diyalektik MANTIK.