Logiikan peruslakeja voidaan verrata luonnossa toimiviin periaatteisiin ja sääntöihin. Niillä on kuitenkin omat erityispiirteensä, ainakin siinä mielessä, että ne eivät toimi ympärillämme olevassa maailmassa, vaan ihmisen ajattelun tasolla. Mutta toisa alta logiikassa omaksutut periaatteet eroavat oikeudellisista normeista siinä, että niitä ei voida kumota. He ovat objektiivisia ja toimivat vastoin tahtoamme. Näiden periaatteiden mukaan ei tietenkään voi väitellä, mutta silloin tuskin kukaan pitää näitä johtopäätöksiä järkevinä.
Looginen laki on tieteen pilari, sekä luonnon että ihmisen. Jos jokapäiväisessä elämässä voi vielä hemmotella ajatuksen rakentamisen ja kehittämisen sääntöjen kanssa yhteensopimattomia tunnevirtoja, sallia loogisia aukkoja, niin vakavissa teoksissa tai keskusteluissa tällaista lähestymistapaa ei voida hyväksyä. Kaiken todisteen perustana ovat oikeat periaatteettuomiot.
Mitä nämä säännöt ovat? Aristoteles löysi niistä kolme muinaisina aikoina: nämä ovat johdonmukaisuuden periaate, identiteetin sääntö ja poissuljetun keskikohdan laki. Vuosisatoja myöhemmin Leibniz löysi toisen periaatteen - riittävän syyn. Kaikki kolme Aristoteleen kuvaamaa muodollisen logiikan lakia liittyvät erottamattomasti toisiinsa. Jos annamme hetkeksi, että yksi ajattelun lenkki puuttuu, muut hajoavat kuin korttitalo.
Poissuljetun keskikohdan laki voidaan tiivistää seuraavasti: "Tertium non datur" tai "Ei ole kolmatta." Jos ilmaisemme kaksi vastakkaista maksiimia samasta aiheesta (tai useista aiheista tai ilmiöstä), niin yksi tuomio vastaa totuutta ja toinen ei. Näiden väitteiden väliin on mahdotonta rakentaa jotain kolmatta, joka sovittaisi yhteen kaksi päälausetta tai toimisi yhdistävänä loogisena siltana niiden välillä. Yksinkertaisin esimerkki poissuljetusta kolmanneksesta on "Tämä asia on valkoinen" ja "Tämä asia ei ole valkoinen". Mutta se toimii vain, kun molemmat vastakkaiset maksiimit ilmaistiin samasta asiasta, tietystä ajasta ja samasta suhteesta.
Poissuljetun keskikohdan laki tulee voimaan, vaikka lauseiden A ja B välillä on ristiriitainen tai ristiriitainen yhteensopimattomuus. Ensimmäinen on toteamus päinvastaisesta näkökulmasta. Esimerkiksi väitteet "Maa pyörii Auringon ympäri" ja "Aurinko pyörii Maan ympäri" ovat vasta-argumentteja. Ristiriitainen ristiriita syntyy, kun lause A sanoo ja Bkieltää mitään: "Tuli lämmittää" ja "Tuli ei lämmitä". Tämä ristiriita esiintyy myös yksittäisten ja yleisten arvioiden välillä, kun toinen on positiivinen ja toinen negatiivinen: "Joillakin opiskelijoilla on jo tutkintotodistus" ja "Yhdelläkään opiskelijalla ei ole tutkintoa."
Ajattelulle, erityisesti tieteelliselle ajattelulle asetetaan erityisiä vaatimuksia: johdonmukaisuus, varmuuden johdonmukaisuus. Poissuljetun keskikohdan laki on loogisen päättelymme totuuden mitta. Jos esimerkiksi väitämme, että "Jumala on kaikkihyvä", niin lause "Jumala järjesti syntisille ikuisen helvetin kidutuksen" on merkityksetön. Jos väitämme, että Jumala loi ikuisen piinapaikan kenellekään, emme voi väittää, että Hän on Hyvä. Koska Jumala, päättelymme kohteena, ei voi kuulua ristiriitaisiin merkkeihin, toinen kahdesta yllä olevista lauseista on tosi, kun taas toinen on epätosi. Kolmatta ei ole annettu tässä.
