Sejarah Logika -Bagian Ketiga- Akhir

Perkembangan Logika di Zaman Modern

Bagian Ketiga dari 3 artikel- Akhir -

Logika pada perkembanganya kemudian sempat mengalami masa dekadensi yang panjang. Logika bahkan dianggap sudah tidak bernilai dan dangkal sekali, barulah pada abad ke XIII sampai dengan Abad XV tampil beberapa tokoh lain seperti Petrus Hispanus, Roger Bacon, Raymundus Lullus dan Wilhelm Ocham yang coba mengangkat kembali ilmu logika sebagai salah satu ilmu yang penting untuk disejajarkan dengan ilmu-ilmu penting lainnya.

Petrus Hispanus (meninggal 1277 M) menyusun pelajaran logika berbentuk sajak, seperti Al-Akhdari dalam dunia Islam, dan bukunya itu menjadi buku dasar bagi pelajaran logika sampai abad ke-17. Petrus Hispanus inilah yang mula-mula mempergunakan berbagai nama untuk sistem penyimpulan yang sah dalam perkaitan bentuk silogisme kategorik dalam sebuah sajak. Dan kumpulan sajak Petrus Hispanus mengenai logika ini bernama Summulae.

Francis Bacon[1] (1561-1626 M) mengembangkan logika induktif yang diperkenalkan dalam bukunya Novum Organum Scientiarum. Tulisan Bacon terpenting adalah menyangkut falsafah ilmu pengetahuan. Dia merencanakan suatu kerja besar Instauratio Magna atau Great Renewal dalam enam bagian. Bagian pertama dimaksud untuk meninjau kembali keadaan ilmu pengetahuan kita. Bagian kedua menjabarkan sistem baru penelaahan ilmu. Bagian ketiga bersisikan kumpulan data empiris. Bagian keempat berisi ilustrasi sistem baru ilmiahnya dalam praktek. Bagian kelima menyuguhkan kesimpulan sementara. Dan bagian keenam suatu sintesa ilmu pengetahuan yang diperoleh dari metode barunya. Taklah mengherankan, skema raksasa ini --mungkin pekerjaan yang paling ambisius sejak Aristoteles--tak pernah terselesaikan. Tetapi, buku The Advancement of Learning (1605) dan Novum Organum (1620) dapat dianggap sebagai penyelesaian kedua bagian dari kerja raksasanya.[2]

Novum Organum atau New Instrument mungkin buku Bacon terpenting. Buku ini dasarnya merupakan pernyataan pengukuhan untuk penerimaan metode empiris tentang penyelidikan. Praktek bertumpu sepenuhnya pada logika deduktifnya Aristoteles adalah tak ada guna, merosot, absurd. Karena itu diperlukan metode baru penelaahan, suatu metode induktif. Ilmu pengetahuan bukanlah sesuatu titik tempat bertolak dan mengambil kesimpulan darinya. Tetapi ilmu pengetahuan adalah sesuatu tempat sampai ke tujuan. Untuk memahami dunia ini, pertama orang mesti "mengamati"nya. Pertama, kumpulkan fakta-fakta. Kemudian, kata Bacon, ambil kesimpulan dari fakta-fakta itu dengan cara argumentasi induktif yang logis. Meskipun para ilmuwan tidak mengikuti metode induktif Bacon dalam semua segi, tetapi ide umumnya yang diutarakannya penelitian dan percobaan penting yang ruwet jadi gerak dorong dari metode yang digunakan oleh mereka sejak itu.[3]

Pembaruan logika di Barat berikutnya disusul oleh lain-lain penulis di antaranya adalah Gottfried Wilhem von Leibniz, atau biasa dieja Leibnitz atau Von Leibniz.[4] Ia menganjurkan penggantian pernyataan-pernyataan dengan simbol-simbol agar lebih umum sifatnya dan lebih mudah melakukan analisis. Ia terutama terkenal karena faham Théodicée bahwa manusia hidup dalam dunia yang sebaik mungkin karena dunia ini diciptakan oleh Tuhan Yang Sempurna. Faham Théodicée ini menjadi terkenal karena dikritik dalam buku Candide karangan Voltaire. Demikian juga Leonard Euler, seorang ahli matematika dan logika Swiss melakukan pembahasan tentang term-term dengan menggunakan lingkaran-lingkaran untuk melukiskan hubungan antarterm yang terkenal dengan sebutan circle-Euler.[5]

John Stuart Mill[6] pada tahun 1843 mempertemukan sistem induksi dengan sistem deduksi. Setiap pangkal-pikir besar di dalam deduksi memerlukan induksi dan sebaliknya induksi memerlukan deduksi bagi penyusunan pikiran mengenai hasil-hasil eksperimen dan penyelidikan. Jadi, kedua-duanya bukan merupakan bagian-bagian yang saling terpisah, tetapi sebetulnya saling membantu. Mill sendiri merumuskan metode-metode bagi sistem induksi, terkenal dengan sebutan Four Methods.[7]

Logika Formal sesudah masa Mill lahirlah sekian banyak buku-buku baru dan ulasan-ulasan baru tentang logika. Dan sejak pertengahan abad ke-19 mulai lahir satu cabang baru yang disebut dengan Logika-Simbolik. Pelopor logika simbolik pada dasarnya sudah dimulai oleh Leibniz.

Logika simbolik pertama dikembangkan oleh George Boole dan Augustus de Morgan. Boole secara sistematik dengan memakai simbol-simbol yang cukup luas dan metode analisis menurut matematika, dan Augustus De Morgan (1806-1871) merupakan seorang ahli matematika Inggris memberikan sumbangan besar kepada logika simbolik dengan pemikirannya tentang relasi dan negasi.

Tokoh logika simbolik yang lain ialah John Venn (1834-1923), ia berusaha menyempurnakan analisis logik dari Boole dengan merancang diagram lingkaran-lingkaran yang kini terkenal sebagai diagram Venn (Venn’s diagram) untuk menggambarkan hubungan-hubungan dan memeriksa sahnya penyimpulan dari silogisme. Untuk melukiskan hubungan merangkum atau menyisihkan di antara subjek dan predikat yang masing-masing dianggap sebagai himpunan.

Perkembangan logika simbolik mencapai puncaknya pada awal abad ke-20 dengan terbitnya 3 jilid karya tulis dua filsuf besar dari Inggris Alfred North Whitehead dan Bertrand Arthur William Russell berjudul Principia Mathematica (1910-1913) dengan jumlah 1992 halaman. Karya tulis Russell-Whitehead Principia Mathematica memberikan dorongan yang besar bagi pertumbuhan logika simbolik.

---

[1] Seorang filsuf, negarawan dan penulis Inggris. Ia juga dikenal sebagai pendukung Revolusi Sains. Bahkan, menurut John Aubrey, dedikasinya menggabungkannya ke dalam sebuah kelompok ilmuwan yang bersejarah yang meninggal dunia akibat eksperimen mereka sendiri.

[2] Jean Overton Fuller, Sir Francis Bacon: A Biography, 1981, East-West Publications.

[3] Ibid.

[4] Filsuf Jerman keturunan Serbia dan berasal dari Sachsen (1646-1716 M)

[5] Taufiq, Ahmad, Modul Ilmu Mantiq/Logika, IAIN Syarif Hidayatullah, jakarta.

[6] Seorang filsuf empiris dari Inggris. Ia juga dikenal sebagai reformator dari utilitarianisme sosial

[7] Ibid.