Kondisi Tarski dan kebenaran

Munculnya logika formal (studi abstrak pernyataan dan argumen deduktif) dan pertumbuhan bunga dalam sistem formal (bahasa formal atau matematika) di antara banyak filsuf Anglo-Amerika di awal abad ke-20 menyebabkan upaya baru untuk menentukan kebenaran dalam logis atau istilah ilmiah dapat diterima. Hal ini juga menyebabkan penghargaan baru terhadap paradoks pembohong kuno (dikaitkan dengan filsuf Yunani kuno Epimenides), di mana kalimat mengatakan dirinya bahwa itu adalah palsu, sehingga tampaknya menjadi benar jika itu adalah palsu dan palsu jika memang benar. Ahli logika mengatur diri mereka sendiri tugas mengembangkan sistem penalaran matematika yang akan bebas dari jenis referensi-diri yang menimbulkan paradoks seperti yang dari pembohong. Namun, hal ini terbukti sulit dilakukan tanpa pada saat yang sama membuat beberapa prosedur bukti yang sah tidak mungkin. Ada referensi-diri yang baik ("Semua kalimat, termasuk ini, adalah panjang terbatas") dan referensi-diri yang buruk ("Kalimat ini adalah palsu") tapi tidak ada umumnya disepakati prinsip untuk membedakan mereka.

Upaya ini memuncak dalam karya kelahiran Polandia ahli logika Alfred Tarski, yang pada tahun 1930-an menunjukkan bagaimana membangun definisi kebenaran untuk bahasa formal atau matematika dengan cara teori yang akan menetapkan kondisi kebenaran (kondisi di mana diberikan kalimat benar) untuk setiap kalimat dalam bahasa tanpa menggunakan syarat semantik, khususnya termasuk kebenaran, dalam bahasa tersebut. ". T-kalimat" kondisi kebenaran diidentifikasi dengan cara Misalnya, bahasa Inggris T-kalimat untuk Jerman kalimat Schnee ist Weiss adalah: "Schnee ist weiss" adalah benar jika dan hanya jika salju putih. Sebuah T-kalimat mengatakan beberapa kalimat (S) dalam bahasa objek (bahasa yang sebenarnya sedang didefinisikan) bahwa S adalah benar jika dan hanya jika ..., di mana elipsis digantikan dengan terjemahan dari S ke dalam bahasa yang digunakan untuk membangun teori (metabahasa yang). Karena tidak ada terjemahan metabahasa dari setiap S (dalam hal ini, salju putih) akan berisi istilah yang benar, Tarski bisa mengklaim bahwa setiap T-kalimat menyediakan "definisi parsial" kebenaran untuk bahasa objek dan bahwa jumlah total mereka menyediakan lengkap definisi.

Sementara aspek teknis pekerjaan Tarski yang banyak dikagumi dan telah banyak dibahas, makna filosofis yang masih belum jelas, sebagian karena T-kalimat melanda banyak teori sebagai kurang dari menerangi. Tetapi berat pendapat filosofis secara bertahap bergeser, dan akhirnya penampilan platitudinous ini dianggap sebagai suatu kebajikan dan memang sebagai indikasi seluruh kebenaran tentang kebenaran. Idenya adalah bahwa, bukannya menatap pertanyaan abstrak "Apakah kebenaran ?," filsuf harus puas dengan pertanyaan tertentu "Apa kebenaran jumlah S ke?"; dan untuk setiap kalimat yang ditentukan, T-kalimat yang sederhana akan memberikan jawabannya.