Logika: Nyata Makin Berguna

Ketika logika terkubur dalam tumpukan media sosial yang dijejali AI justru logika tumbuh makin nyata penuh guna.

Di tengah kepungan teknologi digital itu, pendekatan logika modern yang ketat mengantar Russell merumuskan GBT: general barriers theorem; sebuah teorema yang menyatakan ada lima penghalang (barrier) menghambat setiap orang untuk mengambil kesimpulan. Penghalang logika ini bukan cacat melainkan batu permata yang mengajak kita berpikir lebih jauh. Logika, di masa kini, berkilau kembali bagai tumpukan permata.

1. Teorema Penghalang Umum
2. Teorema Penghalang Utama
3. Diskusi

Saya menunggu buku Russell yang akan terbit 17 Juli 2026 ini: The Metaphysics of Logic. Buku sebelumnya, Barriers to Entailment, memberi saya banyak inspirasi dan lebih banyak tanda tanya.

1. Teorema Penghalang Umum

Dari GBT (teorema penghalang umum), saya mengembangkan teorema penghalang utama dan teorema penghalang baru.

General Barrier Theorem (GBT) menjadi titik awal bagi dua pengembangan berikutnya karena seluruh teoremanya dibuktikan dengan satu metode formal yang sama, yaitu teknik Prior yang menggunakan dua model dengan premis sama tetapi kesimpulan berbeda. Keberhasilan satu metode menghasilkan lima barrier historis menunjukkan bahwa di balik kelima kasus tersebut ada pola yang sama.

Keseragaman ini kemudian memunculkan dua pertanyaan. Pertama, apakah kelima barrier itu sebenarnya dapat diringkas menjadi satu prinsip yang lebih umum? Kedua, apakah metode yang sama juga dapat digunakan untuk menemukan barrier-barrier baru? Dari dua pertanyaan inilah lahir dua arah pengembangan, yaitu Master Barrier Theorem (MBT) dan Neo Barriers Theorem (NBT).

Teorema dari Russell GBT ini terbukti produktif dengan menghasilkan barrier baru, yaitu indeksikal, dan kandidat teorema-teorema lain. Sederhananya, kita tidak bisa menarik kesimpulan niscaya karena ada lima barrier dari: (1) data deskriptif menghasilkan normatif; (2) partikular menghasilkan universal; (3) kontingen menghasilkan niscaya; (4) masa lalu menghasilkan masa depan; (5) data umum menghasilkan indeks.

2. Teorema Penghalang Utama

Arah berpikir kreatif bisa vertikal, horisontal, atau diagonal, bahkan bisa melengkung tak terduga.

Arah pertama menghasilkan Master Barrier Theorem (MBT, teorena penghalang utama). MBT berangkat dari pengamatan bahwa semua barrier GBT memiliki bentuk yang sama: apa yang dapat dinyatakan oleh sistem formal tertutup (S) tidak pernah cukup untuk mengentail (menarik kesimpulan secara pasti) apa yang ada pada realitas (E) di luar sistem itu. Perbedaan setiap barrier hanya terletak pada jenis realitas yang dibutuhkan—misalnya totalitas, masa depan, modalitas, norma, atau perspektif indeksikal. Karena itu, kelimanya dapat dipahami sebagai variasi dari satu barrier umum, yaitu S ↛ E.

Pada titik inilah kerangka APiQ (tata↛luma) diajukan. GBT menunjukkan bahwa barrier tersebut memang ada, sedangkan APiQ berusaha menjelaskan mengapa pola yang sama terus muncul pada berbagai jenis kasus.

Arah kedua menghasilkan Neo Barriers Theorem (NBT). Berbeda dari MBT yang merangkum barrier yang sudah ada, NBT bertujuan memperluasnya. Keberhasilan metode Prior menemukan barrier baru pada kasus Indexical Law menunjukkan bahwa kriteria fit (underdetermination formal) dapat dipakai untuk mencari barrier-barrier lain secara sistematis. Dengan cara ini ditemukan barrier Organized-Whole, dan kemudian ditunjukkan bahwa Chaos-Arko merupakan struktur komposit yang juga memuat barrier baru B(Occ,Stit) melalui logika STIT (Seeing To It That). Karena itu, NBT bukan satu proposisi tunggal, melainkan program riset terbuka yang terus berkembang melalui pengujian setiap kandidat barrier baru.

3. Diskusi

Bagaimana menurut Anda?

Russell jelas menunjukkan lima barrier melalui GBT. Tetapi Russell tidak menentukan status metafisika masing-masing di sisi barrier; mau pun status barrier itu sendiri. Misal, sebagai satu contoh jenis barrier, dari fakta yang ada maka kita tidak bisa menentukan sikap moral seharusnya. Dari fakta Indonesia negara subur maka kita tidak bisa menyimpulkan Indonesia harus diperjuangkan menjadi adil makmur atau biarkan saja hancur lebur.

Status fakta lawan moral masih tidak jelas: (a) fakta yang nyata tapi moral hanya fiksi belaka; atau (b) fakta tidak bermakna apa-apa tapi moral adalah yang nyata; atau (c) fakta dan moral sama-sama nyata.

Pertanyaan seperti di atas akan terus mengalir dipicu oleh pemikiran Russell. Saya berharap akan menemukan jawabannya di buku terbaru The Metaphysic of Logic karya Russell. Sementara kita tahu bahwa pendekatan Russell sejauh ini melalui sistem formal; maka ia akan berhadapan dengan MBT (master barrier theorem); apa pun jawaban formal Russell terhadap problem metafisika tidak akan cukup untuk entail (menyimpulkan) realitas eksistensial. Bagaimana langkah selanjutnya? Pertanyaan sederhana ini seharusnya menggugah kita untuk berpikir lebih mendalam.

Logika dalam bentuknya paling jelas, paling formal, dan paling kuat menunjukkan adanya barrier; adanya penghalang; adanya pembatas. Logika benar-benar nyata berguna untuk menunjukkan batas itu. Bukan sebagai cacat tetapi sebagai batu permata yang mengajak kita untuk berpikir lebih jauh lagi.