Логиканын негизги мыйзамдарын табиятта иштеген принциптерге жана эрежелерге салыштырууга болот. Бирок, алардын өз өзгөчөлүктөрү бар, жок эле дегенде, алар бизди курчап турган дүйнөдө эмес, адамдын ой жүгүртүү тегиздигинде иштешет. Бирок, экинчи жагынан, логикада кабыл алынган принциптер укуктук нормалардан айырмаланып, аларды жокко чыгарууга болбойт. Алар объективдүү жана биздин эркине каршы аракеттенишет. Албетте, бул принциптер боюнча талашып-тартышууга болбойт, бирок анда эч ким бул тыянактарды жөндүү деп эсептебейт.
Логикалык мыйзам табигый жана адамдык илимдин тиреги. Эгерде күнүмдүк турмушта дагы эле ойду куруунун жана өнүктүрүүнүн эрежелерине туура келбеген сезимдердин агымына берилип кетсе, логикалык боштуктарга жол берилсе, олуттуу чыгармаларда же талкууларда мындай мамилеге жол берилбейт. Анткени ар кандай далилдердин негизин туура принциптер түзөтөкүмдөр.
Бул кандай эрежелер? Алардын үчөөнү байыркы убакта Аристотель ачкан: булар ырааттуулук принциби, иденттүүлүктүн эрежеси жана четтетилген ортонун мыйзамы. Кылымдар өткөндөн кийин Лейбниц дагы бир принципти ачкан - жетиштүү себеп. Аристотель сүрөттөгөн формалдуу логиканын үч мыйзамы тең бири-бири менен тыгыз байланышта. Эгер биз акыл-эстин бир шилтемеси жок экенине бир азга жол берсек, калгандары карталардын үйүндөй ыдырап кетет.
Чыгарылган Орто Мыйзамды төмөнкүчө чагылдырууга болот: "Tertium non datur" же "Үчүнчүсү жок." Эгерде бир эле предметке (же бир нече предметтерге, же бир кубулушка) карата эки карама-каршы максимды билдирсек, анда бир өкүм чындыкка дал келет, экинчиси туура келбейт. Бул сөздөрдүн ортосунда эки негизгини айкалыштыра турган же алардын ортосундагы байланыштыруучу логикалык көпүрө боло турган үчүнчүсүн куруу мүмкүн эмес. Чыгарылган үчүнчүнүн эң жөнөкөй мисалы "Бул нерсе ак" жана "Бул нерсе ак эмес". Бирок ал эки карама-каршы максим бир эле нерсе, белгилүү бир убакыт жана бирдей мамиле жөнүндө айтылганда гана иштейт.
Чыгарылган ортонун мыйзамы А жана В сунуштарынын ортосунда карама-каршы же карама-каршы келишпестик болгондо да күчүнө кирет. Биринчиси - карама-каршы көз караштын билдирүүсү. Мисалы, «Жер Күндү айланат» жана «Күн Жерди айланат» деген жоболор контраргумент болуп саналат. Карама-каршы карама-каршылык А сөз айкашында, ал эми Бэч нерсени четке кагат: "От жылыйт" жана "От жылыбайт". Ошондой эле, бул карама-каршылык бири оң, экинчиси терс болгон өзгөчө жана жалпы пикирлердин ортосунда пайда болот: "Кээ бир студенттердин диплому бар" жана "Бир дагы студенттин диплому жок"
Ойлоого, өзгөчө илимий ой жүгүртүүгө өзгөчө талаптар коюлат: ырааттуулук, ырааттуулук. Четтетилген Орто Мыйзам биздин логикалык ой жүгүртүүбүздүн чындыгынын өлчөмү болуп саналат. Мисалы, эгер биз «Аллах Таала жакшы» деп ырастай турган болсок, анда «Кудай күнөөкөрлөргө түбөлүк тозок азабын тартуулады» деген сөздүн мааниси жок. Эгер Аллах кимдир бирөө үчүн түбөлүк азап жайын жаратты десек, анда аны Жакшы деп айта албайбыз. Кудай биздин ой жүгүртүүбүздүн объектиси катары карама-каршы белгилерге таандык боло албагандыктан, жогорудагы эки сүйлөмдүн бири туура, экинчиси жалган. Үчүнчүсү бул жерде берилген эмес.
