Bir akıl yürütme ya da çıkarsama yapacağımızda mantık bilimine göre 3 olmazsa olmaz vardır..
Bunları kısa ve sade bir şekilde irdeleyelim..
1.ÇELİŞMEZLİK İLKESİ: Bir akıl yürütmede bulunurken,kurduğumuz mantığın kendi kendisiyle çelişmemesi gerektiğini anlatan ilkedir.. bir şey hem kendisi hem başkası olamaz şeklinde de formule edilebilir.. bir çıkarsama yapacağımızda getirdiğimiz önermelerin çıkarsamamızı desteklemeyip, çürütmesi durumu da bu ilkeye örnektir..
2.ÜÇÜNCÜ İHTİMALİN İMKANSIZLIĞI : iki değerli sistem üzerinde oldukça etkili ve kullanılır bir ilke iken çok değerli sistemde nereye oturtulacağı belirsizleşmiştir. örneğin "bir şey ya A'dır, ya da A olmayandır" tümcesi üçüncü ihtimali yok etmektedir.. yani "bir şey hem A hem de A olmayan olamaz" çoklu değer sistemi ve bazı matematiksel terimler, gelişen bilimin bazı ilkeleri "belirsizlik ilkesi gibi", kuantum fiziğinin bazı çıkarsamaları bu ilkeyi temelden sarsmıştır diyebiliriz..
3.YETER SEBEP İLKESİ: bir doğrudan bahsedilmesi için, o doğruyu destekleyecek yargıların desteği gereklidir ilkesi.. örneğin ben ortaya bir çıkarsama atıp bunun "doğru" olduğunu söyleyebilmem için başka yargılarla onu desteklemem gerekir.. bir şey ken kendisinin yargısı olamaz mantığıdır..