Silogisme: Lepas dari Jebakan Fakta Dunia Nyata
Aturan #1: Abaikan Dunia Nyata
Pernahkah kamu membaca soal logika tentang anjing, lalu otakmu otomatis berpikir, "Ya pastilah anjing itu menyusui, kan anjing memang mamalia"? Wajar banget! Fenomena ini punya nama ilmiah: Belief Bias (bias keyakinan).
Di soal silogisme, aturan utamanya adalah abaikan dunia nyata. Premis yang diberikan di soal adalah "hukum mutlak" satu-satunya. Soal ini bukanlah ujian biologi, melainkan tes struktur berpikir logismu di dimensi paralel yang hanya tunduk pada teks.
Taktik paling ampuh buat melepas bias ini adalah dengan mengubah kata benda di soal menjadi variabel abstrak (huruf).
Anjing = A
Mamalia = B
Menyusui = C
Sekarang teksnya jadi: "Semua A adalah B. Beberapa B adalah C." Kalau sudah begini, bias dunia nyatamu tentang anjing akan hilang, dan kamu bisa fokus membedah logikanya murni!
Berdasarkan konsep silogisme, tentukan apakah aturan di bawah ini Benar atau Salah!
- Fakta biologi bahwa anjing memang menyusui boleh dipakai untuk membantu menarik kesimpulan. — Salah
- Mengubah objek menjadi huruf A, B, C berguna untuk meredam 'Belief Bias'. — Benar
Fakta dunia nyata (seperti biologi) harus diabaikan di soal silogisme karena ini murni tes struktur logika teks. Abstraksi jadi huruf bantu menghilangkan bias tersebut.
Dalam silogisme, logika formal berdiri sendiri dan tidak bergantung pada fakta empiris dunia nyata (belief bias).
Membongkar Pola Lewat Analogi
Mari kita bedah pola "Semua A adalah B" dan "Beberapa B adalah C" pakai analogi benda sehari-hari biar otak kita lebih gampang menalarnya.
Bayangkan sebuah garasi besar:
Premis 1: Semua mobil Ferrari (A) adalah mobil sport (B).
Premis 2: Beberapa mobil sport (B) berwarna merah (C).
Apakah dari dua kalimat itu kita bisa pasti bilang bahwa "Semua Ferrari berwarna merah"? Tentu tidak. Memang ada Ferrari yang merah, tapi bisa saja ada yang kuning atau hitam.
Atau pertanyaannya dibalik: Apakah mungkin ada Ferrari yang merah? Sangat mungkin. Tapi, apakah kita bisa memastikan bahwa pasti ada beberapa Ferrari di garasi itu yang merah hanya berbekal informasi tadi? Jawabannya tetap belum tentu. Sifat "berwarna merah" hanya menempel pada "sebagian" mobil sport, dan kita tidak tau apakah bagian merah itu jatuh di kelompok Ferrari atau justru mobil sport merek lain (seperti Lamborghini).
Premis 1: Semua kucing adalah hewan peliharaan. Premis 2: Beberapa hewan peliharaan berbulu putih. Berdasarkan pola analogi garasi tadi, mana kalimat yang paling tepat?
- A. Semua kucing pasti berbulu putih.
- B. Beberapa kucing pasti berbulu putih.
- C. Tidak mungkin ada kucing yang berbulu putih.
- D. Sifat 'berbulu putih' belum tentu dimiliki oleh subset kucing.
Jawaban: D. Sifat 'berbulu putih' belum tentu dimiliki oleh subset kucing.
Sama seperti garasi, sifat 'bulu putih' dari sebagian hewan peliharaan belum tentu menyentuh area spesifik si kucing. Jadi hubungannya tidak mengikat!
Sifat dari sebagian himpunan besar (superset) belum tentu berlaku juga pada subset di dalamnya.
Pembuktian dengan Diagram Himpunan
Kenapa sih kesimpulan mutlak tidak bisa ditarik? Mari kita buktikan secara visual (matematis) pakai Diagram Venn. Logikawan John Venn menciptakan diagram ini di tahun 1880-an justru untuk mengungkap kekeliruan bernalar dengan sangat presisi.
Pemetaan premisnya begini:
Semua A adalah B: Lingkaran A berada sepenuhnya di dalam Lingkaran B.
Beberapa B adalah C: Lingkaran C memotong hanya sebagian dari Lingkaran B.
Di sinilah letak masalahnya. Karena C hanya memotong "sebagian" dari B, ada dua skenario valid yang bisa saja terjadi:
Skenario X: Lingkaran C memotong pinggiran B saja, tanpa menyentuh lingkaran A sama sekali. (Artinya: Tidak ada anjing yang menyusui).
Skenario Y: Lingkaran C menembus agak dalam ke B, sehingga ikut menabrak lingkaran A. (Artinya: Beberapa anjing menyusui).
Mengapa kita secara logika DILARANG menyimpulkan 'Semua A adalah C' atau 'Tidak ada A yang C' dari skema himpunan tadi?
- A. Karena lingkaran A lebih besar dari B.
- B. Karena ada skenario di mana lingkaran C hanya memotong B dan tidak menyentuh A.
- C. Karena lingkaran C selalu terkunci di dalam lingkaran A.
- D. Karena lingkaran B dan C terpisah total dan tidak beririsan.
Jawaban: B. Karena ada skenario di mana lingkaran C hanya memotong B dan tidak menyentuh A.
Karena C bebas memotong bagian mana saja dari B, ia bisa saja menyinggung area kosong B tanpa pernah menyentuh lingkaran A (Skenario X).
Kesimpulan absolut (kemutlakan 100%) batal jika terbukti ada skenario alternatif yang valid secara logika.