(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.
|