Ang mga pangunahing batas ng lohika ay maihahalintulad sa mga prinsipyo at tuntuning kumikilos sa kalikasan. Gayunpaman, mayroon silang sariling mga detalye, hindi bababa sa nagpapatakbo sila hindi sa mundo sa paligid natin, ngunit sa eroplano ng pag-iisip ng tao. Ngunit, sa kabilang banda, ang mga prinsipyong pinagtibay sa lohika ay naiiba sa mga legal na kaugalian dahil hindi sila maaaring pawalang-bisa. Layunin sila at kumikilos laban sa ating kalooban. Siyempre, hindi maaaring makipagtalo ayon sa mga prinsipyong ito, ngunit halos walang sinuman ang magtuturing na makatwiran ang mga konklusyong ito.
Ang lohikal na batas ay ang haligi ng agham, parehong natural at tao. Kung sa pang-araw-araw na buhay ang isang tao ay maaari pa ring magpakasawa sa isang stream ng mga damdamin na hindi tugma sa mga patakaran para sa pagbuo at pag-unlad ng pag-iisip, ang isa ay maaaring pahintulutan ang mga lohikal na puwang, kung gayon sa mga seryosong gawa o talakayan ang gayong diskarte ay hindi katanggap-tanggap. Para sa pundasyon ng anumang base ng ebidensya ay ang mga prinsipyo ng tamamga paghatol.
Ano ang mga panuntunang ito? Tatlo sa kanila ang natuklasan noong sinaunang panahon ni Aristotle: ito ang prinsipyo ng pagkakapare-pareho, ang panuntunan ng pagkakakilanlan at ang batas ng hindi kasama sa gitna. Pagkalipas ng mga siglo, natuklasan ni Leibniz ang isa pang prinsipyo - sapat na dahilan. Ang lahat ng tatlong batas ng pormal na lohika na inilarawan ni Aristotle ay magkakaugnay. Kung hahayaan natin sandali na nawawala ang isang link ng mindset, ang iba ay magwawala na parang isang bahay ng mga baraha.
Ang Batas ng Ibinukod sa Gitna ay maaaring buod tulad ng sumusunod: "Tertium non datur" o "Walang pangatlo." Kung nagpapahayag tayo ng dalawang magkasalungat na kasabihan tungkol sa parehong paksa (o isang bilang ng mga paksa, o isang kababalaghan), kung gayon ang isang paghatol ay tumutugma sa katotohanan, at ang isa ay hindi. Sa pagitan ng mga pahayag na ito, imposibleng bumuo ng isang pangatlo na magkakasundo sa dalawang pangunahing mga pahayag o magsisilbing isang lohikal na tulay sa pagitan nila. Ang pinakasimpleng halimbawa ng ibinukod na pangatlo ay "Ang bagay na ito ay puti" at "Ang bagay na ito ay hindi puti." Ngunit ito ay gumagana lamang kapag ang magkasalungat na kasabihan ay ipinahayag tungkol sa parehong bagay, tungkol sa isang partikular na oras at tungkol sa parehong relasyon.
Ang batas ng ibinukod na gitna ay magkakabisa kahit na may magkasalungat o magkasalungat na hindi pagkakatugma sa pagitan ng mga proposisyon A at B. Ang una ay ang pahayag ng kabaligtaran na pananaw. Halimbawa, ang mga proposisyong "Ang Lupa ay umiikot sa Araw" at "Ang Araw ay umiikot sa Lupa" ay mga kontraargumento. Ang isang kontradiksyon na kontradiksyon ay nangyayari kapag ang pariralang A ay nagsasaad, at Btinatanggihan ang anuman: "Nagpapainit ang apoy" at "Ang apoy ay hindi umiinit." Gayundin, ang kontradiksyon na ito ay nangyayari sa pagitan ng partikular at pangkalahatang mga paghatol, kapag ang isa ay positibo at ang isa ay negatibo: "May mga estudyante nang may diploma" at "Walang mag-aaral na may diploma."
Ang mga espesyal na kinakailangan ay iniharap para sa pag-iisip, lalo na sa siyentipikong pag-iisip: pagkakapare-pareho, pagkakapare-pareho ng katiyakan. Ang Batas ng Ibinukod sa Gitna ay ang sukatan ng katotohanan ng ating lohikal na pangangatwiran. Halimbawa, kung pinagtitibay natin na "Ang Diyos ay Mabuti sa Lahat", kung gayon ang kasabihan na "Inayos ng Diyos ang walang hanggang impiyernong pagdurusa para sa mga makasalanan" ay walang kahulugan. Kung sinasabi nating nilikha ng Diyos ang isang lugar ng walang hanggang pagdurusa para sa sinuman, kung gayon hindi natin masasabing Siya ay Mabuti. Dahil ang Diyos, bilang layunin ng ating pangangatwiran, ay hindi maaaring kabilang sa magkasalungat na mga palatandaan, ang isa sa dalawang pangungusap sa itaas ay totoo, habang ang pangalawa ay mali. Ang pangatlo ay hindi ibinigay dito.
