Legile de bază ale logicii pot fi asemănate cu principiile și regulile care funcționează în natură. Cu toate acestea, au propriile lor specificități, cel puțin prin faptul că nu operează în lumea din jurul nostru, ci în planul gândirii umane. Dar, pe de altă parte, principiile adoptate în logică diferă de normele juridice prin faptul că nu pot fi abrogate. Sunt obiectivi și acționează împotriva voinței noastre. Desigur, nu se poate argumenta conform acestor principii, dar atunci aproape nimeni nu va considera aceste concluzii rezonabile.
Legea logică este pilonul științei, atât naturală, cât și umană. Dacă în viața de zi cu zi se poate încă să se complacă într-un flux de sentimente care sunt incompatibile cu regulile de construire și dezvoltare a gândirii, se pot permite lacune logice, atunci în lucrări sau discuții serioase o astfel de abordare este inacceptabilă. Pentru că fundamentul oricărei baze de dovezi este principiile corectuluijudecăți.
Care sunt aceste reguli? Trei dintre ele au fost descoperite în antichitate de Aristotel: acestea sunt principiul consistenței, regula identității și legea mijlocului exclus. Secole mai târziu, Leibniz a descoperit un alt principiu - motivul suficient. Toate cele trei legi ale logicii formale descrise de Aristotel sunt indisolubil legate. Dacă permitem pentru un moment că lipsește o verigă a mentalității, atunci celel alte se destramă ca un castel de cărți.
Legea mijlocului exclus poate fi rezumată după cum urmează: „Tertium non datur” sau „Nu există o treime”. Dacă exprimăm două maxime opuse referitoare la același subiect (sau un număr de subiecte, sau un fenomen), atunci o judecată va corespunde adevărului, iar ceal altă nu. Între aceste afirmații, este imposibil să construim vreo a treia care să le împace pe cele două principale sau să servească drept punte logică de legătură între ele. Cel mai simplu exemplu de treime exclusă este „Acest lucru este alb” și „Acest lucru nu este alb”. Dar funcționează numai atunci când ambele maxime opuse au fost exprimate despre același lucru, despre un timp dat și despre aceeași relație.
Legea mijlocului exclus intră în vigoare chiar și atunci când există o incompatibilitate contradictorie sau contradictorie între propozițiile A și B. Prima este afirmarea punctului de vedere opus. De exemplu, propozițiile „Pământul se învârte în jurul Soarelui” și „Soarele se învârte în jurul Pământului” sunt contraargumente. O contradicție contradictorie apare atunci când expresia A spune și Bneagă nimic: „Focul încălzește” și „Focul nu încălzește”. De asemenea, această contradicție apare între judecățile particulare și cele generale, când una este pozitivă și ceal altă este negativă: „Unii studenți au deja diplome” și „Niciun student nu are diplomă.”
Pentru gândire, în special pentru gândirea științifică, se propun cerințe speciale: consistența, consistența certitudinii. Legea mijlocului exclus este măsura adevărului raționamentului nostru logic. De exemplu, dacă afirmăm că „Dumnezeu este Atotbun”, atunci maxima „Dumnezeu a aranjat un chin infernal etern pentru păcătoși” este lipsită de sens. Dacă pretindem că Dumnezeu a creat un loc de chin etern pentru oricine, atunci nu putem pretinde că El este Bun. Întrucât Dumnezeu, ca obiect al raționamentului nostru, nu poate aparține unor semne contradictorii, una dintre cele două propoziții de mai sus este adevărată, în timp ce a doua este falsă. Al treilea nu este dat aici.
