Logic pada dasarnya adalah sistem penalaran berbasis aturan yang berfungsi menguji konsistensi dan validitas argumen. Fungsi utamanya memastikan bahwa kesimpulan benar-benar mengikuti premis, bukan untuk menentukan siapa yang lebih pintar atau lebih rasional. Logic menjaga ketertiban berpikir, bukan hierarki intelektual.
Masalah muncul ketika logic bergeser fungsi. Dalam banyak public discourse, label “tidak logis” digunakan bukan untuk membedah struktur argumen, tetapi untuk menghentikan percakapan. Diskusi berhenti bukan karena argumen sudah diuji, melainkan karena satu pihak mengklaim posisi rasional secara sepihak. Di sini, logic berubah dari alat evaluasi menjadi alat delegitimasi.
Persoalan utama bukan ketiadaan logic, melainkan ketiadaan kejelasan tentang sistem logika yang sedang digunakan.
Classical Logic dan Batas Domain Penerapan
Classical logic memiliki posisi fundamental dalam matematika dan natural sciences. Kekuatan utamanya terletak pada kepastian nilai kebenaran. Dua prinsip dasarnya adalah:
Law of Non-Contradiction
Satu pernyataan tidak dapat bernilai benar dan salah secara bersamaan.Law of Excluded Middle
Setiap pernyataan harus bernilai benar atau salah.
Dalam domain formal, kedua prinsip tersebut bersifat esensial. Deduksi matematis tidak dapat berjalan tanpa keduanya. Permasalahan tidak terletak pada kekeliruan classical logic, tetapi pada penerapan tanpa klarifikasi domain ke ranah yang tidak menuntut kepastian biner, seperti etika, kebijakan publik, relasi sosial, dan pencarian makna hidup.
Theorem dan Contingent Statements
Dalam pengertian logika ketat, hanya theorem yang dapat disebut logically true. Pernyataan jenis ini selalu benar dalam setiap interpretasi yang sah. Sebaliknya, sebagian besar pernyataan dalam diskusi publik bersifat contingent.
Contingent statements bergantung pada konteks, data yang belum lengkap, asumsi normatif, serta tujuan yang sedang diperdebatkan. Menilai pernyataan jenis ini menggunakan standar theorem-based reasoning bukan bentuk ketelitian, melainkan category mistake.
Ketika kesalahan kategori terjadi, label “tidak logis” berfungsi sebagai jalan pintas epistemik untuk menghindari dialog. Kebuntuan diskusi muncul bukan karena irasionalitas, tetapi karena ketidaksesuaian antara jenis pernyataan dan standar logika yang digunakan.
Pluralitas Sistem Logika sebagai Fakta Epistemik
Filsafat logika modern menunjukkan satu fakta penting: logic is plural. Keberadaan berbagai sistem logika bukan anomali, melainkan respons terhadap kompleksitas realitas.
Beberapa contoh utama:
Paraconsistent logic
Menolak Law of Non-Contradiction. Kontradiksi dapat hadir tanpa meruntuhkan sistem penalaran. Relevan ketika realitas memuat informasi saling bertentangan namun tetap bermakna.Intuitionistic logic
Menolak Law of Excluded Middle. Sistem ini membedakan antara absence of proof dan proof of absence. Krusial dalam diskusi yang menekankan proses pembuktian dan ketidakpastian.First Degree Entailment (FDE)
Menggunakan empat nilai kebenaran: true, false, both, dan neither. Membantu memahami penalaran dalam complex systems dan AI reasoning yang tidak bekerja secara biner.
Pluralitas logika bukan logical relativism. Setiap sistem memiliki domain of applicability yang jelas dan tidak dapat digunakan secara sembarangan.
Framework Mismatch dalam Perdebatan Publik
Kesalahan paling umum dalam public debate bukan terletak pada lemahnya argumen, melainkan pada ketiadaan klarifikasi logical framework. Satu pihak berargumentasi menggunakan penalaran contingent, sementara pihak lain mengevaluasi dengan standar classical logic yang berorientasi pada kepastian.
Dalam kondisi ini, kritik diarahkan pada kesimpulan, bukan pada asumsi logika yang mendasarinya. Kegagalan diskusi muncul karena framework mismatch yang tidak pernah dibuka secara eksplisit.
Toleransi Logika sebagai Prasyarat Diskusi Rasional
Jika logic bersifat plural dan bergantung pada domain, maka toleransi logika bukan sikap kompromistis, melainkan prasyarat rasional agar diskusi tidak berakhir pada kebuntuan.
Toleransi logika mencakup:
kesadaran bahwa perbedaan pendapat dapat bersumber dari asumsi logika yang berbeda,
klarifikasi kerangka logika sebelum mengevaluasi kesimpulan,
kritik argumen dilakukan di dalam sistem logika yang digunakan argumen tersebut, bukan dengan sistem lain yang tidak disepakati.
Tanpa kesadaran ini, perdebatan berjalan retoris tetapi gagal secara epistemik.
Sintesa
Kebuntuan dalam public discourse lebih sering muncul bukan karena ketiadaan logic, melainkan karena ketidaksesuaian antara jenis pernyataan dan kerangka logika yang digunakan untuk menilainya. Classical logic tetap sah dan penting dalam domain formal, tetapi menjadi problematis ketika diterapkan langsung pada pernyataan sosial dan etis yang bersifat contingent. Perbedaan antara theorem dan contingent statements menunjukkan bahwa banyak klaim “tidak logis” merupakan category mistake yang menutup ruang dialog. Pengakuan bahwa logic is plural menggeser evaluasi argumen dari klaim rasional sepihak menuju penilaian yang lebih bertanggung jawab, dengan menguji kesesuaian antara argumen, asumsi logika, dan domain penerapannya.
