Hukum logika dasar dapat disamakan dengan prinsip dan aturan yang bekerja di alam. Namun, mereka memiliki kekhasan mereka sendiri, setidaknya karena mereka tidak beroperasi di dunia di sekitar kita, tetapi di bidang pemikiran manusia. Tetapi, di sisi lain, prinsip-prinsip yang dianut dalam logika berbeda dengan norma-norma hukum karena tidak dapat dicabut. Mereka objektif dan bertindak bertentangan dengan keinginan kita. Tentu saja, seseorang tidak dapat berdebat menurut prinsip-prinsip ini, tetapi kemudian hampir tidak ada orang yang menganggap kesimpulan ini masuk akal.
Hukum logika adalah pilar ilmu pengetahuan, baik alam maupun manusia. Jika dalam kehidupan sehari-hari seseorang masih dapat menikmati aliran perasaan yang tidak sesuai dengan aturan untuk konstruksi dan pengembangan pemikiran, seseorang dapat membiarkan kesenjangan logis, maka dalam pekerjaan atau diskusi yang serius pendekatan seperti itu tidak dapat diterima. Karena dasar dari setiap basis bukti adalah prinsip-prinsip yang benarpenilaian.
Apa aturan ini? Tiga di antaranya ditemukan pada zaman kuno oleh Aristoteles: ini adalah prinsip konsistensi, aturan identitas dan hukum tengah yang dikecualikan. Berabad-abad kemudian, Leibniz menemukan prinsip lain - alasan yang cukup. Ketiga hukum logika formal yang dijelaskan oleh Aristoteles terkait erat. Jika kita membiarkan sejenak salah satu mata rantai itu hilang, maka yang lain akan berantakan seperti rumah kartu.
Hukum Pengecualian Tengah dapat diringkas sebagai berikut: "Tertium non datur" atau "Tidak ada yang ketiga." Jika kita mengungkapkan dua maksim yang berlawanan mengenai subjek yang sama (atau sejumlah subjek, atau fenomena), maka satu penilaian akan sesuai dengan kebenaran, dan yang lainnya tidak. Di antara pernyataan-pernyataan ini, tidak mungkin untuk membangun yang ketiga yang akan mendamaikan dua yang utama atau berfungsi sebagai jembatan logis penghubung di antara mereka. Contoh paling sederhana dari sepertiga yang dikecualikan adalah "Benda ini putih" dan "Benda ini tidak putih." Tapi itu hanya berhasil ketika kedua maksim yang berlawanan diungkapkan tentang hal yang sama, tentang waktu tertentu dan tentang hubungan yang sama.
Hukum bagian tengah yang dikecualikan mulai berlaku bahkan ketika ada ketidaksesuaian yang kontradiktif atau kontradiktif antara proposisi A dan B. Yang pertama adalah pernyataan dari sudut pandang yang berlawanan. Misalnya, proposisi "Bumi berputar mengelilingi Matahari" dan "Matahari berputar mengelilingi Bumi" adalah argumen tandingan. Kontradiksi kontradiktif terjadi ketika frasa A menyatakan, dan Bmenyangkal apa pun: "Api menghangat" dan "Api tidak menghangatkan." Juga, kontradiksi ini terjadi antara penilaian khusus dan umum, ketika yang satu positif dan yang lainnya negatif: “Beberapa siswa sudah memiliki ijazah” dan “Tidak ada siswa yang memiliki ijazah.”
Persyaratan khusus yang dikedepankan untuk berpikir, khususnya berpikir ilmiah: konsistensi, konsistensi kepastian. Hukum Tengah yang Dikecualikan adalah ukuran kebenaran penalaran logis kita. Misalnya, jika kita menegaskan bahwa “Tuhan itu Maha Baik”, maka pepatah “Tuhan mengatur siksaan neraka yang kekal bagi orang-orang berdosa” tidak ada artinya. Jika kita mengklaim bahwa Tuhan menciptakan tempat siksaan abadi bagi siapa pun, maka kita tidak dapat mengklaim bahwa Dia Baik. Karena Tuhan, sebagai objek penalaran kita, tidak mungkin termasuk dalam tanda-tanda yang kontradiktif, salah satu dari dua kalimat di atas adalah benar, sedangkan yang kedua salah. Yang ketiga tidak diberikan di sini.
