Undang-undang asas logik boleh disamakan dengan prinsip dan peraturan yang beroperasi secara semula jadi. Walau bagaimanapun, mereka mempunyai spesifik mereka sendiri, sekurang-kurangnya kerana mereka beroperasi bukan di dunia di sekeliling kita, tetapi dalam bidang pemikiran manusia. Tetapi, sebaliknya, prinsip yang diterima pakai dalam logik berbeza daripada norma undang-undang kerana ia tidak boleh dimansuhkan. Mereka objektif dan bertindak bertentangan dengan kehendak kita. Sudah tentu, seseorang tidak boleh berhujah mengikut prinsip ini, tetapi hampir tidak ada yang akan menganggap kesimpulan ini munasabah.
Undang-undang logik adalah tonggak sains, baik semula jadi mahupun manusia. Sekiranya dalam kehidupan seharian seseorang masih boleh menikmati aliran perasaan yang tidak sesuai dengan peraturan untuk pembinaan dan perkembangan pemikiran, seseorang boleh membenarkan jurang logik, maka dalam kerja atau perbincangan yang serius pendekatan sedemikian tidak boleh diterima. Untuk asas mana-mana asas bukti adalah prinsip yang betulpenghakiman.
Apakah peraturan ini? Tiga daripadanya ditemui pada zaman purba oleh Aristotle: ini adalah prinsip ketekalan, peraturan identiti dan undang-undang pertengahan yang dikecualikan. Berabad-abad kemudian, Leibniz menemui satu lagi prinsip - alasan yang mencukupi. Ketiga-tiga undang-undang logik formal yang diterangkan oleh Aristotle adalah berkait rapat. Jika kita biarkan seketika bahawa satu pautan minda hilang, maka yang lain akan hancur seperti sekumpulan kad.
Undang-undang Tengah Terkecuali boleh diringkaskan seperti berikut: "Tertium non datur" atau "Tiada ketiga." Jika kita menyatakan dua maksim yang bertentangan mengenai subjek yang sama (atau beberapa subjek, atau fenomena), maka satu penghakiman akan sesuai dengan kebenaran, dan yang lain tidak. Di antara pernyataan ini, adalah mustahil untuk membina satu pertiga yang akan mendamaikan dua yang utama atau berfungsi sebagai jambatan logik penghubung antara mereka. Contoh paling mudah bagi satu pertiga yang dikecualikan ialah "Benda ini putih" dan "Benda ini bukan putih." Tetapi ia hanya berfungsi apabila kedua-dua maksim yang bertentangan dinyatakan tentang perkara yang sama, tentang masa tertentu dan tentang hubungan yang sama.
Hukum tengah yang dikecualikan mula berkuat kuasa walaupun terdapat ketidakserasian yang bercanggah atau bercanggah antara dalil A dan B. Yang pertama ialah pernyataan dari sudut pandangan yang bertentangan. Sebagai contoh, proposisi "Bumi beredar mengelilingi Matahari" dan "Matahari beredar mengelilingi Bumi" adalah hujah balas. Percanggahan bercanggah berlaku apabila frasa A menyatakan, dan Bmenafikan apa-apa: "Api menghangatkan" dan "Api tidak menghangatkan." Selain itu, percanggahan ini berlaku antara pertimbangan khusus dan umum, apabila satu positif dan satu lagi negatif: "Sesetengah pelajar sudah mempunyai diploma" dan "Tiada pelajar mempunyai diploma."
Keperluan khas dikemukakan untuk berfikir, terutamanya pemikiran saintifik: konsistensi, konsistensi kepastian. Undang-undang Tengah Terkecuali ialah ukuran kebenaran penaakulan logik kita. Sebagai contoh, jika kita menegaskan bahawa "Tuhan itu Maha Baik", maka pepatah "Tuhan mengatur siksaan neraka yang kekal untuk orang berdosa" adalah tidak bermakna. Jika kita mendakwa bahawa Tuhan mencipta tempat siksaan yang kekal untuk sesiapa sahaja, maka kita tidak boleh mendakwa bahawa Dia adalah Baik. Oleh kerana Tuhan, sebagai objek pemikiran kita, tidak boleh tergolong dalam tanda-tanda yang bertentangan, salah satu daripada dua ayat di atas adalah benar, manakala yang kedua adalah palsu. Yang ketiga tidak diberikan di sini.
