Ligjet bazë të logjikës mund të krahasohen me parimet dhe rregullat që veprojnë në natyrë. Megjithatë, ato kanë specifikat e tyre, të paktën në atë që veprojnë jo në botën përreth nesh, por në rrafshin e të menduarit njerëzor. Por, nga ana tjetër, parimet e miratuara në logjikë ndryshojnë nga normat juridike në atë që nuk mund të shfuqizohen. Ata janë objektivë dhe veprojnë kundër vullnetit tonë. Sigurisht, nuk mund të argumentohet sipas këtyre parimeve, por vështirë se dikush do t'i konsiderojë këto përfundime të arsyeshme.
Ligji logjik është shtylla e shkencës, si natyrore ashtu edhe njerëzore. Nëse në jetën e përditshme ende mund të kënaqesh me një rrymë ndjenjash që janë të papajtueshme me rregullat për ndërtimin dhe zhvillimin e mendimit, mund të lejohen boshllëqe logjike, atëherë në punë apo diskutime serioze një qasje e tillë është e papranueshme. Për themelin e çdo dëshmie bazë është parimi i saktëgjykimet.
Cilat janë këto rregulla? Tre prej tyre u zbuluan në kohët e lashta nga Aristoteli: këto janë parimi i qëndrueshmërisë, rregulli i identitetit dhe ligji i mesit të përjashtuar. Shekuj më vonë, Leibniz zbuloi një tjetër parim - arsye të mjaftueshme. Të tre ligjet e logjikës formale të përshkruara nga Aristoteli janë të lidhura pazgjidhshmërisht. Nëse lejojmë për një moment që një hallkë e mendësisë mungon, atëherë të tjerat shpërbëhen si një shtëpi letrash.
Ligji i Mesit të Përjashtuar mund të përmblidhet si më poshtë: "Tertium non datur" ose "Nuk ka të tretë". Nëse shprehim dy maksima të kundërta në lidhje me të njëjtën temë (ose një numër lëndësh, ose një fenomen), atëherë një gjykim do t'i përgjigjet të vërtetës dhe tjetri jo. Midis këtyre pohimeve është e pamundur të ndërtohet një e treta që do të pajtonte dy kryesoret ose do të shërbente si një urë logjike lidhëse mes tyre. Shembulli më i thjeshtë i një të treti të përjashtuar është "Kjo gjë është e bardhë" dhe "Kjo gjë nuk është e bardhë". Por funksionon vetëm kur të dyja maksimat e kundërta janë shprehur për të njëjtën gjë, për një kohë të caktuar dhe për të njëjtën marrëdhënie.
Ligji i mesit të përjashtuar hyn në fuqi edhe kur ekziston një papajtueshmëri kontradiktore ose kontradiktore midis propozimeve A dhe B. E para është deklarata e këndvështrimit të kundërt. Për shembull, propozimet "Toka rrotullohet rreth Diellit" dhe "Dielli rrotullohet rreth Tokës" janë kundërargumente. Një kontradiktë kontradiktore ndodh kur shprehet fraza A dhe Bmohon çdo gjë: "Zjarri ngroh" dhe "Zjarri nuk ngroh". Gjithashtu, kjo kontradiktë ndodh midis gjykimeve të veçanta dhe të përgjithshme, kur njëri është pozitiv dhe tjetri negativ: "Disa studentë tashmë kanë diploma" dhe "Asnjë student nuk ka një diplomë".
Kërkesa të veçanta parashtrohen për të menduarit, veçanërisht të menduarit shkencor: qëndrueshmëri, qëndrueshmëri e sigurisë. Ligji i Mesit të Përjashtuar është masa e së vërtetës së arsyetimit tonë logjik. Për shembull, nëse pohojmë se "Zoti është i Gjithëmirë", atëherë maksima "Perëndia organizoi mundimin e përjetshëm ferrinor për mëkatarët" është e pakuptimtë. Nëse pretendojmë se Zoti krijoi një vend mundimi të përjetshëm për këdo, atëherë nuk mund të pretendojmë se Ai është i Mirë. Meqenëse Zoti, si objekt i arsyetimit tonë, nuk mund t'i përkasë shenjave kontradiktore, njëra nga dy fjalitë e mësipërme është e vërtetë, ndërsa e dyta është e rreme. E treta nuk jepet këtu.
