Petak logik ialah gambar rajah yang menunjukkan dengan jelas cara penghakiman benar dan salah berinteraksi antara satu sama lain apabila yang lebih luas termasuk yang lebih sempit. Jika dalil yang lebih luas adalah benar, maka dalil yang lebih sempit yang termasuk di dalamnya adalah lebih benar. Sebagai contoh: jika semua orang Yunani langsing, maka orang Yunani yang tinggal di Athens juga langsing. Jika proposisi yang lebih sempit adalah palsu, maka proposisi yang luas, yang termasuk proposisi yang lebih sempit atau lebih khusus, juga tidak kurang palsu. Pernyataan bahawa semua orang yang mempunyai berat tidak lebih daripada 70 kilogram tinggal di Athens adalah palsu, yang bermaksud bahawa kenyataan yang lebih luas bahawa semua orang kurus tinggal di Greece juga tidak boleh dipercayai.
Undang-undang pengecualian yang ketiga
Peraturan petak logik mudah diingati dan berdasarkan satu undang-undang logik yang penting - undang-undang pengecualian yang ketiga: jika penghakiman adalah benar di satu pihak, maka ia adalah palsu di pihak yang lain dan sebaliknya. Pernyataan boleh sama ada benar atau salah, dan, sewajarnya, benar ataupenafiannya adalah palsu. Tiada pilihan ketiga yang lain. Pernyataan "Semua kereta berwarna merah" adalah palsu. Jadi kenyataan "Tidak semua kereta berwarna merah" adalah benar. Dan inilah perkataan ajaib "beberapa", yang hampir selalu menukar pernyataan palsu menjadi benar: "Sesetengah kereta berwarna merah."
Segi empat dan salib
Untuk mempelajari peraturan segi empat sama logik, anda juga harus ingat bahawa logik mesin daripada pernyataan di atas dipanggil subjek, dan kemerahan dipanggil predikat. Predikat sebagai atribusi subjek boleh menjadi kata kerja atau kualiti. Atau beberapa kualiti lain yang dilampirkan pada subjek menggunakan kata kerja penghubung "esensi". Petak logik kelihatan seperti petak. Ini tidak menghairankan. Sudut segi empat sama ditandakan A, E, I, O. A bertentangan dengan E, I serasi sebahagiannya dengan O, I adalah bawahan A, dan E mendominasi O. Petak itu dilintasi oleh dua garis percanggahan. Menggunakan mekanik segi empat sama, anda boleh bekerja dengan pertimbangan. Alat ini lebih penting kepada penulis lirik daripada ahli fizik, ahli fizik sudah pun tegas, dan penulis lirik sentiasa memerlukan mekanisme yang membolehkan mereka mempersoalkan dan mengesahkan kebenaran pertimbangan mereka. Sudah tentu, dalam dunia pembohongan dan kekaburan, keindahan kebenaran dan keinginan untuk mencapainya pada apa jua kos agak hilang, tetapi dalam beberapa kes (di mahkamah, dalam lalu lintas, dalam mengenakan tampalan), kebenaran objektif mempunyai sendiri. nilai.
Petak dalam sejarah
Logik sebagai sains diasaskan oleh orang Yunani kuno. Mereka sangat suka bertengkar, dan orang yang bertengkar selalu marah jika pihak lawan salah. Undang-undang logik dicipta oleh orang Yunani untuk menerangkan dengan jelas kepada pihak lawan bahawa dia salah.
Petak logik telah dicipta dan digunakan oleh ahli falsafah Yunani Michael Psellus pada abad ke-11, lebih lewat daripada masa Socrates mencipta skolastikisme. Jelas sekali bahawa untuk beberapa waktu orang Yunani tidak memerlukan konsep kebenaran mutlak, dan hanya pada masa kejelasan sejagat barulah kuasa dua logik dicipta. Contoh-contoh yang biasanya diberikan dalam huraian skemanya hampir semuanya berdasarkan logik Aristotelian, tetapi mengandungi generalisasi Byzantine yang elegan.
