Məntiqin əsas qanunlarını təbiətdə fəaliyyət göstərən prinsip və qaydalara bənzətmək olar. Bununla belə, onların öz xüsusiyyətləri var, ən azı ətrafımızdakı dünyada deyil, insan təfəkkür müstəvisində fəaliyyət göstərirlər. Amma digər tərəfdən məntiqdə qəbul edilən prinsiplər hüquqi normalardan onunla fərqlənir ki, onları ləğv etmək olmaz. Onlar obyektivdirlər və bizim iradəmizə zidd hərəkət edirlər. Təbii ki, bu prinsiplərə əsasən mübahisə etmək olmaz, lakin o zaman çətin ki, kimsə bu nəticələri ağlabatan hesab etsin.
Məntiq qanunu həm təbii, həm də bəşəri elmin sütunudur. Əgər gündəlik həyatda hələ də təfəkkürün qurulması və inkişafı qaydalarına uyğun gəlməyən hisslər axınına qapılmaq olarsa, məntiqi boşluqlara yol vermək olarsa, ciddi əsərlərdə və ya müzakirələrdə belə yanaşma yolverilməzdir. Çünki hər hansı bir sübutun təməli düzgünlük prinsipləridirhökmlər.
Bu qaydalar hansılardır? Onlardan üçü qədim zamanlarda Aristotel tərəfindən kəşf edilmişdir: bunlar ardıcıllıq prinsipi, eynilik qaydası və xaric edilmiş ortanın qanunudur. Əsrlər sonra Leybniz başqa bir prinsip kəşf etdi - kifayət qədər səbəb. Aristotelin təsvir etdiyi formal məntiqin hər üç qanunu bir-birindən ayrılmaz şəkildə bağlıdır. Bir anlığa təfəkkürün bir halqasının əskik olmasına icazə versək, o zaman digərləri kart evi kimi dağılır.
İstisna Edilmiş Orta Qanunu aşağıdakı kimi ümumiləşdirmək olar: "Tertium non datur" və ya "Üçüncü yoxdur." Eyni mövzuya (yaxud bir sıra subyektlərə və ya bir hadisəyə) aid iki əks maksimum ifadə etsək, onda bir mühakimə həqiqətə uyğun olacaq, digəri isə uyğun gəlməyəcək. Bu ifadələr arasında iki əsas ifadəni uzlaşdıran və ya onlar arasında birləşdirici məntiqi körpü rolunu oynayan üçüncü bir ifadə qurmaq mümkün deyil. Çıxarılan üçüncünün ən sadə nümunəsi “Bu şey ağdır” və “Bu şey ağ deyil”dir. Lakin bu, yalnız hər iki əks maksim eyni şey, müəyyən zaman və eyni əlaqə haqqında ifadə edildikdə işləyir.
İstisna olunmuş orta qanunu A və B müddəaları arasında ziddiyyətli və ya ziddiyyətli uyğunsuzluq olduqda belə qüvvəyə minir. Birincisi, əks nöqteyi-nəzərin ifadəsidir. Məsələn, “Yer Günəşin ətrafında fırlanır” və “Günəş Yer ətrafında fırlanır” müddəaları əks arqumentlərdir. Ziddiyyətli ziddiyyət A ifadəsi, B isə ifadə etdiyi zaman baş verirheç nəyi inkar edir: “Od qızdırır” və “Od isinmir”. Həmçinin, bu ziddiyyət, biri müsbət, digəri isə mənfi olan xüsusi və ümumi mülahizələr arasında baş verir: “Bəzi tələbələrin artıq diplomları var” və “Heç bir tələbənin diplomu yoxdur”
Təfəkkür, xüsusən də elmi təfəkkür üçün xüsusi tələblər irəli sürülür: ardıcıllıq, əminliyin ardıcıllığı. İstisna edilmiş Orta Qanunu bizim məntiqi mülahizəmizin doğruluğunun ölçüsüdür. Məsələn, əgər “Allah hər şeydən üstündür” desək, “Allah günahkarlar üçün əbədi cəhənnəm əzabını təyin etdi” ifadəsinin mənası yoxdur. Əgər biz iddia etsək ki, Allah hər kəs üçün əbədi əzab yeri yaratmışdır, onda Onun Xeyir olduğunu iddia edə bilmərik. Allah bizim mülahizəmizin obyekti olaraq ziddiyyətli əlamətlərə aid ola bilmədiyi üçün yuxarıdakı iki cümlədən biri doğru, ikincisi isə yanlışdır. Üçüncü burada verilmir.
