Silogisme: Menarik Kesimpulan Tanpa Menambah Asumsi

Ringkasan

Silogisme menilai kesimpulan yang pasti mengikuti premis, bukan kesimpulan yang sekadar mungkin atau cocok dengan pengetahuan sehari-hari. Perlakukan semua informasi dalam soal sebagai batas yang harus dipatuhi, lalu jangan menambahkan fakta dari luar. Jika premis menyebut semua anggota kelompok A berada dalam kelompok B, itu belum berarti semua B adalah A. Jika disebut sebagian, jumlahnya sekurang-kurangnya satu, tetapi tidak otomatis lebih dari satu.

Dua bentuk yang sering muncul ialah pernyataan kategoris dan pernyataan bersyarat. Pernyataan kategoris membahas kelompok: semua A adalah B, tidak ada A yang B, atau sebagian A adalah B. Pernyataan bersyarat berbentuk jika P maka Q. Mengubahnya menjadi diagram himpunan atau simbol sederhana membantu menyingkirkan jebakan bahasa, terutama pembalikan sebab-akibat dan klaim universal yang terlalu luas.

Pola/rumus kunci

• Semua A adalah B: A termasuk di dalam B. Jika semua analis teliti dan Rina analis, simpulkan Rina teliti; jangan simpulkan semua yang teliti adalah analis.
• Tidak ada A yang B: kedua kelompok tidak beririsan. Jika semua formulir X termasuk A, maka tidak satu pun formulir X termasuk B.
• Sebagian A adalah B: ada minimal satu anggota yang sekaligus A dan B. Kesimpulan aman hanya mempertahankan anggota bersama itu; tidak boleh mengganti sebagian menjadi semua.
• Sebagian A bukan B: ada minimal satu anggota A di luar B. Ini tidak menyatakan bahwa seluruh A berada di luar B.
• Modus ponens: Jika P maka Q; P benar; jadi Q benar. Simbol: P → Q, P, maka Q.
• Modus tollens: Jika P maka Q; Q tidak terjadi; maka P tidak terjadi. Simbol: P → Q, bukan Q, maka bukan P.
• Kesalahan membalik implikasi: Dari P → Q dan Q, P belum tentu benar. Q mungkin punya sebab lain. Dari P → Q dan bukan P, bukan Q juga tidak mengikuti.
• Rantai himpunan: Semua A adalah B dan semua B adalah C menghasilkan semua A adalah C. Arah panah tetap A → B → C.

Untuk memeriksa kesimpulan, ubah kalimat menjadi panah atau lingkaran kelompok. Uji apakah ada keadaan yang membuat semua premis benar tetapi kesimpulan salah. Jika keadaan seperti itu mungkin, kesimpulan tidak sah. Jika tidak mungkin, kesimpulan mengikuti. Cara ini lebih aman daripada menilai apakah pernyataannya terdengar benar di dunia nyata.

Contoh cepat

Contoh kategoris: “Semua arsip digital dapat dicari dengan indeks. Semua laporan yang dipindai disimpan sebagai arsip digital.” Maka semua laporan yang dipindai dapat dicari dengan indeks. Hubungan rantainya ialah laporan pindai → arsip digital → dapat dicari. Kesimpulan tidak boleh diperluas menjadi “semua arsip digital adalah laporan pindai”, karena panah tidak dapat dibalik.

Contoh bersyarat: “Jika berkas lengkap, berkas diverifikasi. Berkas Nusa tidak diverifikasi.” Bentuknya P → Q dan bukan Q, jadi bukan P: berkas Nusa tidak lengkap. Sebaliknya, bila berkas diverifikasi, kita tidak dapat memastikan berkas lengkap; mungkin ada alasan lain berkas itu diverifikasi. Perhatikan bahwa kesimpulan valid ditentukan oleh bentuk logis, bukan oleh dugaan tentang prosedur kantor.

Contoh dengan sebagian: “Sebagian relawan adalah penerjemah. Semua penerjemah memahami dua bahasa.” Anggota yang merupakan relawan sekaligus penerjemah itu pasti memahami dua bahasa, sehingga sebagian relawan memahami dua bahasa. Kita tidak boleh mengatakan semua relawan memahami dua bahasa, sebab premis hanya menjamin sebagian menjadi penerjemah.

Tips ujian

Tandai kata kuantor seperti semua, tidak satu pun, sebagian, dan beberapa. Untuk kalimat bersyarat, tulis P → Q, lalu cocokkan premis kedua. Kunci yang sah biasanya mengikuti arah panah; opsi yang membalik arah sering menjadi pengecoh.

Pisahkan premis dari pilihan kesimpulan sebelum membaca opsi. Tulis hubungan dengan singkatan satu huruf, misalnya A → B dan B → C, agar rantai terlihat. Jika ada kata “sebagian”, lingkari kelompok yang bertemu dan ikuti hanya individu yang dijamin ada. Setelah menemukan kesimpulan, periksa opsi yang mengatakan “mungkin”; soal lazim meminta yang mesti benar, bukan yang dapat benar. Sisihkan sekitar satu menit untuk tiap soal dan jangan habiskan waktu membayangkan kasus nyata yang tidak ada dalam premis.

Jebakan umum

• Membalik arah semua: semua dokter tenaga kesehatan tidak berarti semua tenaga kesehatan dokter.
• Menegaskan akibat: P → Q dan Q tidak membuktikan P; akibat dapat muncul lewat jalur lain.
• Meniadakan sebab: P → Q dan bukan P tidak membuktikan bukan Q.
• Memperluas sebagian: sebagian A adalah B bukan berarti semua A adalah B atau sebagian A bukan B.
• Menyisipkan fakta dunia nyata: nama pekerjaan atau benda tidak memberi hak untuk menambah sifat yang tidak disebut.
• Mencampur “tidak semua” dengan “tidak satu pun”: “tidak semua A B” hanya memastikan setidaknya ada A yang bukan B.
• Menyamakan sah dan benar faktual: bentuk inferensi bisa sah walau premisnya tidak benar; soal menilai apa yang mengikuti premis.

Jika diagram lingkaran terasa rumit, fokuslah pada arti panah dan bukti keberadaan. Pernyataan “semua A adalah B” hanya mengurung A di dalam B; ia tidak menjamin bahwa B punya anggota A kecuali ada premis tambahan. Pernyataan “sebagian A adalah B” justru menjamin setidaknya satu titik persekutuan. Mengetahui perbedaan ini mencegah kesimpulan tentang keberadaan kelompok yang belum terbukti.

Latihan mini 2 soal dengan kunci

1. Jika P maka Q. P benar. Apa yang pasti? Kunci: Q benar (modus ponens).
2. Semua editor teliti. Sebagian pegawai adalah editor. Apa yang pasti? Kunci: sebagian pegawai teliti. Individu pegawai yang merupakan editor termasuk kelompok teliti.