Grunnleggende logiske lover kan sammenlignes med prinsippene og reglene som fungerer i naturen. Imidlertid har de sine egne spesifikasjoner, i det minste ved at de ikke opererer i verden rundt oss, men i menneskelig tenkning. Men på den annen side skiller prinsippene vedtatt i logikk seg fra juridiske normer ved at de ikke kan oppheves. De er objektive og handler mot vår vilje. Man kan selvfølgelig ikke argumentere etter disse prinsippene, men da vil knapt noen vurdere disse konklusjonene som rimelige.
Logisk lov er grunnpilaren i vitenskapen, både naturlig og menneskelig. Hvis man i hverdagen fortsatt kan hengi seg til en strøm av følelser som er uforenlig med reglene for konstruksjon og utvikling av tanker, kan man tillate logiske hull, så i seriøse arbeider eller diskusjoner er en slik tilnærming uakseptabel. For grunnlaget for ethvert bevisgrunnlag er prinsippene for korrektdommer.
Hva er disse reglene? Tre av dem ble oppdaget i antikken av Aristoteles: disse er prinsippet om konsistens, regelen om identitet og loven om den ekskluderte midten. Århundrer senere oppdaget Leibniz et annet prinsipp - tilstrekkelig grunn. Alle tre lovene for formell logikk beskrevet av Aristoteles er uløselig knyttet sammen. Hvis vi tillater et øyeblikk at én kobling i tankesettet mangler, faller de andre fra hverandre som et korthus.
The Law of the Excluded Middle kan oppsummeres som følger: "Tertium non datur" eller "There is no third." Hvis vi uttrykker to motsatte maksimer angående det samme emnet (eller et antall emner, eller et fenomen), vil den ene dommen samsvare med sannheten, og den andre ikke. Mellom disse utsagnene er det umulig å konstruere en tredje som vil forene de to viktigste eller tjene som en logisk forbindelse mellom dem. Det enkleste eksemplet på en ekskludert tredjedel er "Denne tingen er hvit" og "Denne tingen er ikke hvit." Men det fungerer bare når begge motsatte maksimene ble uttrykt om det samme, om et gitt tidspunkt og om det samme forholdet.
Loven om den ekskluderte midten trer i kraft selv når det er en motstridende eller motstridende inkompatibilitet mellom påstandene A og B. Den første er uttalelsen om det motsatte synspunktet. For eksempel er påstandene "Jorden kretser rundt solen" og "Solen kretser rundt jorden" motargumenter. En motstridende motsetning oppstår når uttrykket A sier, og Bbenekter noe: "Brann varmer" og "Brann varmer ikke." Også denne motsetningen oppstår mellom spesielle og generelle vurderinger, når den ene er positiv og den andre er negativ: «Noen studenter har allerede vitnemål» og «Ingen studenter har vitnemål.»
Spesielle krav stilles til tenkning, spesielt vitenskapelig tenkning: konsistens, konsistens av sikkerhet. The Law of the Excluded Middle er målestokken for sannheten i vårt logiske resonnement. For eksempel, hvis vi bekrefter at "Gud er all-god", så er maksimen "Gud arrangerte evig helvetes pine for syndere" meningsløs. Hvis vi hevder at Gud skapte et sted for evig pine for noen, så kan vi ikke påstå at han er god. Siden Gud, som gjenstand for resonnementet vårt, ikke kan tilhøre motstridende tegn, er en av de to setningene ovenfor sann, mens den andre er usann. Den tredje er ikke gitt her.
