Sheria za kimsingi za mantiki zinaweza kulinganishwa na kanuni na kanuni zinazofanya kazi katika asili. Walakini, wana maelezo yao wenyewe, angalau kwa kuwa hawafanyi kazi katika ulimwengu unaotuzunguka, lakini katika ndege ya mawazo ya mwanadamu. Lakini, kwa upande mwingine, kanuni zilizopitishwa katika mantiki hutofautiana na kanuni za kisheria kwa kuwa haziwezi kufutwa. Wao ni lengo na kutenda kinyume na mapenzi yetu. Bila shaka, mtu hawezi kubishana kulingana na kanuni hizi, lakini basi hakuna mtu atakayezingatia hitimisho hili kuwa sawa.
Sheria ya kimantiki ndiyo nguzo ya sayansi, asilia na binadamu. Ikiwa katika maisha ya kila siku mtu bado anaweza kujiingiza katika mkondo wa hisia ambazo haziendani na sheria za ujenzi na maendeleo ya mawazo, mtu anaweza kuruhusu mapungufu ya mantiki, basi katika kazi kubwa au majadiliano njia hiyo haikubaliki. Kwa maana msingi wa msingi wowote wa ushahidi ni kanuni za sahihihukumu.
Sheria hizi ni zipi? Tatu kati yao ziligunduliwa katika nyakati za zamani na Aristotle: hizi ni kanuni ya uthabiti, kanuni ya utambulisho na sheria ya katikati iliyotengwa. Karne nyingi baadaye, Leibniz aligundua kanuni nyingine - sababu ya kutosha. Sheria zote tatu za mantiki rasmi zilizoelezewa na Aristotle zimeunganishwa bila kutenganishwa. Tukiruhusu kwa muda kiungo kimoja cha mawazo kukosa, basi vingine vitasambaratika kama nyumba ya kadi.
Sheria ya Waliotengwa Katikati inaweza kufupishwa kama ifuatavyo: "Tertium non datur" au "Hakuna wa tatu." Ikiwa tutatoa kanuni mbili zinazopingana kuhusu somo moja (au idadi ya masomo, au jambo fulani), basi hukumu moja italingana na ukweli, na nyingine haitalingana. Kati ya taarifa hizi, haiwezekani kuunda moja ya tatu ambayo inaweza kupatanisha zile kuu mbili au kutumika kama daraja la kimantiki linalounganisha kati yao. Mfano rahisi zaidi wa theluthi iliyotengwa ni "Jambo hili ni jeupe" na "Jambo hili si jeupe." Lakini inafanya kazi tu wakati kanuni zote mbili pinzani zilitolewa kuhusu kitu kimoja, kuhusu muda fulani na kuhusu uhusiano sawa.
Sheria ya sehemu ya kati iliyotengwa huanza kutumika hata wakati kuna kutopatana kinzani au kinzani kati ya mapendekezo A na B. Ya kwanza ni kauli ya mtazamo kinyume. Kwa mfano, pendekezo "Dunia huzunguka Jua" na "Jua huzunguka Dunia" ni hoja zinazopingana. Ukinzani kinzani hutokea wakati kifungu A kinaposema, na Banakanusha chochote: "Moto huwasha" na "Moto hauna joto." Pia, mkanganyiko huu hutokea kati ya uamuzi mahususi na wa jumla, wakati moja ni chanya na nyingine ni mbaya: “Baadhi ya wanafunzi tayari wana diploma” na “Hakuna mwanafunzi aliye na diploma.”
Mahitaji maalum huwekwa mbele kwa ajili ya kufikiri, hasa kufikiri kisayansi: uthabiti, uthabiti wa uhakika. Sheria ya Waliotengwa Katikati ndiyo kipimo cha ukweli wa hoja zetu za kimantiki. Kwa mfano, ikiwa tunathibitisha kwamba “Mungu ni Mwema”, basi msemo “Mungu alipanga mateso ya milele ya kuzimu kwa ajili ya wenye dhambi” hauna maana yoyote. Ikiwa tunadai kwamba Mungu aliumba mahali pa mateso ya milele kwa yeyote, basi hatuwezi kudai kwamba Yeye ni Mwema. Kwa kuwa Mungu, kama mlengwa wa mawazo yetu, hawezi kuwa wa ishara zinazopingana, moja ya sentensi mbili hapo juu ni kweli, na ya pili ni ya uwongo. Ya tatu haijatolewa hapa.
