Di abad ke-19, ada sejumlah upaya untuk memutakhirkan logika (George Boyle, Ernst Schröder, Gotlob Frege, Bertrand Russell dan A. N. Whitehead). Tapi, selain memperkenalkan simbol-simbol, dan beberapa penataan di sana-sini, tidak terdapat perubahan yang mendasar di sini. Banyak klaim besar yang dibuat, contohnya oleh para filsuf linguistik, tapi tidak terdapat banyak basis untuk mereka. Semantik (yang berurusan dengan kesahihan sebuah argumen) dipisahkan dari sintaksis (yang berurusan dengan apakah sebuah kesimpulan dapat ditarik dari aksiom dan premis tertentu). Ini dianggap sebagai sesuatu yang baru, padahal hanya merupakan pernyataan ulang dari pembagian kuno, yang telah akrab bagi orang-orang Yunani Kuno, antara logika dan retorika. Logika modern didasarkan pada hubungan logis di antara seluruh kalimat.

Pusat perhatiannya telah bergeser dari silogisme menuju argumen-argumen yang hipotetikal dan disjungtif. Ini bukanlah satu lompatan yang dapat membuat orang yang melihat menahan nafas. Kita dapat mulai dengan kalimat (penilaian) bukannya silogisme. Hegel melakukan ini dalam Logic. Bukannya sebuah revolusi besar dalam pemikiran, ia malah lebih mirip mengocok ulang satu tumpukan kartu yang telah kusut karena dipakai berkali-kali.

Dengan menggunakan analogi fisika yang superfisial dan tidak tepat, apa yang disebut "metode atomik" yang dikembangkan oleh Russell dan Wittgenstein (dan yang kemudian disangkal sendiri oleh orang yang disebut terakhir itu) mencoba membagi bahasa menjadi "atom-atomnya". Atom dasar dari bahasa menurutnya adalah kalimat sederhana, yang merupakan penyusun dari kalimat-kalimat kompleks. Wittgenstein bermimpi mengembangkan satu "bahasa formal" untuk tiap ilmu pengetahuan - fisika, biologi, bahkan psikologi. Kalimat-kalimat ditempatkan pada "uji kebenaran" yang berdasarkan hukum-hukum usang tentang identitas, kontradiksi dan tanpa-antara. Dalam kenyataannya, metode dasar yang digunakan masih tetap sama saja. "Nilai Kebenaran" adalah satu masalah "atau ini ... atau itu"[1], masalah "Ya atau Tidak", masalah "benar atau salah". Logika baru ini dirujuk sebagai kalkulus proposional. Tapi kenyataannya sistem ini bahkan tidak mampu menangani argumen-argumen yang sebelumnya dapat ditangani oleh silogisme yang paling dasar (kategorikal). Sang Gunung telah melahirkan seekor tikus.

Kenyataannya adalah bahwa bahkan kalimat sederhanapun tidak dapat dipahami, sekalipun ia dianggap sebagai "batu penyusun materi" linguistik. Bahkan penilaian yang paling sederhana, seperti yang ditunjukkan Hegel, mengandung pula kontradiksi. "Caesar adalah seorang manusia", "Fido adalah seekor anjing", "pohon itu hijau", semua menyatakan bahwa yang khusus adalah sama dengan yang umum. Kalimat itu nampaknya sederhana, sebenarnya tidak. Ini adalah tutup buku bagi logika formal, yang terus saja berkeras untuk mengabaikan semua kontradiksi, bukan hanya dari alam dan masyarakat, tapi juga dalam pemikiran dan bahasa itu sendiri. Kalkulus proposional berangkat dari persis postulat yang sama dengan yang digunakan oleh Aristoteles di abad ke-4 SM, yaitu, hukum identitas, hukum (tanpa-) kontradiksi, dan hukum tanpa-antara, yang ditambahi hukum negasi-ganda. Hukum-hukum ini tidak dituliskan dengan huruf biasa melainkan dengan simbol sebagai berikut:

a) p = p

b) p = ~ p

c) p V = ~ p

d) ~ (p ~ p)

Semuanya terlihat sangat manis, tapi tidaklah membuat perbedaan sedikitpun dengan hakikat silogisme. Terlebih lagi, logika simbolis itu sendiri bukanlah satu ide baru. Di tahun 1680-an, otak filsuf Jerman Leibniz yang selalu subur itu telah menghasilkan satu logika simbolis, sekalipun ia tak pernah mempublikasikannya.

Dimasukkannya simbol ke dalam logika tidaklah membawa kita selangkahpun lebih maju, persis karena alasan bahwa simbol-simbol itu, pada gilirannya, cepat atau lambat harus diterjemahkan ke dalam kata-kata dan konsep-konsep. Mereka memiliki keuntungan seperti tulisan steno, lebih praktis untuk operasi teknis tertentu, komputer dan beberapa hal lain, tapi hakikatnya masih persis sama seperti yang sebelumnya. Jaringan simbol matematis yang membingungkan ini diiringi oleh jargon-jargon yang benar-benar muluk, yang nampaknya memang dibuat sehingga logika tidak akan pernah dipahami oleh orang-orang kebanyakan, seperti kasta-pendeta dari Mesir dan Babilonia yang menggunakan kata-kata dan simbol kultus rahasia untuk menjaga agar pengetahuan mereka tidak bocor pada orang lain. Satu-satunya perbedaan adalah bahwa orang-orang Mesir dan Babilonia itu memang benar-benar memiliki pengetahuan yang berharga untuk dimiliki, seperti gerak benda-benda langit, apa yang tidak dimiliki sama sekali oleh para ahli logika modern.

Istilah-istilah "predikat monadik", "pengkuantifikasi", "variabel individu" dan lain-lain dsb., dirancang untuk memberi kesan bahwa logika formal adalah satu ilmu yang tidak boleh dipandang enteng, karena ia tidak akan pernah dapat dipahami oleh orang-orang kebanyakan. Kita harus benar-benar prihatin bahwa nilai ilmiah dari satu sistem kepercayaan tidak berbanding lurus dengan ketidakjelasan bahasa yang dipergunakannya. Jika itu yang terjadi, tiap ahli mistik-religius dalam sejarah akan menjadi ilmuwan yang setaraf dengan gabungan Newton, Darwin dan Einstein sekaligus.

Dalam komedi karya Moliere, Le Bourgeois Gentilhomme, M. Jourdain terkejut kala diberitahu bahwa ia telah berbicara dalam prosa sepanjang hidupnya, tanpa ia sadari. Logika modern hanya mengulangi semua kategori kuno, dengan dibubuhi beberapa simbol dan istilah-istilah yang enak didengar, untuk menyembunyikan fakta bahwa sama sekali tidak ada sesuatupun hal baru dalam apa yang mereka nyatakan. Aristoteles telah menggunakan "predikat monadik" (pernyataan yang menyerahkan kepemilikan pada individu) sejak berabad-abad lalu. Tidak diragukan lagi, seperti M. Jourdain, ia akan bergirang ketika tahu bahwa ia telah menggunakan Monadic Predicate sepanjang hidupnya, tanpa ia sadari. Tapi hal itu tidak akan membuat perbedaan apapun atas apa yang tengah dikerjakannya. Penggunaan label-label baru tidaklah mengubah isi dari semangkuk selai. Pun penggunaan jargon tidak akan meningkatkan kesahihan satu bentuk pemikiran yang sudah terkikis jaman.

Adalah satu kebenaran yang memprihatinkan bahwa, di penghujung abad ke-20, logika formal telah mencapai batas terakhirnya. Tiap penemuan baru dalam ilmu pengetahuan terus saja menghujamkan pukulan pada logika itu. Sekalipun bentuknya diubah-ubah, hukum-hukum dasarnya tetap tidak dapat berubah. Satu hal sudah jelas, perkembangan logika formal selama seratus tahun terakhir, pertama melalui kalkulus proposional (p.c.), kemudian melalui kalkulus proposional rendah (l.p.c.) telah membawa subjek tersebut pada titik penyempurnaan sejauh yang dimungkinkan. Kita telah mencapai sistem logika formal yang paling komprehensif, sehingga penambahan lain tentunya tidak akan menyajikan sesuatupun yang baru. Logika formal telah menyatakan segala yang dapat dinyatakannya. Jika kita berani mau jujur, ia telah mencapai tahap itu beberapa waktu yang lalu.

Baru-baru ini, basis telah bergeser dari argumen pada kesimpulan deduktif. Bagaimana "teorema logika diturunkan"? Ini adalah landasan yang amat rapuh. Basis logika formal telah diterima tanpa pertanyaan selama berabad-abad. Satu penyelidikan yang menyeluruh atas landasan teoritik dari logika formal niscanya akan berakhir pada perubahan logika itu menjadi lawannya. Arend Heyting, pendiri Aliran Matematika Intuisionis, menolak kesahihan dari beberapa pembuktian yang digunakan dalam matematika klasik. Walau demikian, kebanyakan ahli logika masih terus berkeras untuk memeluk cara-cara logika formal yang usang itu, seperti seorang yang berkeras memeluk sebatang jerami ketika ia sudah hampir tenggelam:

"Kami tidak percaya bahwa ada logika yang non-Aristotelian dalam makna seperti adanya geometri yang non-Euklides, yaitu, satu sistem logika yang mengasumsikan kebalikan dari prinsip-prinsip logika Aristotelian, prinsip kontradiksi dan tanpa-antara, sebagai kebenaran, dan dapat menarik kesimpulan-kesimpulan yang sahih daripadanya."[xvii]

Ada dua cabang utama logika formal saat ini - kalkulus proposional dan kalkulus predikat. Keduanya berangkat dari aksioma, yang harus dianggap sebagai benar "dalam semua bidang yang mungkin ada", di semua keadaan. Ujian terakhirnya tetaplah kebebasan dari segala kontradiksi. Segala hal yang kontradiktif akan dianggap sebagai "tidak sahih". Tentu hal ini memiliki beberapa penerapan, contohnya, pada komputer yang dirancang untuk menjalankan prosedur ya atau tidak yang sederhana. Pada kenyataannya, segala aksiom semacam itu adalah tautologi. Bentuk-bentuk kosong ini dapat diisi dengan hakikat macam apapun juga. Keduanya diterapkan dengan cara yang mekanistis dan memaksa terhadap segala subjek. Ketika persoalannya menyangkut proses yang linear, keduanya memang berjalan dengan baik. Hal ini penting, karena sejumlah besar proses dalam alam dan masyarakat benar berjalan dengan cara ini. Tapi ketika kita sampai pada gejala-gejala yang lebih kompleks, kontradiktif dan non-linear, hukum-hukum logika formal runtuh. Akan segera nampak bahwa, jauh dari klaim mereka bahwa merekalah "kebenaran di segala bidang yang mungkin ada", mereka adalah, seperti kata Engels, sangat terbatas dalam penerapan mereka, dan dengan cepat akan terkupas kedangkalannya ketika berhadapan dengan gejala sebagai sebuah totalitas keadaan. Lebih jauh lagi, persis inilah keadaan yang telah menyita perhatian ilmu pengetahuan, khususnya bagian yang paling inovatif, di sebagian besar waktu sepanjang abad ke-20.

Diposting oleh Hendri Ansori | | 0 komentar Read More...

"Pemikiran logis, pemikiran formal secara umum," ujar Trotsky, "disusun di atas basis metode deduktif, maju dari silogisme yang lebih umum melalui sejumlah premis menuju satu kesimpulan yang sewajarnya. Rantai silogisme semacam itu disebut dengan sorites.

Aristoteles adalah orang pertama yang menulis satu sistematika atas logika formal dan logika dialektik,

sebagai cara menyusun pikiran. Tujuan dari logika formal adalah untuk menyediakan kerangka kerja untuk membedakan argumen yang sahih dan yang tidak sahih. Hal ini dilakukannya dalam bentuk silogisme. Ada berbagai bentuk silogisme, yang sebenarnya merupakan varian dari tema yang sama.

Artistoteles, dalam bukunya Organon, menyebut sepuluh kategori - substansi, kuantitas, kualitas, hubungan, tempat, waktu, posisi, keadaan, aksi, gairah - yang membentuk basis bagi logika dialektik, yang kemudian disempurnakan dalam tulisan-tulisan Hegel. Sisi lain dari karya Aristoteles tentang logika ini sering diabaikan. Bertrand Russell, contohnya, menganggap bahwa kategori-kategori ini tidak bermakna. Tapi karena para positivis logis seperti Russell telah secara praktis mencoret seluruh sejarah filsafat (kecuali potongan-potongan yang bersesuaian dengan dogma-dogma mereka) sebagai "tidak bermakna", hal ini seharusnya tidak terlalu mengejutkan atau merepotkan kita.

Silogisme adalah cara berpikir logis, yang dapat digambarkan dengan berbagai cara. Definisi yang diberikan Aristoteles sendiri adalah sebagai berikut: "Satu diskursus di mana berbagai hal dinyatakan, hal-hal lain yang tidak dinyatakan harus mengikuti apa yang dinyatakan karena hal-hal itu dinyatakan demikan." Definisi yang paling sederhana diberikan oleh A. A. Luce: "Sebuah silogisme adalah satu triad [pasangan ganda tiga] dari proposisi yang yang saling berhubungan, terhubung sedemikian rupa sehingga salah satu dari ketiganya, yang disebut Kesimpulan, harus mengikuti kedua pernyataan yang lain, yang disebut Premis."[vi]

Orang-orang Terpelajar dari abad pertengahan memusatkan perhatian mereka pada jenis logika formal yang dikembangkan Aristoteles dalam The Prior and Posterior Analytics. Dalam bentuk inilah logika Aristoteles diwariskan sampai Abad Pertengahan. Dalam prakteknya, silogisme ini mengandung dua premis dan satu kesimpulan. Subjek maupun predikat dari kesimpulan masing-masing muncul dalam salah satu dari kedua premis, bersama dengan bagian ketiga (termin tengah) yang ditemukan dalam kedua premis, tapi tidak di dalam kesimpulan. Predikat dari kesimpulan adalah termin mayor; premis di mana ia terkandung disebut premis mayor; subjek dari kesimpulan adalah termin minor; dan premis di mana ia terkandung disebut premis minor. Contohnya,

a) Semua manusia adalah fana. (Premis mayor)

b) Caesar adalah seorang manusia. (Premis minor)

c) Dengan demikian, Caesar adalah fana. (Kesimpulan)

Ini disebut satu pernyataan kategorikal afirmatif. Pernyataan ini memberi kesan sebagai sebuah rantai logis dari sebuah argumen, di mana tiap tahap niscaya diturunkan sebagai hasil dari tahap sebelumnya. Tapi, sebenarnya, bukan itu yang terjadi, karena "Caesar" sebenarnya telah termasuk dalam himpunan "semua manusia". Kant, seperti Hegel, menganggap rendah silogisme ("doktrin yang bertele-tele," ujar Kant). Baginya, silogisme "tidaklah lebih dari sekedar satu tipuan" di mana kesimpulan sebenarnya telah disisipkan tersembunyi dalam premis sehingga kesan berpikir yang ditimbulkannya adalah palsu.[vii]

Jenis lain silogisme berbentuk kondisional (jika ... maka ...), contohnya: "Jika seekor hewan adalah seekor harimau, maka ia adalah pemakan daging." Ini adalah cara lain untuk menyatakan hal yang sama dengan pernyataan kategorikal afirmatif, yaitu, semua harimau adalah pemakan daging. Hubungan yang sama terjadi pada bentuk negatifnya - "Jika ia adalah seekor ikan, maka ia bukanlah hewan menyusui" adalah cara lain untuk menyatakan "Tidak ada ikan yang menyusui". Perbedaan formal ini menyembunyikan fakta bahwa kita belum maju selangkahpun dalam pemikiran kita.

Apa yang sebenarnya baru saja ditunjukkan adalah hubungan internal antara berbagai hal, bukan hanya dalam pikiran tapi juga dalam dunia nyata. "A" dan "B" terhubung dengan satu cara tertentu terhadap "C" (bagian tengah) dan premis-premis, dengan demikian, mereka terhubung satu sama lain di dalam kesimpulan. Dengan pemahaman dan kedalaman yang dahsyat, Hegel menunjukkan bahwa apa yang ditunjukkan oleh silogisme adalah hubungan dari yang khusus ke yang umum. Dengan kata lain, silogisme itu sendiri adalah satu contoh dari kesatuan hal-hal yang bertentangan, kontradiksi dalam tingkatan paling sempurna, dan bahwa, dalam kenyataannya, segala hal adalah "silogisme".

Masa keemasan silogisme terjadi dalam Abad Pertengahan, ketika Orang-orang Terpelajar mengabdikan seluruh hidup mereka dalam perdebatan tanpa ujung tentang segala persoalan teologis yang kabur, seperti "apa jenis kelamin malaikat?" Konstruksi logika formal yang berbelit-belit itu membuat mereka nampak sedang terlibat dalam satu diskusi yang mendasar padahal, kenyataannya, mereka tidak sedang berdebat sama sekali. Alasannya terletak persis pada sifat logika formal itu sendiri. Seperti yang dinyatakan oleh namanya, logika ini hanya mengurusi segala yang memiliki bentuk [form]. Masalah tentang hakikat atau isi tidak termasuk di dalamnya. Persis inilah cacat utama dari logika formal, dan sekaligus adalah urat Achilles-nya.

Pada masa Jaman Pencerahan, pembangkitan kembali semangat kemanusiaan, ketidakpuasan terhadap logika Aristotelian meluas dengan cepat. Terjadilah satu peningkatan reaksi melawan Aristoteles, yang sesungguhnya tidak adil terhadap pemikir besar ini, tapi sesungguhnya berakar dari fakta bahwa Gereja telah menindas segala yang berharga dalam filsafatnya, dan memelihara karikatur yang tak bernyawa dari filsafat yang sangat tinggi nilainya itu. Bagi Aristoteles, silogisme hanyalah satu proses dalam tata berpikir, dan tidak harus juga menjadi bagian yang terpenting darinya. Aristoteles juga menulis tentang dialektika, dan tapi aspek ini dilupakan. Logika dilucuti dari segala kehidupan yang dimilikinya dan diubah, mengutip Hegel, menjadi "tulang-tulang tak bernyawa."

Penolakan terhadap formalisme tak bernyawa ini tercermin dalam gerakan terhadap empirisisme, yang membuahi janin penyelidikan dan percobaan ilmiah. Walau demikian, mustahillah untuk sama sekali mengabaikan sama sekali satu bentuk pemikiran, dan empirisisme telah sejak kelahirannya membawa benih-benih kehancurannya sendiri. Satu-satunya alternatif yang berharga untuk metode berpikir yang penuh kekurangan dan tidak tepat ini adalah dengan mengembangkan metode yang tepat dan tanpa kekurangan.

Di akhir Abad Pertengahan, silogisme telah sama sekali dipermalukan di mana-mana, dan dihinakan dan dilecehkan. Rabelais, Petrach dan Montaigne, semua menyangkal kebenaran silogisme. Tapi silogisme masih terus bertahan, terutama di negeri-negeri Katolik, yang tidak tersentuh oleh badai yang ditiupkan oleh Reformasi Protestan. Di akhir abad ke-18, logika berada dalam keadaan yang demikian buruk sehingga Kant merasa berkewajiban untuk meluncurkan satu kritik umum terhadap bentuk-bentuk cara berpikir lama dalam bukunya Critique of Pure Reason.

Hegel adalah orang pertama yang menempatkan hukum-hukum logika formal ke dalam analisis yang sepenuhnya kritis. Di dalam analisis ini ia menyempurnakan kerja yang telah dimulai oleh Kant. Tapi di mana Kant hanya menunjukkan kekurangan-kekurangan dan kontradiksi yang terkandung di dalam logika tradisional, Hegel maju lebih jauh, menguraikan satu pendekatan yang sama sekali berbeda terhadap logika, satu pendekatan dinamis yang akan memasukkan pergerakan dan kontradiksi ke dalam logika, dua hal yang tidak sanggup ditangani oleh logika formal.

Diposting oleh Hendri Ansori | | 2 komentar Read More...