Osnovni zakoni logike mogu se uporediti sa principima i pravilima koja funkcionišu u prirodi. Međutim, oni imaju svoje specifičnosti, barem u tome što djeluju ne u svijetu oko nas, već u planu ljudskog razmišljanja. Ali, s druge strane, principi usvojeni u logici razlikuju se od pravnih normi po tome što se ne mogu ukinuti. Oni su objektivni i djeluju protiv naše volje. Naravno, po ovim principima se ne može raspravljati, ali onda teško da će iko ove zaključke smatrati razumnim.
Logički zakon je stub nauke, prirodne i ljudske. Ako se u svakodnevnom životu još uvijek može prepustiti struji osjećaja koja su nespojiva 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 principi ispravnostipresude.
Koja su ovo pravila? Tri od njih je u antičko doba otkrio Aristotel: to su princip konzistentnosti, pravilo identiteta i zakon isključene sredine. Vekovima kasnije, Leibniz je otkrio još jedan princip - 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 konstruisati 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 nekompatibilnost između propozicija A i B. Prvi 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 se javlja kada fraza A navodi, a Bnegira bilo šta: "Vatra grije" i "Vatra ne grije." Takođe, ova kontradikcija se javlja između pojedinačnih i opštih sudova, kada je jedan pozitivan, a drugi negativan: “Neki studenti već imaju diplome” i “Nijedan student nema diplomu.”
Postavljaju se posebni zahtjevi za razmišljanje, posebno naučno mišljenje: konzistentnost, dosljednost sigurnosti. Zakon isključene sredine je mjera istinitosti našeg logičkog zaključivanja. Na primjer, ako tvrdimo da je „Bog svedobar“, onda je maksima „Bog je grešnicima uredio vječne paklene muke“besmislena. Ako tvrdimo da je Bog stvorio mjesto vječne muke za nekoga, onda ne možemo tvrditi da je On Dobar. Budući da Bog, kao predmet našeg rasuđivanja, ne može pripadati kontradiktornim znakovima, jedna od dvije gornje rečenice je istinita, dok je druga netačna. Treći ovdje nije dat.
