Podstawowe prawa logiki można przyrównać do zasad i reguł obowiązujących w naturze. Mają jednak swoją specyfikę, przynajmniej w tym, że działają nie w otaczającym nas świecie, ale w płaszczyźnie ludzkiego myślenia. Ale z drugiej strony zasady przyjęte w logice różnią się od norm prawnych tym, że nie mogą być uchylone. Są obiektywni i działają wbrew naszej woli. Oczywiście nie można spierać się według tych zasad, ale wtedy mało kto uzna te wnioski za rozsądne.
Prawo logiczne jest filarem nauki, zarówno naturalnej, jak i ludzkiej. Jeśli w życiu codziennym można jeszcze oddawać się strumieniowi uczuć niezgodnych z regułami budowy i rozwoju myśli, można dopuszczać logiczne luki, to w poważnych pracach czy dyskusjach takie podejście jest nie do przyjęcia. Bo podstawą jakiejkolwiek bazy dowodowej są zasady poprawnejwyroki.
Jakie są te zasady? Trzy z nich odkrył w starożytności Arystoteles: są to zasada spójności, zasada tożsamości i prawo wyłączonego środka. Wieki później Leibniz odkrył inną zasadę - wystarczający powód. Wszystkie trzy prawa logiki formalnej opisane przez Arystotelesa są ze sobą nierozerwalnie związane. Jeśli pozwolimy na chwilę, że brakuje jednego ogniwa w sposobie myślenia, pozostałe rozpadają się jak domek z kart.
Prawo Wykluczonego Środka można podsumować następująco: „Tertium non datur” lub „Nie ma trzeciego”. Jeśli wyrazimy dwie przeciwstawne maksymy dotyczące tego samego przedmiotu (lub kilku przedmiotów lub zjawiska), to jeden sąd będzie odpowiadał prawdzie, a drugi nie. Pomiędzy tymi stwierdzeniami nie da się zbudować jakiejś trzeciej, która pogodziłaby dwa główne lub służyłaby jako łączący je logiczny most. Najprostszym przykładem wykluczonego trzeciego jest „To coś jest białe” i „To nie jest białe”. Ale to działa tylko wtedy, gdy obie przeciwstawne maksymy zostały wyrażone o tej samej rzeczy, o określonym czasie io tej samej relacji.
Prawo wyłączonego środka obowiązuje nawet wtedy, gdy istnieje sprzeczna lub sprzeczna niezgodność między zdaniami A i B. Pierwszym z nich jest stwierdzenie przeciwnego punktu widzenia. Na przykład twierdzenia „Ziemia kręci się wokół Słońca” i „Słońce kręci się wokół Ziemi” są kontrargumentami. Sprzeczność sprzeczna występuje, gdy fraza A stwierdza, a Bzaprzecza wszystkim: „Ogień ogrzewa” i „Ogień nie ogrzewa”. Ta sprzeczność występuje również między osądami szczegółowymi i ogólnymi, gdy jeden jest pozytywny, a drugi negatywny: „Niektórzy studenci mają już dyplomy” i „Żaden student nie ma dyplomu”.
Składa się specjalne wymagania dotyczące myślenia, zwłaszcza naukowego: konsekwencja, konsekwencja pewności. Prawo Wykluczonego Środka jest miarą prawdziwości naszego logicznego rozumowania. Na przykład, jeśli twierdzimy, że „Bóg jest dobry”, to maksyma „Bóg zaaranżował wieczne męki piekielne dla grzeszników” jest bez znaczenia. Jeśli twierdzimy, że Bóg stworzył dla kogokolwiek miejsce wiecznych męki, to nie możemy twierdzić, że jest Dobry. Ponieważ Bóg jako przedmiot naszego rozumowania nie może należeć do znaków sprzecznych, jedno z dwóch powyższych zdań jest prawdziwe, a drugie fałszywe. Trzeciego nie podano tutaj.
