üçüncü halin imkansızlığı ilkesi

Düşünülebilen tüm şeyler çelişmezlik ilkesi gereğince A ve A olmayan diye iki alana ayrıldığını ifade eder.

unutmamalı ki; Mantıklı düşünme, dil yoluyla ortaya konulan akıl yürütmelerin sadece (formel) biçimiyle ilgilenir. Bilgi söz konusu olduğunda ise öne sürülen önerme veya çıkarımların içeriği dikkate alınır. Bu nedenle mantık doğrusu ile bilgi doğrusunun birbirinden ayırt edilmesi gerekir.

(bkz: Yeterli Neden ilkesi) (bkz: gottfried wilhelm leibniz)

ya mantıklıdır ya da mantıklı değildir galiba.