Základné zákony logiky možno prirovnať k princípom a pravidlám, ktoré fungujú v prírode. Majú však svoje špecifiká minimálne v tom, že nepôsobia vo svete okolo nás, ale v rovine ľudského myslenia. No na druhej strane princípy prijaté v logike sa od právnych noriem líšia tým, že ich nemožno zrušiť. Sú objektívni a konajú proti našej vôli. Samozrejme, nemožno argumentovať podľa týchto zásad, ale potom sotva niekto bude považovať tieto závery za rozumné.
Logický zákon je pilierom vedy, prírodnej aj ľudskej. Ak sa v bežnom živote stále môže oddávať prúdom pocitov, ktoré sú nezlučiteľné s pravidlami výstavby a rozvoja myslenia, možno pripustiť logické medzery, potom je vo serióznych dielach alebo diskusiách takýto prístup neprijateľný. Základom každej dôkazovej základne sú zásady správnostirozsudky.
Aké sú tieto pravidlá? Tri z nich objavil v staroveku Aristoteles: ide o princíp konzistencie, pravidlo identity a zákon vylúčeného stredu. O stáročia neskôr Leibniz objavil ďalší princíp – dostatočný dôvod. Všetky tri zákony formálnej logiky opísané Aristotelom sú neoddeliteľne spojené. Ak na chvíľu pripustíme, že jeden článok myslenia chýba, ostatné sa rozpadnú ako domček z karát.
Zákon vylúčeného stredu možno zhrnúť takto: „Tertium non datur“alebo „Neexistuje žiadne tretie.“Ak vyjadríme dve opačné maximá týkajúce sa toho istého subjektu (alebo viacerých subjektov alebo javu), potom jeden úsudok bude zodpovedať pravde a druhý nie. Medzi týmito tvrdeniami nie je možné skonštruovať nejaké tretie, ktoré by zosúladilo dve hlavné alebo slúžilo ako spojovací logický most medzi nimi. Najjednoduchším príkladom vylúčenej tretiny je „Táto vec je biela“a „Táto vec nie je biela“. Funguje to však iba vtedy, keď sú obe protichodné maximá vyjadrené o tej istej veci, o danom čase a o rovnakom vzťahu.
Zákon vylúčeného stredu nadobudne platnosť aj vtedy, keď medzi výrokmi A a B existuje protirečivá alebo protichodná nezlučiteľnosť. Prvým je vyjadrenie opačného pohľadu. Napríklad tvrdenia „Zem sa točí okolo Slnka“a „Slnko sa točí okolo Zeme“sú protiargumenty. Protirečivý rozpor nastane, keď fráza A uvádza a Bpopiera čokoľvek: "Oheň hreje" a "Oheň nehreje." Tento rozpor sa vyskytuje aj medzi konkrétnymi a všeobecnými úsudkami, keď jeden je pozitívny a druhý negatívny: „Niektorí študenti už majú diplomy“a „Žiaden študent nemá diplom.“
Na myslenie, najmä vedecké myslenie, sa kladú špeciálne požiadavky: konzistentnosť, konzistentnosť istoty. Zákon vylúčeného stredu je mierou pravdivosti nášho logického uvažovania. Napríklad, ak tvrdíme, že „Boh je všetko dobrý“, potom výrok „Boh zariadil večné pekelné muky pre hriešnikov“nemá zmysel. Ak tvrdíme, že Boh stvoril pre niekoho miesto večných múk, potom nemôžeme tvrdiť, že je Dobrý. Keďže Boh ako predmet nášho uvažovania nemôže patriť k protichodným znakom, jedna z dvoch viet vyššie je pravdivá, zatiaľ čo druhá je nepravdivá. Tretia tu nie je uvedená.
