Saat Logika Tingkat Dewa Mentok di Gerbang Tauhid

Gini bro, tarik napas dulu, seduh kopinya. Malam ini kita bakal masuk ke sebuah obrolan deep talk jam 3 pagi. Tema kita bukan sekadar cinta-cintaan atau ngeluh soal client yang revisinya nggak ngotak. Kita bakal ngomongin satu spesies manusia yang sering dianggap punya otak paling kompleks di muka bumi: Programmer.

Ilustrasi Programmer Deep Talk Malam Hari Layar terminal yang hitam seolah jadi cermin refleksi diri lu sendiri di jam 3 pagi.

Coba lu perhatiin temen lu yang jago coding. Layar Komputernya hitam, penuh tulisan warna-warni yang buat orang awam keliatan kayak mantra santet modern. Mereka ngetik Python, C++, Rust, atau ngeracik arsitektur backend yang ribetnya minta ampun. Di dunia mereka, semuanya adalah sebab-akibat. Kalau variabel A dimasukin function B, output-nya harus C. Nggak ada kebetulan. Kalau ada error, berarti ada logika yang salah. Titik.

Saking terbiasanya main di alam logika yang presisi, kadang seorang programmer ngerasa kayak "Tuhan" di universe kecil yang dia ciptain di dalam server. Tapi, secanggih-canggihnya logika manusia, bakal ada satu titik di mana sistem operasi di otak kita dapet peringatan: Error 404 - Infinity Not Comprehensible. Di titik inilah, logika yang agung itu harus pelan-pelan berlutut.

Mari kita bedah pelan-pelan, bawa filsuf Yunani buat ngopi bareng, buka lembaran Kitab Kuning dari para ulama klasik, dan kita jahit semuanya pake bahasa warung kopi.

Sokrates, Aristoteles, dan Algoritma Semesta

Jauh sebelum ada Silicon Valley, Cloud Computing, atau Artificial Intelligence, orang-orang Yunani kuno udah ngelakuin coding. Bedanya, mereka nggak pake keyboard, tapi pake omongan dan pikiran. Bapak-bapak filsuf kayak Sokrates, Plato, dan Aristoteles ini adalah programmer pertama di dunia yang mencoba nge-crack sistem alam semesta.

Aristoteles, misalnya. Dia punya satu logika maut yang di dunia filsafat disebut sebagai "The Unmoved Mover" (Penggerak Utama yang Tidak Digerakkan).

Gini logikanya ala programmer:
Lu liat daun jatuh. Kenapa jatuh? Karena ketiup angin. Kenapa angin niup? Karena ada perbedaan tekanan udara. Kenapa ada perbedaan tekanan? Karena panas matahari. Terus aja lu trace log-nya mundur sampai ke Big Bang.

Tapi Aristoteles mikir keras: Looping sebab-akibat ini nggak mungkin infinite (nggak ada ujungnya). Kalau alam semesta ini infinite loop, programnya bakal crash. Pasti ada satu "Penyebab Pertama" yang bikin code alam semesta ini running, tapi Dia sendiri nggak disebabkan oleh apa pun. Dia yang menggerakkan, tapi Dia tidak digerakkan oleh sesuatu yang lain.

Sokrates beda lagi. Dia adalah tipikal Senior Developer yang udah muak sama orang-orang sok tahu. Dia ngeluarin quotes legendaris:

"I know that I know nothing." (Gue tahu bahwa gue nggak tahu apa-apa).

Itu adalah puncak logika. Orang yang logikanya bener-bener jalan, pada akhirnya bakal sadar bahwa kapasitas RAM otaknya tuh kecil banget buat mahamin semesta yang datanya petabyte nggak berseri. Filsafat Yunani ngebawa manusia sampai ke depan pintu gerbang kebenaran: bahwa ada Supreme Being, ada Kausalitas Utama, ada Master Coder dari segala eksistensi. Tapi mereka cuma mentok di depan pintu. Mereka nggak punya kuncinya.

"Ilmu Mantiq" – Saat Kitab Kuning Ngajarin Coding Logika

Nah, sekarang kita geser tongkrongan kita. Kita tinggali Athena, kita masuk ke pesantren atau madrasah. Lu tau nggak? Ratusan tahun lalu, para ulama Islam nulis buku-buku (Kitab Kuning) yang isinya murni logika hardcore. Ilmu ini namanya Ilmu Mantiq (Logika Klasik) dan Ilmu Tauhid.

Kalau programmer sekarang kenal yang namanya Boolean (True/False), ulama kita punya konsep Hukum Akal. Imam As-Sanusi dalam kitab Ummul Brahin (Matan Sanusiyyah) ngejelasin algoritma dasar akal manusia:

إعْلَمْ أَنَّ الْحُكْمَ الْعَقْلِيَّ يَنْحَصِرُ فِي ثَلاَثَةِ أَقْسَامٍ: الوُجُوْبُ، وَالاِسْتِحَالَةُ، وَالْجَوَازُ

(I'lam annal hukmal 'aqliyya yanhasiru fi tsalatsati aqsamin: Al-wujubu, wal-istihalatu, wal-jawazu).

"Ketahuilah bro, bahwa hukum akal (logika dasar) itu kebagi jadi tiga blok: Wajib (Pasti ada/terjadi), Mustahil (Nggak mungkin ada/terjadi), dan Jaiz (Mungkin aja terjadi, mungkin aja nggak)."

Coba lu resapin. Ini arsitektur logika paling clean.

  • Wajib Aqli: Akal nggak bisa nerima kalau ini nggak ada. Contoh: Adanya Pencipta. Nggak logis anjir ada aplikasi Gojek tiba-tiba jadi sendiri tanpa ada tim developer yang ngoding. Alam semesta yang sesempurna ini WAJIB ada yang nyiptain.
  • Mustahil Aqli: Akal nolak mentah-mentah. Contoh: Tuhan itu dua. Kalau Admin server ada dua dan dua-duanya punya akses root absolut, servernya bakal down karena bentrok command.
  • Jaiz Aqli: Bisa iya, bisa nggak. Contoh: Lu besok makan nasgor atau pecel lele. Itu mah terserah yang bikin script nasib lu (Allah).

Ulama kita punya satu syntax tauhid yang sangat elegan untuk ngebantah orang atheis:

كُلُّ مُمْكِنٍ حَادِثٌ، وَكُلُّ حَادِثٍ لَا بُدَّ لَهُ مِنْ مُحْدِثٍ

(Kullu mumkinin haditsun, wa kullu haditsin la budda lahu min muhditsin).

"Setiap yang eksistensinya 'mungkin' itu adalah barang baru (pernah nggak ada, trus jadi ada), dan setiap barang baru itu PASTI BUTUH SANG PENCIPTA."

Sumpah bro, ini coding otak paling indah. Programmer paling elite sekalipun kalau dihadapin sama premis dari Kitab Kuning ini, nggak bakal nemuin bug. Algoritmanya flawless. Akal dipaksa kerja sampai batas maksimalnya, hingga akal itu sendiri secara rasional dan objektif menyimpulkan: "Tuhan itu harus ada, dan Tuhan itu harus Maha Esa."


Sastra Jiwa dan Resolusi Logika yang Berlutut

Di pertengahan malam yang makin dingin, di saat lu udah kelar ngetik ribuan baris kode, kadang layar terminal yang hitam itu seolah jadi cermin. Lu ngeliat refleksi diri lu sendiri. Programmer yang arogan kadang ngerasa bisa mengendalikan segalanya dengan script. Tapi sekeras apapun lu ngetik, ada variabel random dalam hidup yang nggak bisa lu handle pakai fungsi try-catch.

Di sinilah Sastra Islam masuk nembus dada lu. Ibnu Athaillah as-Sakandari, seorang master sufisme intelektual, nulis di dalam Kitab Al-Hikam sebuah quotes yang bisa bikin programmer sombong nangis di pojokan server:

سَوَابِقُ الْهِمَمِ لَا تَخْرِقُ أَسْوَارَ الْأَقْدَارِ

(Sawabiqul himami la takhriqu aswaral aqdari).

"Sekencang dan sekeras apapun tekad dan logikamu berlari, ia tidak akan mampu merobek kokohnya benteng takdir."

Gila, kan? Dalem banget. Maknanya buat anak IT: Lu boleh ngerancang arsitektur sistem semulus mungkin, lu pasang firewall paling mahal, lu backup database di 5 benua berbeda... tapi kalau Sang Root Admin (Allah) bilang malam ini sistem lu harus hancur, ya hancur.

Logika itu cuma alat, bro. Kayak kompas. Kompas itu tugasnya nunjukin arah ke mana lu harus jalan, tapi kompas itu sendiri nggak bisa bikin lu sampai ke tujuan kalau lu nggak mau ngelangkah. Logika Yunani ngajarin kita mikir rapi. Filsafat ngajarin kita nanya. Kitab Kuning ngasih tau framework-nya. Tapi pada akhirnya, ketika logika udah nyampe di batas hardware-nya, dia harus di-override oleh yang namanya IMAN.

Laa Ilaaha Illallah, Muhammadur Rasulullah (The Ultimate Compile)

Akhirnya, kita sampai di ujung malam. Saat azan Subuh mulai kedengeran sayup-sayup dari kejauhan.

Seorang programmer yang bener-bener menguasai bahasanya, yang logikanya melampaui orang awam, pada akhirnya akan menyadari satu hal yang mutlak: Bahwa seluruh alam semesta ini, hukum fisika, gaya gravitasi, susunan tata surya, sampai DNA di dalam darah manusia, adalah "Baris Kode" (Kalimatullah) yang di-Tulis oleh The Absolute Programmer.

Logika yang mentok bukan berarti bodoh. Logika yang sehat justru adalah logika yang tahu di mana dia harus berhenti dan berserah diri. Kayak perkataan Sayyidina Ali bin Abi Thalib:

"Barangsiapa mengenal dirinya, maka ia akan mengenal Tuhannya."

Ketika lu ngebongkar habis anatomi logika, lu bakal ketemu sama kelemahan diri lu sendiri. Dan di titik zero itulah, lu bersyahadat. Logika lu bersujud. Kesombongan intelektual lu rontok.

Lu ngejalanin "Program" kehidupan lu dengan satu statement absolut yang nggak bisa dibantah oleh filsuf mana pun dan ulama Mantiq mana pun:

TIDAK ADA TUHAN SELAIN ALLAH, DAN NABI MUHAMMAD ADALAH UTUSAN ALLAH.

Nabi Muhammad saw. adalah interface atau utusan yang ngebawa User Manual (Al-Quran) dari The Creator untuk kita, manusia. Karena sehebat-hebatnya akal Aristoteles, dia nggak bakal tau gimana caranya sujud yang bener kalau nggak dikasih tau sama utusan-Nya.

Jadi bro, seruput sisa kopinya. Tutup PC Komputer lu. Sebentar lagi Subuh. Logika udah selesai ngerjain tugasnya ngebawa lu pada kesimpulan bahwa semesta ini nggak terjadi secara kebetulan. Sekarang, biarin iman ngambil alih keyboard-nya, dan mari kita sujud nundukin dahi ke lantai.

Karena pada akhirnya, source code paling abadi dari segala penciptaan adalah Cinta dan Tauhid kepada Allah azza wa jalla. End of script. Compile successful.

📚 Documentation (Referensi Artikel)

Filsafat Yunani (The Alpha Versions)

Aristoteles: Konsep "The Unmoved Mover" diambil dari karyanya, Metaphysics (Book 12/Lambda).
Sokrates: Kutipan kesadaran atas ketidaktahuan dicatat oleh Plato dalam naskah Apology.

Ilmu Mantiq & Tauhid (The Core Framework)

Imam As-Sanusi: Pembagian Hukum Akal (Wajib, Mustahil, Jaiz) merujuk pada Kitab Ummul Brahin (Matan As-Sanusiyyah), rujukan utama logika Tauhid Ahlussunnah wal Jama'ah.
Premis Kausalitas: "Kullu mumkinin haditsun" adalah kaedah ushul masyhur dalam Ilmu Kalam untuk membuktikan bahwa alam semesta ini memiliki "Pencipta" (Muhdits).

Sastra Sufistik (The Override System)

Ibnu Athaillah as-Sakandari: Dalil tentang tekad yang tidak bisa menembus takdir adalah Hikmah ke-3 dari mahakarya tasawuf, Kitab Al-Hikam.
Sayyidina Ali bin Abi Thalib: Pepatah "Man 'arafa nafsahu faqad 'arafa Rabbahu" adalah pilar introspeksi diri dalam dunia tasawuf yang maknanya diakui keagungannya oleh para ulama.

💡 Frequently Asked Questions (FAQ)

Apa hubungannya kerjaan programmer dengan filsafat dan agama?

Titik temunya ada pada logika. Programmer setiap hari bekerja dengan algoritma dan hukum sebab-akibat (kausalitas) yang sangat presisi. Filsafat dan ilmu agama (khususnya Ilmu Mantiq dan Tauhid) menggunakan fundamental logika akal yang sama persis untuk membedah sistem alam semesta, hingga akhirnya akal tersebut sampai pada kesimpulan rasional tentang adanya Sang Pencipta.

Apa sih Ilmu Mantiq yang dibahas di atas?

Ilmu Mantiq adalah ilmu logika klasik (tradisional). Kalau di dunia IT kita belajar algoritma dan data structure biar kode nggak error, nah Ilmu Mantiq ini ibarat "algoritma otak" yang dirumuskan oleh para ulama agar cara berpikir kita terstruktur, lurus, dan terhindar dari kesimpulan yang cacat atau bug logika.

Apakah terlalu pakai logika itu bertentangan dengan iman?

Sama sekali nggak. Logika akal yang sehat justru akan memaksa manusia untuk mengakui adanya Tuhan (Wajib Aqli). Namun, layaknya sebuah hardware, akal manusia punya batasan spesifikasi dan memori. Ketika logika sudah nyampe di batas maksimalnya (nggak sanggup mikirin dzat Tuhan), di situlah iman di-load untuk meyakini hal-hal yang melampaui dimensi akal.