Pagrindinius logikos dėsnius galima prilyginti gamtoje veikiantiems principams ir taisyklėms. Tačiau jie turi savo specifiką, bent jau tuo, kad veikia ne mus supančiame pasaulyje, o žmogaus mąstymo plotmėje. Bet, kita vertus, logikoje priimti principai skiriasi nuo teisės normų tuo, kad jų negalima panaikinti. Jie yra objektyvūs ir veikia prieš mūsų valią. Žinoma, remiantis šiais principais ginčytis negalima, tačiau vargu ar kas nors laikys šias išvadas pagrįstomis.
Loginiai dėsniai yra gamtos ir žmogaus mokslo ramstis. Jei kasdienybėje dar galima leistis į jausmų srautą, nesuderinamą su minties konstravimo ir raidos taisyklėmis, galima leistis į logines spragas, tai rimtuose darbuose ar diskusijose toks požiūris yra nepriimtinas. Bet kokios įrodymų bazės pagrindas yra teisingumo principaisprendimai.
Kokios šios taisyklės? Tris iš jų senovėje atrado Aristotelis: tai nuoseklumo principas, tapatybės taisyklė ir išstumtojo vidurio dėsnis. Po šimtmečių Leibnicas atrado kitą principą – pakankamą priežastį. Visi trys Aristotelio aprašyti formaliosios logikos dėsniai yra neatsiejamai susiję. Jei akimirką leidžiame, kad trūksta vienos mąstysenos grandies, tada kitos subyrės kaip kortų namelis.
Išskirtojo vidurio dėsnį galima apibendrinti taip: „Tertium non datur“arba „Nėra trečiojo“. Jei išreiškiame dvi priešingas maksimas, susijusias su tuo pačiu subjektu (arba daugybe subjektų, ar reiškiniu), tada vienas sprendimas atitiks tiesą, o kitas – ne. Tarp šių teiginių neįmanoma sukonstruoti kažkokio trečiojo, kuris sutaikytų du pagrindinius arba tarnautų kaip jungiamasis loginis tiltas tarp jų. Paprasčiausias neįtraukto trečdalio pavyzdys yra „Šis daiktas yra b altas“ir „Šis daiktas nėra b altas“. Tačiau tai veikia tik tada, kai abi priešingos maksimos buvo išreikštos tuo pačiu dalyku, tam tikru laiku ir tuo pačiu santykiu.
Išskiriamojo vidurio dėsnis įsigalioja net tada, kai yra prieštaringas arba prieštaringas teiginių A ir B nesuderinamumas. Pirmasis yra priešingo požiūrio pareiškimas. Pavyzdžiui, teiginiai „Žemė sukasi aplink Saulę“ir „Saulė sukasi aplink Žemę“yra kontrargumentai. Prieštaringas prieštaravimas atsiranda, kai frazė A teigia, o Bnieko neigia: „Ugnis šildo“ir „Ugnis nešildo“. Be to, šis prieštaravimas atsiranda tarp konkrečių ir bendrų sprendimų, kai vienas yra teigiamas, o kitas yra neigiamas: „Kai kurie studentai jau turi diplomus“ir „Joks studentas neturi diplomo“.
Mąstymui, ypač moksliniam, keliami specialūs reikalavimai: nuoseklumas, tikrumo nuoseklumas. Išskirtojo vidurio dėsnis yra mūsų loginio samprotavimo tiesos matas. Pavyzdžiui, jei tvirtiname, kad „Dievas yra visapusiškas“, tai maksima „Dievas surengė nusidėjėliams amžinas pragariškas kančias“yra beprasmis. Jeigu tvirtiname, kad Dievas kam nors sukūrė amžinųjų kančių vietą, tai negalime teigti, kad Jis yra Geras. Kadangi Dievas, kaip mūsų samprotavimo objektas, negali priklausyti prieštaringiems ženklams, vienas iš dviejų aukščiau pateiktų sakinių yra teisingas, o antrasis – klaidingas. Trečioji čia nepateikta.
