Տրամաբանության հիմնական օրենքները կարելի է նմանեցնել բնության մեջ գործող սկզբունքներին և կանոններին: Այնուամենայնիվ, նրանք ունեն իրենց առանձնահատկությունները, համենայն դեպս նրանով, որ գործում են ոչ թե մեզ շրջապատող աշխարհում, այլ մարդկային մտածողության հարթությունում։ Բայց, մյուս կողմից, տրամաբանության մեջ ընդունված սկզբունքները տարբերվում են իրավական նորմերից նրանով, որ չեն կարող չեղյալ համարվել։ Նրանք օբյեկտիվ են և գործում են մեր կամքին հակառակ։ Իհարկե, չի կարելի վիճել այս սկզբունքների համաձայն, բայց դժվար թե որևէ մեկը այդ եզրակացությունները ողջամիտ համարի։
Տրամաբանական օրենքը գիտության հիմնասյունն է՝ և՛ բնական, և՛ մարդկային: Եթե առօրյա կյանքում դեռ կարելի է տրվել զգացմունքների հոսքին, որոնք անհամատեղելի են մտքի կառուցման ու զարգացման կանոններին, կարելի է տրամաբանական բացեր թույլ տալ, ապա լուրջ աշխատանքներում կամ քննարկումներում նման մոտեցումն անընդունելի է։ Որևէ ապացույցների հիմքի հիմքում ճիշտության սկզբունքներն ենդատողություններ.
Որո՞նք են այս կանոնները: Դրանցից երեքը հայտնաբերվել են հին ժամանակներում Արիստոտելի կողմից. սրանք են հետևողականության սկզբունքը, ինքնության կանոնը և բացառված միջինի օրենքը։ Դարեր անց Լայբնիցը հայտնաբերեց մեկ այլ սկզբունք՝ բավարար պատճառ։ Արիստոտելի նկարագրած ֆորմալ տրամաբանության բոլոր երեք օրենքներն անքակտելիորեն կապված են միմյանց հետ: Եթե մի պահ թույլ տանք, որ մտածելակերպի մի օղակը բացակայում է, ապա մյուսները թղթախաղի պես քանդվում են։
Բացառված միջինի օրենքը կարելի է ամփոփել հետևյալ կերպ՝ «Tertium non datur» կամ «Չկա երրորդը»։ Եթե միևնույն առարկայի (կամ մի շարք առարկաների կամ մի երևույթի) վերաբերյալ երկու հակադիր մաքսիմներ արտահայտենք, ապա մի դատողությունը կհամապատասխանի ճշմարտությանը, իսկ մյուսը՝ ոչ։ Այս հայտարարությունների միջև անհնար է կառուցել որևէ երրորդը, որը կհամադրի երկու հիմնական պնդումները կամ որպես կապող տրամաբանական կամուրջ կծառայի նրանց միջև։ Բացառված երրորդի ամենապարզ օրինակն է «Այս բանը սպիտակ է» և «Այս բանը սպիտակ չէ»: Բայց դա գործում է միայն այն դեպքում, երբ երկու հակադիր մաքսիմներն էլ արտահայտված են նույն բանի, որոշակի ժամանակի և նույն հարաբերությունների մասին:
Բացառված միջինի օրենքը ուժի մեջ է մտնում նույնիսկ այն դեպքում, երբ առկա է հակասական կամ հակասական անհամատեղելիություն A և B դրույթների միջև: Առաջինը հակառակ տեսակետի հայտարարությունն է. Օրինակ՝ «Երկիրը պտտվում է Արեգակի շուրջը» և «Արևը պտտվում է Երկրի շուրջ» դրույթները հակափաստարկներ են։ Հակասական հակասություն է առաջանում, երբ A արտահայտությունը նշվում է, իսկ Բհերքում է որևէ բան՝ «Կրակը տաքանում է» և «Կրակը չի տաքանում»։ Նաև այս հակասությունը տեղի է ունենում առանձին և ընդհանուր դատողությունների միջև, երբ մեկը դրական է, իսկ մյուսը բացասական. «Որոշ ուսանողներ արդեն ունեն դիպլոմներ» և «Ոչ մի ուսանող դիպլոմ չունի»:
Մտածողության, հատկապես գիտական մտածողության համար առաջ են քաշվում հատուկ պահանջներ՝ հետևողականություն, որոշակիության հետևողականություն։ Բացառված միջինի օրենքը մեր տրամաբանական դատողությունների ճշմարտացիության չափանիշն է: Օրինակ, եթե հաստատենք, որ «Աստված ամենալավն է», ապա «Աստված մեղսավորների համար հավերժական դժոխային տանջանք է կազմակերպել» մաքսիմին անիմաստ է։ Եթե մենք պնդում ենք, որ Աստված հավիտենական տանջանքի վայր է ստեղծել որևէ մեկի համար, ապա չենք կարող պնդել, որ Նա Բարի է: Քանի որ Աստված, որպես մեր դատողության առարկա, չի կարող պատկանել հակասական նշաններին, վերը նշված երկու նախադասություններից մեկը ճշմարիտ է, իսկ երկրորդը` կեղծ: Երրորդն այստեղ տրված չէ։
