Основните закони на логиката могат да бъдат оприличени на принципите и правилата, които действат в природата. Те обаче имат своя специфика, най-малкото в това, че действат не в заобикалящия ни свят, а в плоскостта на човешкото мислене. Но, от друга страна, възприетите в логиката принципи се различават от правните норми по това, че не могат да бъдат отменени. Те са обективни и действат против волята ни. Разбира се, не може да се спори според тези принципи, но тогава едва ли някой ще сметне тези заключения за разумни.
Логическият закон е стълбът на науката, както естествена, така и човешка. Ако в ежедневието все пак човек може да се отдаде на поток от чувства, които са несъвместими с правилата за изграждане и развитие на мисълта, може да допусне логически пропуски, то в сериозни произведения или дискусии подобен подход е неприемлив. За основата на всяка доказателствена база са принципите на правилносттаприсъди.
Какви са тези правила? Три от тях са открити в древността от Аристотел: това са принципът на последователността, правилото на идентичността и законът на изключената среда. Векове по-късно Лайбниц открива друг принцип – достатъчна причина. И трите закона на формалната логика, описани от Аристотел, са неразривно свързани. Ако допуснем за момент, че една връзка от мисленето липсва, тогава другите се разпадат като къща от карти.
Законът за изключената среда може да бъде обобщен по следния начин: "Tertium non datur" или "Няма трети." Ако изразим две противоположни максими относно един и същ предмет (или редица субекти, или явление), тогава едното съждение ще отговаря на истината, а другото – не. Между тези твърдения е невъзможно да се изгради някакво трето, което да съгласува двете основни или да служи като свързващ логически мост между тях. Най-простият пример за изключена трета е „Това нещо е бяло“и „Това нещо не е бяло“. Но работи само когато и двете противоположни максими са изразени за едно и също нещо, за даден момент и за една и съща връзка.
Законът за изключената среда влиза в сила дори когато има противоречива или противоречива несъвместимост между твърдения A и B. Първото е твърдението на противоположната гледна точка. Например твърденията „Земята се върти около Слънцето“и „Слънцето се върти около Земята“са контрааргументи. Противоречиво противоречие възниква, когато фразата А гласи, а Ботрича каквото и да било: „Огънят топли“и „Огънят не топли“. Също така, това противоречие възниква между частни и общи преценки, когато едното е положително, а другото е отрицателно: „Някои студенти вече имат дипломи“и „Нито един студент няма диплома“.
Предлагат се специални изисквания към мисленето, особено научното мислене: последователност, последователност на сигурност. Законът за изключената среда е мярката за истинността на нашите логически разсъждения. Например, ако потвърдим, че „Бог е Всеблаг“, тогава максимата „Бог уреди вечни адски мъки за грешниците“е безсмислена. Ако твърдим, че Бог е създал място за вечни мъки за някого, тогава не можем да твърдим, че Той е Добър. Тъй като Бог, като обект на нашето разсъждение, не може да принадлежи към противоречиви знаци, едно от двете изречения по-горе е вярно, докато второто е невярно. Третият не е даден тук.
