Loogika põhiseadusi võib võrrelda looduses kehtivate põhimõtete ja reeglitega. Neil on aga oma spetsiifika, vähem alt selles osas, et nad ei tegutse meid ümbritsevas maailmas, vaid inimese mõtlemise tasandil. Kuid teisest küljest erinevad loogikas omaksvõetud põhimõtted õigusnormidest selle poolest, et neid ei saa tühistada. Nad on objektiivsed ja tegutsevad meie tahte vastaselt. Muidugi ei saa nende põhimõtete järgi vaielda, kuid siis vaev alt keegi neid järeldusi mõistlikuks peab.
Loogiline seadus on nii loodus- kui ka inimteaduse tugisammas. Kui igapäevaelus võib veel mõnuleda mõtte konstrueerimise ja arendamise reeglitega kokkusobimatu tunnete vooga, võib lubada loogilisi lünki, siis tõsistes töödes või aruteludes on selline lähenemine lubamatu. Mis tahes tõendusbaasi aluseks on õiged põhimõttedkohtuotsused.
Mis need reeglid on? Kolm neist avastas iidsetel aegadel Aristoteles: need on järjepidevuse põhimõte, identiteedi reegel ja välistatud keskkoha seadus. Sajandeid hiljem avastas Leibniz teise põhimõtte – piisava põhjuse. Kõik kolm Aristotelese kirjeldatud formaalse loogika seadust on lahutamatult seotud. Kui lubame hetkeks, et üks mõtteviisi lüli on puudu, lagunevad teised nagu kaardimajake.
Välistatud keskmise seaduse võib kokku võtta järgmiselt: "Tertium non datur" või "Ei ole kolmandat". Kui väljendame sama subjekti (või mitme subjekti või nähtuse) kohta kahte vastandlikku maksiimi, vastab üks hinnang tõele ja teine mitte. Nende väidete vahele on võimatu konstrueerida mingit kolmandat, mis kahte peamist ühildaks või oleks nende vahel ühendavaks loogiliseks sillaks. Lihtsaim näide välistatud kolmandikust on "See asi on valge" ja "See asi pole valge". Kuid see toimib ainult siis, kui mõlemad vastandlikud maksiimid olid väljendatud sama asja kohta, teatud aja ja sama suhte kohta.
Välistatud keskmise seadus jõustub ka siis, kui väidete A ja B vahel on vastuoluline või vastuoluline kokkusobimatus. Esimene on vastupidise vaatenurga väide. Näiteks väited "Maa tiirleb ümber Päikese" ja "Päike tiirleb ümber Maa" on vastuargumendid. Vastuoluline vastuolu tekib siis, kui fraas A väidab ja Beitab midagi: "Tuli soojendab" ja "Tuli ei soojenda". Samuti esineb see vastuolu konkreetsete ja üldiste hinnangute vahel, kui üks on positiivne ja teine negatiivne: "Mõnel üliõpilasel on juba diplom" ja "Ühelgi üliõpilasel pole diplomit."
Mõtlemisele, eriti teaduslikule mõtlemisele esitatakse erinõuded: järjekindlus, kindluse järjepidevus. Välistatud Keskmise seadus on meie loogilise mõttekäigu tõesuse mõõdupuu. Näiteks kui kinnitame, et "Jumal on kõik hea", siis maksiim "Jumal korraldas patustele igavesed põrgulikud piinad" on mõttetu. Kui me väidame, et Jumal lõi kellelegi igavese piinapaiga, siis me ei saa väita, et Ta on Hea. Kuna Jumal kui meie mõttekäigu objekt ei saa kuuluda vastuoluliste märkide hulka, on üks kahest ül altoodud lausest tõene, teine aga vale. Kolmandat siin pole antud.
