Логиканың негізгі заңдарын табиғатта әрекет ететін принциптер мен ережелерге ұқсатуға болады. Дегенмен, олардың өз ерекшеліктері бар, кем дегенде, олар бізді қоршаған әлемде емес, адамның ойлау жазықтығында әрекет етеді. Бірақ, екінші жағынан, логикада қабылданған принциптердің құқықтық нормалардан айырмашылығы олардың күшін жоюға болмайды. Олар объективті және біздің еркіне қарсы әрекет етеді. Әрине, бұл қағидалар бойынша дауласуға болмайды, бірақ бұл тұжырымдарды ешкім ақылға қонымды деп санауы екіталай.
Логикалық заң – жаратылыстану да, адамдық та ғылымның тірегі. Күнделікті өмірде әлі де ойдың құрылысы мен дамуының ережелерімен үйлеспейтін сезімдер ағынына бой алдыру мүмкін болса, логикалық олқылықтарға жол берілсе, байыпты жұмыстарда немесе пікірталастарда мұндай көзқарасқа жол берілмейді. Кез келген дәлелдеменің негізі дұрыстық принциптері үшіншешімдер.
Бұл қандай ережелер? Олардың үшеуін ежелгі дәуірде Аристотель ашқан: бұл жүйелілік принципі, сәйкестік ережесі және алынып тасталған орта заңы. Ғасырлар өткен соң Лейбниц тағы бір принципті ашты – жеткілікті себеп. Аристотель сипаттаған формальды логиканың үш заңы да бір-бірімен тығыз байланысты. Егер біз сананың бір буыны жетіспейтініне бір сәт жол берсек, қалғандары карталар үйіндей ыдырап кетеді.
Шығарылған орта заңын келесідей қорытындылауға болады: «Tertium non datur» немесе «Үшінші жоқ». Егер бір тақырыпқа (немесе бірнеше субъектілерге немесе құбылысқа) қатысты екі қарама-қарсы максимумды білдіретін болсақ, онда бір пайымдау шындыққа сәйкес келеді, ал екіншісі сәйкес келмейді. Бұл мәлімдемелер арасында екі негізгіні үйлестіретін немесе олардың арасындағы байланыстыратын логикалық көпір қызметін атқаратын үшіншісін салу мүмкін емес. Шығарылған үшінші бөліктің ең қарапайым мысалы «Бұл нәрсе ақ» және «Бұл нәрсе ақ емес». Бірақ ол бір нәрсе, белгілі бір уақыт және бір қатынас туралы екі қарама-қарсы максимум айтылғанда ғана жұмыс істейді.
Шығарылған орта заңы А және В ұсыныстары арасында қайшы немесе қайшы үйлесімсіздік болған кезде де күшіне енеді. Біріншісі – қарама-қарсы көзқарастың мәлімдемесі. Мысалы, «Жер Күнді айналады» және «Күн Жерді айналады» деген тұжырымдар қарсы дәлелдер болып табылады. Қарама-қарсы қарама-қайшылық А тіркесі күйде болғанда, ал Вештеңені жоққа шығарады: «От жылытады» және «От жылымайды». Сондай-ақ, бұл қайшылық жеке және жалпы пайымдаулар арасында орын алады, олардың бірі оң, екіншісі теріс болса: «Кейбір студенттердің дипломдары бар» және «Бірде-бір студенттің дипломы жоқ».
Ойлауға, әсіресе ғылыми ойлауға ерекше талаптар қойылады: жүйелілік, сенімділік жүйелілігі. Шығарылған орта заңы біздің логикалық пайымдауларымыздың ақиқатының өлшемі болып табылады. Мысалы, егер біз «Алла Тағала жақсы» деп растайтын болсақ, онда «Құдай күнәһарлар үшін мәңгілік тозақ азабын дайындады» деген сөздің мағынасы жоқ. Құдай кімге болса да мәңгілік азап беретін орын жаратты десек, оны қайырлы деп айта алмаймыз. Құдай біздің пайымдауымыздың объектісі ретінде қарама-қайшы белгілерге жатпайтындықтан, жоғарыдағы екі сөйлемнің бірі дұрыс, екіншісі жалған. Үшіншісі мұнда берілмейді.
