ALFRED TARSKI: AHLI LOGIKA TERBESAR ABAD 20

ALFRED TARSKI: AHLI LOGIKA TERBESAR ABAD 20

Alfred Tarski (1902-1983) dibesarkan dan dididik di Warsawa, Polandia. Dia barangkali merupakan ahli logika terbesar abad 20. Karyanya sangat fundamental bagi filsafat bahasa modern dan logika filsafat. Di Universitas Warsama dia belajar matematika, biologi, filsafat dan bahasa. Pada awal kariernya dia sudah punya nama karena karyanya tentang dasar-dasar matematika. Tetapi pengaruh Tarski paling besar terutama karena karyanya dalam semantik dan definisinya tentang kebenaran dalam bahasa formal.

            Filsafat sudah lama berusaha keras mencari penjelasan yang memadai tentang konsep kebenaran. Persisnya seperti apa suatu kalimat itu sehingga bisa dianggap benar? Jawaban paling populer, sejak Aristoteles, ialah menganggap bahwa suatu kalimat benar ketika ia sesuai dengan fakta. Namun, berusaha menjelaskan gagasan tentang “kesesuaian” tanpa merujuk pada konsep kebenaran dalam definisi terbukti sangat sulit. Tarski memecahkan masalah itu untuk bahasa formal. Dia sendiri pesimistis untuk menerapkan solusinya pada bahasa alami seperti Inggris atau Prancis. Namun demikian, ini tidak menghentikan para filsuf untuk berusaha merampungkan proyek semacam itu.

            Menurut Tarski, definisi apa pun yang dikemukakan tentang kebenaran harus mencakup sebagai konsekuensinya semua ekuivalen dari bentuk yang ditunjukkan di bawah ini:

1.      Suatu kalimat S adalah benar dalam suatu bahasa L, jika dan hanya jika p. Di mana p mewakili terjemahan S dalam peringkat-kedua, atau “meta”-bahasa.

Syarat ini, yang disebut “Konvensi T” oleh Tarski, mungkin memiliki contoh, misalnya:

2.      “Schnee ist weiss” adalah benar dalam bahasa Jerman, jika dan hanya jika salju itu putih.

Tetapi juga:

3.      “Snow is white” adalah benar dalam bahasa Inggris, jika dan hanya jika snow is white.

            Contoh-contoh di atas menyoroti bahwa apa yang penting bagi definisi apa pun yang dikemukakan tentang kebenaran, menurut Tarski, adalah pembedaan antara “bahasa obyek” dan
“meta-bahasa”. Kalimat lengkap, (1), (2), dan (3) semua adalah kalimat yang diungkapkan dalam meta-bahasa, yakni, kalimat tersebut digunakan untuk menyebutkan dan menegaskan sesuatu dari kalimat lain. Sekarang dalam kasus (3), jelas bahwa meta-bahasa dan bahasa obyek keduanya adalah bahasa Inggris. Bahasa-bahasa alami, seperti bahasa Inggris atau Jerman (atau bahasa dunia lainnya), kenyataannya merupakan meta-bahasa mereka sendiri, suatu ciri khusus yang memungkinkan bahasa-bahasa tersebut menggunakan dan menyebutkan kalimat mereka sendiri. Bahasa formal, seperti dalam logika, matematika dan program komputer, mungkin “secara semantik terbuka”, selama tidak ada kalimat yang menyebutkan kalimat lain dalam bahasa yang sama dianggap sebagai formula yang dirumuskan dengan baik.

            Pembedaan antara bahasa “yang secara semantik terbuka” dan yang “secara semantik tertutup” penting bagi Tarski.  Pertama, karena dia berpendapat bahwa hanya bahasa yang secara semantik terbuka dapat memiliki definisi tentang kebenaran. Kedua, karena ketika, sebagaimana dalam bahasa alami, bahasa obyek dan meta-bahasa identik, paradoks seperti “paradoks pembohong” dapat muncul yang tidak dapat diputuskan. Pikirkan:

4.      Kalimat ini salah.

(4)  adalah tidak dapat diputuskan karena dengan mengacu pada dirinya sendiri, jika ia benar maka ia salah, dan jika ia salah, maka ia benar. Karena itu, Tarski bersikeras bahwa kebenaran hanya dapat didefinisikan dengan lengkap untuk bahasa-bahasa “terbuka”, bahasa di mana kebenaran dinisbatkan dari “luar” bahasa (yakni, dalam meta-bahasa) yang bersangkutan.