Kotak logis adalah diagram yang dengan jelas menunjukkan bagaimana penilaian benar dan salah berinteraksi satu sama lain, ketika yang lebih luas mencakup yang lebih sempit. Jika proposisi yang lebih luas itu benar, maka proposisi yang lebih sempit yang termasuk di dalamnya semuanya lebih benar. Sebagai contoh: jika semua orang Yunani ramping, maka orang Yunani yang tinggal di Athena juga ramping. Jika penilaian yang lebih sempit itu salah, maka penilaian yang lebih luas, yang mencakup penilaian yang lebih sempit atau lebih spesifik, akan tidak kurang salah. Pernyataan bahwa semua orang yang beratnya tidak lebih dari 70 kilogram tinggal di Athena adalah salah, yang berarti bahwa lebih luas bahwa semua orang yang langsing tinggal di Yunani juga tidak dapat diandalkan.
Hukum pengucilan dari yang ketiga
Aturan dari kotak logis mudah untuk diingat dan didasarkan pada satu hukum logis yang penting - hukum pengucilan dari yang ketiga: jika penilaian itu benar di satu sisi, maka itu salah di sisi lain dan sebaliknya. Pernyataan bisa benar atau salah, dan karenanya, penolakannya akan benar atau salah. Tidak ada pilihan ketiga lainnya. Pernyataan "Semua mobil berwarna merah" salah. Oleh karena itu, pernyataan "Tidak semua mobil berwarna merah" adalah benar. Dan di sini kata ajaib "beberapa" muncul, yang hampir selalu akan mengubah pernyataan salah menjadi yang benar: "Beberapa mobil berwarna merah."
Kotak dan Salib
Untuk memahami aturan kotak logis dengan telinga, harus juga diingat bahwa logika mesin dari pernyataan di atas disebut subjek, dan merah disebut predikat.
Predikat sebagai atribusi suatu subjek dapat berupa kata kerja atau kualitas. Atau kualitas lain yang melekat pada subjek menggunakan kata kerja "esensi". Itu terlihat seperti kotak yang logis, seperti kotak. Ini tidak mengejutkan. Sudut-sudut alun-alun ditandai dengan huruf A, E, I, O. Tetapi yang sebaliknya adalah E, saya sebagian kompatibel dengan O, saya lebih rendah dari A, dan E mendominasi O. Alun-alun itu dilintasi oleh dua baris kontradiksi. Menggunakan mekanisme kotak, seseorang dapat bekerja dengan penilaian. Alat ini lebih penting bagi penulis lirik daripada fisikawan, fisikawan ketat, dan sebagainya, dan penulis lirik terus-menerus membutuhkan mekanisme untuk memungkinkan mereka mempertanyakan dan memverifikasi kebenaran penilaian mereka. Tentu saja, di dunia kebohongan dan ambiguitas, keindahan kebenaran dan keinginan untuk mencapainya dengan cara apa pun telah hilang, tetapi dalam beberapa kasus (di pengadilan, lalu lintas, dalam pengisian biaya) kebenaran objektif memiliki nilai sendiri.
