﷽يَا أَيُّهَا النَّاسMuslim & Islamic Archive
🧪 Lab Tadabbur / baqarah-2-111

Hātū burhānakum — beban bukti ada pada pengklaim

📼 v1🕵️ Menunggu tinjauan ahli
📖 Teks Qur'an: Terverifikasi📚 Makna/Tafsir: Bersumber🧪 Analogi Rekayasa: Draft — Menunggu Reviewer

Angan-angan bukan bukti; klaim eksklusif harus membawa burhan

Lapis 1 — Ayat & makna bersumber

وَقَالُوا۟ لَن يَدْخُلَ ٱلْجَنَّةَ إِلَّا مَن كَانَ هُودًا أَوْ نَصَـٰرَىٰ ۗ تِلْكَ أَمَانِيُّهُمْ ۗ قُلْ هَاتُوا۟ بُرْهَـٰنَكُمْ إِن كُنتُمْ صَـٰدِقِينَ (2:111)

Dan mereka (Yahudi dan Nasrani) berkata: "Sekali-kali tidak akan masuk surga kecuali orang-orang (yang beragama) Yahudi atau Nasrani". Demikian itu (hanya) angan-angan mereka yang kosong belaka. Katakanlah: "Tunjukkanlah bukti kebenaranmu jika kamu adalah orang yang benar".

#e01f10b19bc96d17b8497c19…
Makna bersumber (ringkas)

Ahli Kitab (Yahudi & Nasrani) masing-masing mengklaim hanya golongannya yang masuk surga. Allah menyebut anggapan itu sekadar angan-angan (amāniyy) yang timbul dari khayalan, lalu memerintahkan: 'Tunjukkanlah bukti kebenaranmu (hātū burhānakum) jika kamu memang benar.' Klaim tanpa bukti ditolak — beban pembuktian diletakkan pada pihak yang mengklaim.

Sumber: Tafsir Kemenag QS 2:111 (via panel Tafsir app ini) · Tafsir Jalalain QS 2:111 — makna lengkap: mode 🔍 Identitas → tab Tafsir.
Lapis 2 — Interpretasi rekayasa 🧪(analogi struktural — bukan tafsir)
🔍 Inferensi & Epistemologionus probandi — claimant bears the burden☪ burhān

Ini kaidah burden of proof yang eksplisit: beban bukti ada pada yang menegaskan (al-bayyinatu ʿalā man iddaʿā). Assertion tanpa evidence tidak menambah bobot epistemik apa pun — angan-angan dan kebenaran dibedakan justru oleh ada/tidaknya burhan.

🧩 Logika Programassertion requires a proof precondition

Strukturnya assert-with-proof: sebuah klaim baru diterima bila disertai token bukti yang bisa dicek. IF claim.proof == null THEN reject. Prasyarat (precondition) tak terpenuhi → pernyataan gagal masuk, bukan lolos diam-diam.

💻 Komputasionalproof-carrying / verifiable credentials☪ burhān

Model klaim-terverifikasi: seperti verifiable credential / proof-carrying data — pengklaim wajib melampirkan 'witness' yang dapat divalidasi pihak lain secara independen. Yang bernilai bukan pernyataannya, melainkan bukti yang menyertainya dan lolos pemeriksaan.

⚙️ Algoritma & Metodeprover–verifier protocol; accept iff proof checks

Pemisahan peran prover vs verifier: pengklaim (prover) mengajukan burhan, sistem (verifier) menerima HANYA jika verify(proof) == true. Verifier tidak memihak identitas pengklaim; ia memihak bukti. Interaksi berhenti tanpa bukti yang sahih.

📐 Matematika & Fisikano evidence → no belief update

Dalam bahasa Bayesian: amāniyy adalah prior tanpa likelihood — harapan tanpa data. Tanpa bukti (evidence) yang mengangkat likelihood, posterior tidak boleh bergerak. 'Datangkan burhan' = tuntutan agar keyakinan diperbarui oleh data, bukan oleh keinginan.

🕸️ Sistem & Organisasizhann→burhan gate; provenance-required

Persis semangat Eval-Gate aplikasi ini: klaim eksklusif ('hanya kami yang selamat') diperlakukan sebagai zhann sampai burhan masuk. Gerbang menahan klaim di depan basis keputusan — provenance wajib, tak ada klaim yatim yang lolos.

🤖 AI & Agenticrequire citation before assert; block ungrounded claims☪ burhān

Aturan operasional untuk agen: setiap klaim faktual yang dikeluarkan WAJIB membawa evidence-handle (sitasi/sumber terambil) sebelum di-assert; klaim tanpa grounding ditandai unverified dan tidak boleh menggerakkan aksi. 'Hātū burhānakum' = require-citation-before-assert — dalil langsung anti-halusinasi.

🧠 Psikologi & Jiwa☪ amāniyy

Ayat menamai patologinya: motivated reasoning / wishful thinking — mengira harapan (surga hanya untuk kami) sebagai fakta. Angan-angan terasa seperti pengetahuan dari dalam, maka dibutuhkan uji bukti eksternal untuk memisahkannya.

🤲 Amal / Perbuatan☪ burhān

Adab berhujjah: jangan melempar klaim besar tanpa dalil, dan jangan menerima klaim orang lain hanya karena diucapkan dengan yakin. Menuntut bukti secara santun adalah bagian dari kejujuran epistemik, bukan permusuhan.

Pemetaan QCA
  • Tangga epistemik: amāniyy (angan) = zhann tanpa dasar; hanya klaim ber-burhan yang boleh naik menuju yaqīn
  • Penalaran: klaim eksklusif diuji: bukan siapa yang paling keras berkata, tapi siapa yang membawa bukti
  • Alignment: default sistem = tolak klaim tak terbukti (fail-closed), bukan terima demi menyenangkan pengklaim
Inferensi kajian

Satu perintah — hātū burhānakum — menegakkan seluruh disiplin klaim-terverifikasi: angan-angan (prior tanpa data) dipisahkan dari pengetahuan (klaim yang membawa bukti dan lolos verifikasi), dengan beban pembuktian di pundak pengklaim dan default sistem menolak yang tak terbukti. Ini kerangka epistemik yang sama yang menjadi Eval-Gate aplikasi ini: tidak ada klaim yatim, tidak ada assertion tanpa proof-token, tidak ada belief-update tanpa evidence.

📼 Riwayat tadabbur

Interpretasi hidup: seiring waktu di-tadabburi ulang. Setiap versi direkam & tetap bisa dibaca — tak ada yang ditimpa diam-diam.

  1. v1 · terkini2026-07-07Tadabbur perdana — Wave 7 bukti/hujjah.
Draft AI (Claude subagent) — interpretasi rekayasa, menunggu tinjauan · 2026-07-07 · Surah Al-Baqarah · status: published. Masukan/koreksi reviewer → antrean tinjau (ref lab:baqarah-2-111).