Osnovni zakoni logike mogu se usporediti s principima i pravilima koja djeluju u prirodi. Međutim, oni imaju svoje specifičnosti, barem u tome što djeluju ne u svijetu oko nas, već u planu ljudskog mišljenja. Ali, s druge strane, načela usvojena u logici razlikuju se od pravnih normi po tome što se ne mogu ukinuti. Oni su objektivni i djeluju protiv naše volje. Naravno, ne može se raspravljati prema ovim načelima, ali teško da će onda itko ove zaključke smatrati razumnim.
Logički zakon je stup znanosti, prirodne i ljudske. Ako se u svakodnevnom životu još uvijek može prepustiti struji osjećaja koji su nespojivi s pravilima građenja i razvoja misli, mogu se dopustiti logičke praznine, onda je u ozbiljnim radovima ili raspravama takav pristup neprihvatljiv. Jer temelj svake baze dokaza su načela ispravnostipresude.
Koja su ovo pravila? Tri od njih je u antičko doba otkrio Aristotel: to su načelo dosljednosti, pravilo identiteta i zakon isključene sredine. Stoljećima kasnije Leibniz je otkrio još jedno načelo – dovoljan razlog. Sva tri zakona formalne logike koje je opisao Aristotel neraskidivo su povezana. Ako na trenutak dopustimo da jedna karika mentalnog sklopa nedostaje, onda se ostale raspadaju kao kuća od karata.
Zakon isključene sredine može se sažeti na sljedeći način: "Tertium non datur" ili "Ne postoji treći." Ako izrazimo dvije suprotne maksime o istom subjektu (ili nizu subjekata, ili fenomenu), tada će jedan sud odgovarati istini, a drugi neće. Između ovih iskaza nemoguće je konstruirati neki treći koji bi pomirio dva glavna ili služio kao povezujući logički most između njih. Najjednostavniji primjer isključenog trećeg je "Ova stvar je bijela" i "Ova stvar nije bijela". Ali funkcionira samo kada su obje suprotstavljene maksime izražene o istoj stvari, o datom vremenu i o istom odnosu.
Zakon isključene sredine stupa na snagu čak i kada postoji kontradiktorna ili kontradiktorna nespojivost između tvrdnji A i B. Prva je izjava suprotnog gledišta. Na primjer, tvrdnje "Zemlja se okreće oko Sunca" i "Sunce se okreće oko Zemlje" su protuargumenti. Kontradiktorna kontradikcija nastaje kada fraza A navodi, a Bništa negira: "Vatra grije" i "Vatra ne grije". Također, ova se kontradikcija javlja između posebnih i općih prosudbi, kada je jedna pozitivna, a druga negativna: “Neki studenti već imaju diplome” i “Nijedan student nema diplomu.”
Postavljaju se posebni zahtjevi za razmišljanje, posebno znanstveno mišljenje: dosljednost, dosljednost izvjesnosti. Zakon isključene sredine mjera je istinitosti našeg logičkog zaključivanja. Na primjer, ako tvrdimo da je “Bog svedobar”, onda je maksima “Bog je grješnicima uredio vječne paklene muke” besmislena. Ako tvrdimo da je Bog za nekoga stvorio mjesto vječne muke, onda ne možemo tvrditi da je On Dobar. Budući da Bog, kao predmet našeg razmišljanja, ne može pripadati kontradiktornim znakovima, jedna od dvije gornje rečenice je istinita, dok je druga netočna. Treći ovdje nije dat.
