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.