Pendahuluan

Kita sering memakai kata “logis” dalam percakapan sehari-hari. Ketika seseorang berkata, “Keputusan itu tidak logis,” biasanya ia bermaksud bahwa keputusan itu tidak masuk akal, tidak konsisten, atau tidak didukung alasan yang cukup. Tetapi dalam filsafat, logika tidak berhenti pada rasa “masuk akal” secara umum. Logika bertanya lebih teliti: kapan suatu kesimpulan benar-benar mengikuti dari alasan-alasan yang diberikan? Pertanyaan sederhana ini membawa kita ke perjalanan panjang: dari debat lisan di pasar-pasar Yunani kuno, analisis pernyataan dalam tradisi India dan Tiongkok, komentar logika dalam dunia Islam dan Latin abad pertengahan, sampai bahasa simbolik Frege, teorema Gödel, semantik Tarski, logika modal, logika parakonsisten, dan logika dalam komputasi modern.

Buku ini ditulis untuk pembaca umum. Artinya, kita tidak akan mengandaikan bahwa pembaca sudah menguasai logika formal atau sejarah filsafat. Namun kita juga tidak akan memperlakukan logika sebagai kumpulan trik cepat untuk memenangkan debat. Logika filosofis adalah bidang yang lebih dalam: ia mempelajari struktur penalaran, makna kebenaran, hubungan bahasa dan dunia, sifat pembuktian, serta batas-batas sistem formal. Sejarah logika menunjukkan bahwa pertanyaan-pertanyaan ini tidak muncul sekaligus. Ia tumbuh melalui perdebatan, kekeliruan, koreksi, dan penemuan bertahap. Karya klasik William dan Martha Kneale, The Development of Logic, memperlihatkan bahwa perkembangan logika tidak hanya berupa daftar tokoh, tetapi perubahan cara manusia memahami bentuk argumen, bahasa, dan pembuktian (Kneale & Kneale, 1962).

Sebelum melangkah jauh, kita perlu membedakan beberapa istilah dasar.

Sebuah argumen adalah susunan pernyataan yang dimaksudkan untuk mendukung suatu pernyataan lain. Pernyataan yang memberi dukungan disebut premis, sedangkan pernyataan yang didukung disebut kesimpulan. Misalnya:

Semua manusia fana.
Sokrates adalah manusia.
Jadi, Sokrates fana.

Dua baris pertama adalah premis. Baris terakhir adalah kesimpulan. Argumen ini terkenal karena bentuknya jelas: jika premis-premisnya benar, kesimpulannya tidak dapat salah. Dalam logika deduktif, sifat seperti ini disebut validitas atau kesahihan. Sebuah argumen valid bila tidak mungkin premis-premisnya benar tetapi kesimpulannya salah. Perhatikan bahwa validitas tidak sama dengan kebenaran setiap premis. Contoh berikut memiliki bentuk yang valid, walaupun salah satu premisnya keliru:

Semua ikan adalah mamalia.
Semua paus adalah ikan.
Jadi, semua paus adalah mamalia.

Kesimpulannya benar, tetapi premis-premisnya bermasalah. Contoh ini menunjukkan bahwa logika tidak hanya bertanya “apakah kalimat ini benar?”, tetapi juga “apakah kesimpulan ini mengikuti dari premis-premis itu?” Perbedaan antara kebenaran pernyataan dan kesahihan hubungan antarpernyataan adalah salah satu pintu masuk utama ke logika filosofis.

Mengapa hal ini penting? Karena banyak perselisihan manusia terjadi bukan hanya karena perbedaan fakta, tetapi karena perbedaan cara menarik kesimpulan. Dua orang mungkin sepakat pada data yang sama, tetapi berbeda dalam menafsirkan akibatnya. Misalnya, seseorang berkata:

Banyak orang memakai media sosial.
Jadi, semua informasi di media sosial dapat dipercaya.

Kesimpulan itu tidak mengikuti dari premisnya. Dari fakta bahwa banyak orang memakai media sosial, tidak otomatis benar bahwa semua informasi di dalamnya dapat dipercaya. Di sini logika membantu kita melihat lompatan penalaran. Ia tidak menggantikan pengetahuan empiris, etika, atau kebijaksanaan praktis, tetapi ia memberi alat untuk memeriksa apakah alasan yang diberikan benar-benar menopang kesimpulan.

Namun logika filosofis tidak hanya memeriksa argumen sederhana. Ia juga bertanya tentang hal-hal yang lebih mendasar. Apa itu “benar”? Apakah setiap pernyataan harus benar atau salah? Bagaimana dengan pernyataan yang kabur, seperti “orang itu tinggi”? Apakah kontradiksi selalu membuat suatu teori runtuh? Apa arti “mungkin” dan “niscaya”? Apakah matematika dapat direduksi menjadi logika? Apakah bahasa sehari-hari dapat dianalisis dengan bahasa formal? Pertanyaan-pertanyaan seperti ini membuat logika menjadi bagian dari filsafat, bukan sekadar teknik simbolik. Stephen Read menekankan bahwa filsafat logika tidak hanya menggunakan sistem logis, tetapi juga menyelidiki apa yang membuat suatu inferensi sah, apa makna konsekuensi logis, dan bagaimana logika berhubungan dengan bahasa serta kenyataan (Read, 1995).

Buku ini memakai istilah logika filosofis dalam arti luas. Di satu sisi, ia mencakup sejarah sistem-sistem logika: silogisme Aristoteles, logika proposisional Stoik, logika skolastik, aljabar logika, logika predikat modern, logika modal, logika intuisionistik, dan logika nonklasik. Di sisi lain, ia juga mencakup pertanyaan filosofis tentang sistem-sistem itu: mengapa bentuk argumen tertentu dianggap sahih, bagaimana simbol berhubungan dengan makna, apakah ada satu logika yang paling benar, dan bagaimana logika dipakai dalam metafisika, matematika, bahasa, ilmu komputer, serta kecerdasan buatan.

Perjalanan kita dimulai sebelum logika menjadi disiplin formal. Manusia sudah berdebat, membujuk, memberi alasan, dan menolak alasan jauh sebelum ada simbol logika. Di Yunani kuno, praktik retorika dan perdebatan politik memberi latar bagi munculnya refleksi sistematis tentang argumen. Sokrates, sebagaimana digambarkan dalam dialog-dialog Plato, terkenal bukan karena menulis sistem logika, melainkan karena bertanya terus-menerus: “Apa yang kamu maksud dengan keadilan?”, “Apakah jawabanmu konsisten?”, “Apakah contohmu benar-benar mendukung definisimu?” Dari kebiasaan bertanya seperti ini, logika filosofis memperoleh salah satu akarnya: keinginan untuk tidak puas pada kata-kata yang terdengar meyakinkan, tetapi meminta alasan yang dapat diuji.

Aristoteles kemudian memberikan langkah besar dengan menyusun analisis sistematis tentang kategori, proposisi, term, dan silogisme. Tradisi kemudian mengumpulkan karya-karya logis Aristoteles dengan nama Organon, yang berarti “alat” atau “instrumen”, karena logika dipandang sebagai alat berpikir bagi ilmu dan filsafat. Para sejarawan logika sering menempatkan Aristoteles sebagai tokoh pertama yang menyusun teori formal inferensi secara sistematis, terutama melalui teori silogisme dalam Prior Analytics (Bochenski, 1961; Kneale & Kneale, 1962). Contoh silogisme “Semua manusia fana; Sokrates manusia; maka Sokrates fana” adalah bentuk sederhana dari warisan ini.

Akan tetapi, sejarah logika bukan hanya sejarah Aristoteles dan para penerusnya di Eropa. Kaum Stoik mengembangkan analisis penting tentang penalaran proposisional, yaitu penalaran yang memperlakukan seluruh pernyataan sebagai unit, misalnya “Jika hujan, maka jalan basah” dan “Hujan; jadi jalan basah.” Pola ini kini dikenal sebagai modus ponens: jika “Jika P maka Q” benar, dan P benar, maka Q mengikuti. Kajian sejarah menunjukkan bahwa tradisi Yunani, India, dan Arab memiliki perkembangan logika yang kaya dan saling membentuk dalam banyak periode (Gabbay & Woods, 2004). Di India, tradisi Nyāya mengembangkan analisis tentang pengetahuan, inferensi, debat, dan sumber-sumber pembenaran. Di Tiongkok kuno, teks-teks Mohis membahas penamaan, pengelompokan, analogi, dan pola penalaran dengan cara yang khas, meskipun tidak identik dengan logika Aristotelian (Graham, 1978).

Karena itu, buku ini tidak akan menyajikan sejarah logika sebagai garis lurus dari Yunani menuju Eropa modern saja. Memang, beberapa bab akan mengikuti jalur yang sangat berpengaruh dalam pembentukan logika formal Barat: Aristoteles, tradisi Latin abad pertengahan, Leibniz, Boole, Frege, Russell, Hilbert, Gödel, Tarski, dan seterusnya. Namun kita juga akan memberi ruang pada tradisi India, Tiongkok, dan Islam, karena sejarah penalaran manusia lebih luas daripada satu wilayah. Dalam dunia Islam, misalnya, para filsuf seperti Al-Farabi dan Ibn Sina tidak sekadar menerima Aristoteles, tetapi mengembangkan pembacaan dan modifikasi yang berpengaruh terhadap filsafat dan ilmu pada masa berikutnya; perkembangan ini menjadi bagian penting dalam sejarah logika Yunani-Arab sebagaimana dibahas dalam kajian sejarah logika lintas tradisi (Gabbay & Woods, 2004).

Salah satu tema besar buku ini adalah perubahan hubungan antara bahasa dan penalaran. Pada awalnya, logika sangat dekat dengan percakapan, debat, dan tata bahasa. Orang bertanya: bagaimana sebuah kalimat dapat menyatakan sesuatu? Bagaimana nama menunjuk benda? Bagaimana predikat seperti “bijaksana”, “putih”, atau “adil” diterapkan pada subjek? Pada Abad Pertengahan, pertanyaan seperti ini menghasilkan teori tentang term, suppositio, konsekuensi, dan paradoks semantik. Misalnya, kalimat “Kalimat ini salah” menimbulkan masalah: jika benar, maka ia salah; jika salah, maka tampaknya ia benar. Paradoks seperti ini memaksa para pemikir untuk membedakan tingkat bahasa, acuan, dan kondisi kebenaran.

Tema besar kedua adalah perubahan hubungan antara logika dan matematika. Pada abad ke-19, George Boole dan Augustus De Morgan mulai memperlakukan bentuk-bentuk logika dengan cara aljabar. Artinya, penalaran tidak hanya dianalisis melalui kalimat biasa, tetapi juga melalui operasi simbolik. Langkah ini membuka jalan bagi logika modern. Frege kemudian memperkenalkan sistem simbolik yang jauh lebih kuat dalam Begriffsschrift tahun 1879, terutama dengan analisis fungsi, argumen, dan kuantifikasi. Banyak sejarawan logika menganggap karya Frege sebagai titik balik lahirnya logika modern, karena ia memungkinkan analisis pernyataan yang jauh melampaui silogisme Aristoteles (van Heijenoort, 1967).

Contoh sederhananya begini. Kalimat:

Semua mahasiswa membaca buku.

Dalam logika Aristotelian, kita dapat melihatnya sebagai hubungan antara term “mahasiswa” dan term “pembaca buku”. Tetapi dalam logika predikat modern, kita dapat menulis struktur yang lebih rinci: untuk setiap x, jika x adalah mahasiswa, maka x membaca buku. Cara ini memungkinkan kita menganalisis kalimat yang lebih kompleks, seperti “Setiap orang memiliki seseorang yang ia hormati” atau “Ada bilangan yang lebih besar dari semua bilangan dalam daftar ini.” Kuantor seperti “setiap” dan “ada” menjadi bagian utama dari logika modern.

Tema besar ketiga adalah batas formalisasi. Formalisasi berarti menyusun bahasa dan aturan secara eksplisit sehingga kita dapat memeriksa langkah-langkah penalaran tanpa bergantung pada intuisi kabur. Sebuah sistem formal memiliki simbol, aturan pembentukan rumus, aksioma, dan aturan inferensi. Pada awal abad ke-20, banyak pemikir berharap bahwa matematika dapat diberi dasar formal yang lengkap dan aman. Namun hasil-hasil besar dalam metamatematika menunjukkan bahwa harapan ini memiliki batas. Teorema ketaklengkapan Gödel memperlihatkan, secara kasar, bahwa sistem formal tertentu yang cukup kuat untuk aritmetika tidak dapat sekaligus konsisten dan lengkap dalam arti yang diharapkan oleh program formalis tertentu; penjelasan tepatnya akan kita bahas nanti dengan hati-hati (van Heijenoort, 1967). Tarski, dari sisi lain, memberi analisis formal tentang konsep kebenaran untuk bahasa formal, termasuk gagasan bahwa definisi kebenaran perlu memperhatikan perbedaan antara bahasa yang dibicarakan dan bahasa yang dipakai untuk membicarakannya (Tarski, 1983).

Tema besar keempat adalah munculnya logika nonklasik. Dalam logika klasik, biasanya diterima prinsip bivalensi: setiap proposisi bernilai benar atau salah. Tetapi para filsuf dan logikawan kemudian bertanya: apakah prinsip itu cocok untuk semua jenis bahasa dan penalaran? Bagaimana dengan pernyataan tentang masa depan yang belum pasti? Bagaimana dengan konsep kabur seperti “tinggi”, “muda”, atau “tumpukan”? Bagaimana dengan teori yang mengandung kontradiksi tetapi tidak boleh membuat semua kesimpulan menjadi benar? Dari pertanyaan seperti ini muncul logika modal, logika intuisionistik, logika relevansi, logika parakonsisten, logika bernilai banyak, dan logika fuzzy. Graham Priest menjelaskan bahwa logika nonklasik bukan sekadar penyimpangan aneh dari logika klasik, melainkan upaya sistematis untuk memodelkan jenis konsekuensi yang berbeda dalam konteks yang berbeda (Priest, 2008).

Misalnya, dalam logika klasik, dari kontradiksi “P dan bukan P” secara teknis dapat diturunkan sembarang kesimpulan. Prinsip ini sering disebut explosion atau ex contradictione quodlibet. Namun dalam beberapa konteks, terutama ketika kita bekerja dengan basis data yang tidak sempurna atau teori yang masih mengandung ketegangan, kita mungkin ingin mencegah satu kontradiksi kecil membuat seluruh sistem menjadi tak berguna. Logika parakonsisten dikembangkan untuk mempelajari kemungkinan itu. Ini tidak berarti bahwa kontradiksi dianggap baik begitu saja. Artinya, kita sedang meneliti secara formal apa yang terjadi bila aturan inferensi klasik tertentu dibatasi.

Di sepanjang buku ini, kita akan menjaga keseimbangan antara sejarah dan konsep. Sejarah membantu kita melihat mengapa suatu teori muncul. Konsep membantu kita memahami apa yang sebenarnya dipertaruhkan. Tanpa sejarah, logika dapat tampak seperti kumpulan simbol yang jatuh dari langit. Tanpa konsep, sejarah logika dapat menjadi daftar nama dan tanggal. Kita akan berusaha menghindari keduanya.

Cara terbaik membaca buku ini adalah dengan memperlakukan setiap bab sebagai jawaban terhadap masalah tertentu. Bab tentang Sokrates bukan sekadar “Sokrates hidup sebelum Plato”, tetapi tentang bagaimana pertanyaan dapat menguji definisi. Bab tentang Aristoteles bukan sekadar “Aristoteles membuat silogisme”, tetapi tentang bagaimana bentuk argumen dapat dianalisis. Bab tentang Frege bukan sekadar “Frege memakai simbol”, tetapi tentang mengapa bahasa simbolik baru diperlukan untuk menjelaskan matematika. Bab tentang Gödel bukan sekadar “Gödel membuktikan ketaklengkapan”, tetapi tentang batas impian bahwa semua kebenaran matematis dapat ditangkap oleh satu sistem formal yang efektif.

Pembaca tidak perlu takut pada simbol. Simbol dalam logika bukan hiasan misterius. Simbol adalah alat untuk membuat struktur penalaran terlihat lebih jelas. Jika kita menulis:

Jika P maka Q.
P.
Jadi, Q.

Kita tidak sedang membuat bahasa menjadi lebih sulit. Kita sedang menghapus detail yang tidak relevan agar pola inferensinya tampak. P bisa berarti “hujan turun”, Q bisa berarti “jalan basah”. P juga bisa berarti “mesin menyala”, Q berarti “lampu indikator hidup”. Bentuknya sama walaupun isinya berbeda. Inilah salah satu kekuatan logika: ia dapat memisahkan bentuk penalaran dari topik khusus yang sedang dibicarakan.

Pada saat yang sama, buku ini akan mengingatkan bahwa tidak semua persoalan dapat diselesaikan hanya dengan mengganti kalimat menjadi simbol. Bahasa alamiah penuh konteks, maksud pembicara, implikatur, metafora, ambiguitas, dan penggunaan sosial. Filsafat analitik abad ke-20 banyak bergulat dengan hubungan antara bahasa formal dan bahasa sehari-hari. Pertanyaan seperti “apa arti sebuah nama?”, “apa yang membuat kalimat bermakna?”, “apakah terjemahan selalu pasti?”, dan “apa komitmen ontologis suatu teori?” menunjukkan bahwa logika dan filsafat bahasa saling berkaitan erat.

Akhirnya, buku ini mengajak pembaca melihat logika sebagai disiplin yang hidup. Logika bukan benda museum yang selesai pada Aristoteles, bukan pula sekadar simbol matematika yang jauh dari kehidupan. Logika hadir ketika kita memeriksa alasan, membangun teori, menilai bukti, merancang bahasa pemrograman, membuat sistem kecerdasan buatan, menganalisis hukum, menyusun argumen etis, atau bertanya apakah sesuatu mungkin, perlu, benar, salah, kabur, atau kontradiktif.

Jika ada satu kebiasaan berpikir yang ingin dibangun buku ini, kebiasaan itu adalah bertanya dengan tenang:

Apa premisnya?
Apa kesimpulannya?
Apakah kesimpulan benar-benar mengikuti?
Istilah apa yang perlu dijelaskan?
Apakah ada ambiguitas?
Aturan inferensi apa yang sedang dipakai?
Apakah sistem logika yang dipakai cocok untuk masalah ini?

Pertanyaan-pertanyaan seperti itu sederhana, tetapi kuat. Dari situlah perjalanan kita dimulai.

References

Bochenski, I. M. (1961). A History of Formal Logic (I. Thomas, Trans. & Ed.). University of Notre Dame Press.

Gabbay, D. M., & Woods, J. (Eds.). (2004). Handbook of the History of Logic, Volume 1: Greek, Indian and Arabic Logic. Elsevier.

Graham, A. C. (1978). Later Mohist Logic, Ethics and Science. The Chinese University Press.

Kneale, W., & Kneale, M. (1962). The Development of Logic. Clarendon Press.

Priest, G. (2008). An Introduction to Non-Classical Logic: From If to Is (2nd ed.). Cambridge University Press.

Read, S. (1995). Thinking About Logic: An Introduction to the Philosophy of Logic. Oxford University Press.

Tarski, A. (1983). Logic, Semantics, Metamathematics: Papers from 1923 to 1938 (J. H. Woodger, Trans.; J. Corcoran, Ed., 2nd ed.). Hackett Publishing.

van Heijenoort, J. (Ed.). (1967). From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931. Harvard University Press.