Osnovne zakone logike lahko primerjamo z načeli in pravili, ki delujejo v naravi. Imajo pa svoje posebnosti, vsaj v tem, da ne delujejo v svetu okoli nas, temveč v ravni človeškega mišljenja. Toda po drugi strani se načela, sprejeta v logiki, razlikujejo od pravnih norm po tem, da jih ni mogoče razveljaviti. So objektivni in delujejo proti naši volji. Seveda se po teh načelih ni mogoče razpravljati, a potem komaj kdo bo te sklepe štel za razumne.
Logični zakon je steber znanosti, tako naravne kot človeške. Če se v vsakdanjem življenju še vedno lahko prepustimo toku občutkov, ki so nezdružljivi s pravili gradnje in razvoja misli, lahko dopuščamo logične vrzeli, potem je v resnih delih ali razpravah tak pristop nesprejemljiv. Za temelj vsake dokazne baze so načela pravilnostisodbe.
Katera so ta pravila? Tri od njih je v starih časih odkril Aristotel: to so načelo doslednosti, pravilo identitete in zakon izključene sredine. Stoletja pozneje je Leibniz odkril še eno načelo - zadosten razlog. Vsi trije zakoni formalne logike, ki jih je opisal Aristotel, so neločljivo povezani. Če za trenutek dovolimo, da en člen miselnosti manjka, potem drugi razpadejo kot hiša iz kart.
Zakon izključene sredine lahko povzamemo takole: "Tertium non datur" ali "Tretjega ni." Če izrazimo dve nasprotni maksimi glede istega predmeta (ali več subjektov ali pojava), bo ena sodba ustrezala resnici, druga pa ne. Med temi izjavami je nemogoče zgraditi kakšno tretjo, ki bi uskladila obe glavni ali služila kot povezovalni logični most med njima. Najenostavnejši primer izključenega tretjega je "Ta stvar je bela" in "Ta stvar ni bela." Vendar deluje le, če sta bili obe nasprotujoči si maksimi izraženi o isti stvari, o določenem času in o istem razmerju.
Zakon izključene sredine začne veljati tudi, če obstaja protislovna ali protislovna nezdružljivost med predlogi A in B. Prva je izjava nasprotnega stališča. Na primer, trditev "Zemlja se vrti okoli Sonca" in "Sonce se vrti okoli Zemlje" sta protiargumenta. Protislovno protislovje se pojavi, ko besedna zveza A navaja in Bkarkoli zanika: "Ogenj greje" in "Ogenj ne greje." Prav tako se to protislovje pojavlja med posebnimi in splošnimi sodbami, ko je ena pozitivna, druga pa negativna: »Nekateri študentje že imajo diplome« in »Noben študent nima diplome.«
Za razmišljanje, zlasti znanstveno razmišljanje, so postavljene posebne zahteve: doslednost, doslednost gotovosti. Zakon izključene sredine je merilo resnice našega logičnega sklepanja. Na primer, če trdimo, da je »Bog vsedober«, potem je maksima »Bog je grešnikom uredil večne peklenske muke« nesmiselna. Če trdimo, da je Bog ustvaril mesto večnega mučenja za koga, potem ne moremo trditi, da je dober. Ker Bog kot predmet našega razmišljanja ne more spadati med nasprotujoča si znamenja, je eden od zgornjih dveh stavkov resničen, drugi pa napačen. Tretja tukaj ni podana.
