Membenarkan Akibat (Affirming The Consequent)

Kata kunci: membenarkan akibat, affirming the consequent, silogisme hipotetik, qiyas istisna'i, mantik, logika proposisional

MEMBENARKAN AKIBAT (AFFIRMING THE CONSEQUENT): KAJIAN VALIDITAS FORMAL SILOGISME HIPOTETIK DALAM PERSPEKTIF LOGIKA MODERN DAN TRADISI MANTIK ISLAM

Mas Irfan Cirebon

Pendahuluan

Penalaran deduktif menempati posisi sentral dalam ilmu matematika maupun dalam metodologi istidlal (pengambilan dalil) dalam tradisi keilmuan Islam. Namun demikian, tidak semua argumen yang tampak koheren secara bahasa memiliki struktur inferensi yang sah. Salah satu kekeliruan yang paling banyak dijumpai—baik dalam ruang kelas matematika, wacana keagamaan populer, maupun perdebatan publik—adalah kesesatan yang dalam literatur logika disebut affirming the consequent, yang dalam bahasa Indonesia lazim diterjemahkan sebagai membenarkan akibat atau menegaskan akibat.

Kesesatan ini menarik untuk dikaji karena kemiripannya yang tinggi dengan modus ponens, sebuah kaidah inferensi yang sepenuhnya sah. Kemiripan inilah yang membuat kesesatan ini licin (deceptive): ia sering lolos dari kritik nalar awam karena "terasa benar," padahal secara struktural cacat. Persoalan ini bukan sekadar problem teknis logika simbolik, melainkan juga problem epistemologis yang oleh ulama mantik klasik telah dipetakan dengan sangat cermat melalui pembahasan qiyās istitsnā'ī (silogisme hipotetik-eksepsional).

Tujuan artikel ini adalah: (1) merumuskan definisi formal kesesatan membenarkan akibat menggunakan notasi logika proposisional; (2) membuktikan ketidaksahihannya secara semantik (tabel nilai kebenaran) dan sintaksis; (3) menelusuri padanan dan pembahasannya dalam tradisi mantik Islam yang otoritatif dan mu'tabar (Ibnu Sina, al-Ghazali, dan tradisi Sullam al-Munawraq di pesantren Nusantara); (4) menyajikan contoh lintas bidang (ekonomi, politik, media, hukum, kesehatan, teknologi) agar pola kesesatan ini mudah dikenali dalam kehidupan nyata; serta (5) menunjukkan relevansi praktisnya baik dalam pembelajaran matematika maupun dalam penalaran keagamaan.

Kerangka Teoretis: Silogisme Hipotetik dan Struktur Inferensinya

2.1 Silogisme Hipotetik dalam Logika Proposisional

Dalam logika proposisional, sebuah pernyataan bersyarat (kondisional) dituliskan sebagai p → q, dibaca "jika p maka q", dengan p disebut antesenden (syarat/muqaddam) dan q disebut konsekuen (akibat/tālī). Dari sebuah premis kondisional, terdapat empat kemungkinan pola argumen yang dapat dibentuk tergantung premis kedua yang ditambahkan:

Struktur (3) di atas adalah objek kajian artikel ini. Polanya tampak sebagai berikut:

Premis mayor: Jika p, maka q.
Premis minor: q (benar/terjadi).
Kesimpulan: Maka p (benar/terjadi).

Contoh konkret:

Jika hari hujan (p), maka jalanan basah (q).
Jalanan basah (q).
Maka, hari hujan (p).

Argumen ini terasa masuk akal, tetapi keliru secara struktural: jalanan bisa basah karena sebab lain—disiram, ada kebocoran pipa, banjir kiriman, dan seterusnya. Kebenaran q tidak pernah dapat menjamin kebenaran p, sebab implikasi p → q hanya menjamin arah dari p menuju q, bukan sebaliknya.

2.2 Pembuktian Formal Ketidaksahihan

a. Pembuktian semantik (tabel nilai kebenaran).

Argumen [(p → q) ∧ q] → p dikatakan valid secara tautologis jika dan hanya jika ia bernilai benar (True) pada seluruh baris kombinasi nilai kebenaran p dan q. Tabel berikut menunjukkan sebaliknya:

Baris ketiga (di mana p salah dan q benar) menghasilkan nilai Salah. Karena terdapat setidaknya satu baris yang membuat premis-premis benar namun kesimpulan salah, maka bentuk argumen ini bukan tautologi, dan karena itu tidak valid secara logis. Inilah bukti definitif bahwa membenarkan akibat adalah kesesatan formal, bukan sekadar kelemahan retoris.

b. Pembuktian sintaksis (mengapa ia tidak dapat diturunkan dari kaidah inferensi standar).

Dalam sistem deduksi natural, dari premis p → q dan q, satu-satunya operasi yang sah adalah Modus Ponendo Ponens yang membutuhkan p sebagai premis (bukan q), atau Modus Tollendo Tollens yang membutuhkan ¬q. Tidak ada kaidah inferensi primitif maupun turunan dalam logika klasik yang memungkinkan penarikan p semata-mata dari p → q dan q. Upaya menariknya hanya mungkin dilakukan secara keliru dengan menganggap p → q setara dengan biconditional p ↔ q—sebuah kekeliruan tersendiri yang disebut illicit conversion (konversi implikasi secara serampangan), yang justru menjadi akar penyebab kesesatan ini.

2.3 Akar Kekeliruan: Konversi Implikasi yang Tidak Sah

Kesesatan membenarkan akibat pada dasarnya bersumber dari kekeliruan yang lebih mendasar, yaitu memperlakukan hubungan implikatif satu arah (p → q) seolah-olah ia adalah hubungan dua arah (p ↔ q). Dalam logika, konversi (p → q menjadi q → p) tidak berlaku secara umum; ia hanya berlaku pada proposisi universal-afirmatif dalam beberapa kondisi khusus yang dibahas secara mendalam dalam bab 'aks (konversi) pada ilmu mantik klasik. Kegagalan membedakan implikasi searah dari kesetaraan dua arah inilah yang menjadi jantung persoalan.

Membenarkan Akibat dalam Tradisi Mantik Islam: Qiyas Istitsna'i

Kajian atas silogisme bersyarat bukanlah monopoli logika modern pasca-Frege maupun tradisi Aristotelian-Barat semata. Ilmuwan mantik dalam peradaban Islam telah mengembangkan pembahasan yang setara—bahkan dalam beberapa hal lebih sistematis dalam penataannya—jauh sebelum formalisasi logika simbolik modern.

3.1 Ibnu Sina dan Silogisme Bersyarat dalam al-Ishārāt wa al-Tanbīhāt

Ibnu Sina (w. 428 H/1037 M) dalam karya besarnya al-Ishārāt wa al-Tanbīhāt mengembangkan secara rinci pembagian qiyās (silogisme) menjadi qiyās iqtirānī (silogisme kategoris konjungtif) dan qiyās istitsnā'ī (silogisme eksepsional/hipotetik). Pada kategori kedua inilah pembahasan proposisi bersyarat (sharṭiyyah) dijabarkan: sebuah premis mayor berbentuk "jika... maka..." (in kāna... kāna...) dipadukan dengan premis minor berupa penegasan atau pengingkaran salah satu unsurnya (muqaddam/antesenden atau tālī/konsekuen), untuk menghasilkan simpulan yang sah maupun tidak sah tergantung struktur yang digunakan. Karya Ibnu Sina ini menjadi rujukan dasar bagi hampir seluruh tradisi mantik pasca-dirinya, termasuk yang berkembang di dunia Sunni tradisional.

3.2 Al-Ghazali dan Kritik atas Kesesatan Silogistik

Imam al-Ghazali (w. 505 H/1111 M), yang dikenal luas justru karena kritiknya terhadap penyalahgunaan filsafat namun sekaligus menegaskan pentingnya kaidah logika sebagai alat bantu berpikir yang netral dan boleh digunakan umat Islam, menulis dua karya penting di bidang ini: Miḥakk al-Naẓar (Batu Uji Penalaran) dan Mi'yār al-'Ilm (Timbangan Ilmu). Dalam Mi'yār al-'Ilm, al-Ghazali menyusun pembahasan tentang qiyās (Kitab al-Qiyas) yang mencakup pembagian jenis-jenis silogisme, termasuk al-sharṭī al-muttaṣil (kondisional konjungtif/bersyarat), dan secara khusus menyediakan pasal tersendiri mengenai mughālaṭāt (kesesatan-kesesatan dalam silogisme) serta faktor-faktor penyebab kekeliruan berpikir (maṭraḥāt al-ghalaṭ). Struktur ini menunjukkan bahwa al-Ghazali secara sadar memasukkan kesesatan bersyarat—termasuk pola yang setara dengan membenarkan akibat—sebagai bagian integral dari kurikulum mantik yang harus dikuasai penuntut ilmu agar tidak tertipu oleh argumen yang tampak valid namun sesungguhnya rapuh (shibh al-dalīl, dalil yang menyerupai dalil sejati). Al-Ghazali menegaskan bahwa penguasaan kaidah-kaidah ini adalah alat (ālah) yang bersifat netral, sama seperti tata bahasa, sehingga mempelajarinya tidak bertentangan dengan akidah, bahkan menjadi prasyarat untuk mengokohkan dalil-dalil syar'i agar tersusun secara burhānī.

3.3 Tradisi Sullam al-Munawraq: Mantik dalam Pendidikan Pesantren Nusantara

Di lingkungan pendidikan Islam tradisional Nusantara—pesantren-pesantren yang berafiliasi pada paham Ahlussunnah wal Jama'ah dalam bidang akidah (Asy'ariyah/Maturidiyah) dan fikih madzhab (umumnya Syafi'iyah)—ilmu mantik diajarkan secara berjenjang melalui matan Sullam al-Munawraq karya Syekh Abdurrahman al-Akhdlori, dilengkapi dengan syarah (penjelasan) yang paling populer, yaitu Īḍāḥ al-Mubham min Ma'ānī al-Sullam karya Syekh Ahmad al-Damanhuri. Dalam bab qiyās istitsnā'ī, kitab ini merumuskan dengan tegas bahwa dari sebuah proposisi bersyarat, hanya dua bentuk istidlal yang menghasilkan kepastian (yaqīn): waḍ'ul muqaddam (menetapkan/menegaskan antesenden, yang menghasilkan penetapan konsekuen—setara modus ponens) dan raf'ut tālī (meniadakan konsekuen, yang menghasilkan peniadaan antesenden—setara modus tollens). Sebaliknya, raf'ul muqaddam (meniadakan antesenden) dan waḍ'ut tālī (menetapkan konsekuen)—yang persis merupakan struktur "membenarkan akibat"—tidak menghasilkan kesimpulan yang niscaya, karena konsekuen (tālī) sebuah proposisi bersyarat dapat pula lahir dari sebab-sebab lain di luar antesenden yang disebutkan.

Fakta ini penting untuk digarisbawahi: pemetaan yang sangat presisi terhadap kesesatan "membenarkan akibat" telah lama menjadi bagian baku kurikulum mantik pesantren, jauh sebelum istilah affirming the consequent populer melalui buku-buku logika berbahasa Inggris. Artinya, kesadaran epistemologis untuk menolak argumen semacam ini bukanlah "impor" asing yang berseberangan dengan tradisi keilmuan Islam, melainkan justru inheren di dalamnya dan diwariskan secara turun-temurun sebagai bagian dari adab al-baḥts wa al-munāẓarah (etika berpikir dan berdebat).

3.4 Sintesis: Kesesuaian Struktural Dua Tradisi

Perbandingan di atas menunjukkan kesesuaian struktural yang tinggi antara logika proposisional modern dan qiyās istitsnā'ī dalam mantik Islam:

Kesesuaian ini menegaskan bahwa validitas argumen bersyarat adalah persoalan struktural universal yang berlaku lintas tradisi dan lintas bahasa simbolik, baik ia dirumuskan dalam notasi p, q ala Frege-Russell, maupun dalam istilah muqaddam-tālī ala mantik Arab klasik.

Contoh: Mengenali Pola Membenarkan Akibat dalam Kehidupan Nyata

Bagian ini dimaksudkan agar pembaca — termasuk yang tidak berlatar belakang logika formal — dapat langsung mengenali pola kesesatan ini ketika muncul dalam bacaan sehari-hari: berita, pidato politik, laporan ekonomi, klaim kesehatan, maupun produk hukum. Diagram berikut merangkum perbandingan strukturalnya sebelum masuk ke contoh per bidang.

Cara membaca setiap contoh di bawah: setiap kasus disusun dalam tabel dengan empat kolom — premis mayor (aturan umum "jika... maka..."), premis minor (fakta yang benar-benar diamati), kesimpulan yang (secara keliru) ditarik, dan mengapa keliru (sebab-sebab alternatif yang diabaikan). Kolom terakhir inilah inti persoalan: selama ada sekurang-kurangnya satu sebab alternatif yang masuk akal bagi q, argumen tersebut sesat.

4.1 Bidang Ekonomi

Mengapa ini penting bagi ekonom/analis: kekeliruan semacam ini sering muncul di kolom opini ekonomi populer, di mana satu indikator makro (misalnya IHSG naik) langsung dikaitkan dengan satu kebijakan tertentu tanpa mengecek jalur kausal lain (sentimen global, aksi korporasi, dsb.).

4.2 Bidang Politik

Catatan etis: pola ini juga sering dipakai secara sengaja sebagai taktik fitnah (bukan sekadar kekeliruan tak sengaja) dalam kontestasi politik — sehingga penting bagi pemilih dan jurnalis untuk mengenalinya guna menghindari opini yang terbentuk dari argumen yang secara struktural cacat.

4.3 Bidang Narasi Berita dan Media

Relevansi literasi media: pola ini adalah salah satu sumber utama clickbait alarmis. Dosen dapat menggunakan contoh ini untuk melatih mahasiswa membaca berita ekonomi/politik secara kritis, memisahkan korelasi dari klaim kausal yang tergesa-gesa.

4.4 Bidang Hukum

4.5 Bidang Kesehatan/Medis

4.6 Bidang Teknologi/Kecerdasan Buatan

4.7 Rangkuman Pola Umum

Dari keenam bidang di atas, pola generiknya selalu sama dan dapat divisualisasikan sebagai berikut:

p → q   (aturan umum: sebab p menghasilkan akibat q)

q       (fakta: akibat q teramati)

-------------------------------------------------------

KELIRU:  ∴ p (akibat q bisa lahir dari p₁, p₂, p₃, ... selain p)

Tabel ringkas berikut memetakan "akibat (q)" pada tiap bidang beserta kemungkinan sebab alternatifnya, agar pola pengecekannya mudah direplikasi:

Relevansi Praktis

5.1 Dalam Pembelajaran Matematika

Kesesatan ini kerap muncul dalam kesalahan pembuktian mahasiswa, misalnya dalam menyimpulkan bahwa karena "jika f terdiferensialkan di x₀ maka f kontinu di x₀" dan diketahui "f kontinu di x₀", maka disimpulkan "f terdiferensialkan di x₀"—padahal fungsi f (x) = |x| di x₀ = 0 adalah kontinu tetapi tidak terdiferensialkan. Contoh ini menunjukkan bahwa kesadaran terhadap kesesatan membenarkan akibat merupakan bekal metodologis mendasar bagi pengajar dan mahasiswa matematika dalam menyusun serta mengevaluasi pembuktian.

5.2 Dalam Penalaran Keagamaan (Istidlal)

Dalam wacana keagamaan populer, kesesatan ini sering muncul dalam bentuk argumen "jika seseorang benar-benar beriman, maka ia akan menunjukkan tanda X; si Fulan menunjukkan tanda X; maka si Fulan pastilah beriman (dengan kualitas tertentu)"—padahal tanda X tersebut bisa lahir dari banyak sebab lain, termasuk kepura-puraan atau kebetulan. Kesadaran atas struktur ini penting agar istidlal keagamaan tetap berpijak pada dalil yang burhānī (apodiktik) dan terhindar dari kesimpulan gegabah yang menghakimi keadaan batin seseorang.

Penutup

Kesesatan membenarkan akibat (affirming the consequent) adalah kekeliruan struktural dalam silogisme hipotetik yang terbukti tidak valid, baik melalui pembuktian semantik (tabel nilai kebenaran) maupun sintaksis (ketiadaan kaidah inferensi yang mendukungnya). Kesesatan ini bersumber dari kekeliruan mendasar dalam memperlakukan implikasi satu arah sebagai kesetaraan dua arah. Penelusuran terhadap tradisi mantik Islam menunjukkan bahwa struktur kesesatan ini telah lama dipetakan secara presisi—melalui konsep qiyās istitsnā'ī dalam karya Ibnu Sina, kritik dan sistematisasi al-Ghazali dalam Mi'yār al-'Ilm, hingga pengajarannya yang berkesinambungan dalam kurikulum pesantren Nusantara melalui Sullam al-Munawraq dan syarahnya. Dengan demikian, kesadaran logis untuk menghindari kesesatan ini bukan sekadar tuntutan metodologi ilmiah modern, melainkan juga bagian yang koheren dari tradisi keilmuan Islam klasik yang menempatkan ketepatan nalar (ṣiḥḥat al-fikr) sebagai prasyarat bagi ketepatan simpulan, baik dalam ranah matematis maupun dalam ranah istidlal keagamaan.

Daftar Pustaka

1. Al-Akhdlori, Abdurrahman. Matn al-Sullam al-Munawraq fi 'Ilm al-Mantiq.
2. Al-Damanhuri, Ahmad ibn 'Abd al-Mun'im. Īḍāḥ al-Mubham min Ma'ānī al-Sullam. Kairo: Dar al-Lu'lu'ah al-Mishriyyah.
3. Al-Ghazali, Abu Hamid Muhammad. Mi'yār al-'Ilm fī Fann al-Manṭiq. Ditahqiq dan diterjemahkan sebagian dalam Winter, Tim (ed.), Al-Ghazali's Mi'yar al-'Ilm, Royal Islamic Strategic Studies Centre (RISSC), Amman.
4. Al-Ghazali, Abu Hamid Muhammad. Miḥakk al-Naẓar fī al-Manṭiq.
5. Ibnu Sina (Avicenna). Al-Ishārāt wa al-Tanbīhāt, bagian Manṭiq.
6. Copi, Irving M., Cohen, Carl, & McMahon, Kenneth. Introduction to Logic. Edisi terbaru. New York: Routledge/Pearson.
7. Mundiri. Logika. Jakarta: RajaGrafindo Persada.
8. ProofWiki. "Affirming the Consequent." Tersedia pada: https://proofwiki.org/wiki/Category:Affirming_the_Consequent

Mas Irfan Cirebon