Paradoks Pembohong dan Semantik

'Kalimat ini salah' tidak dapat secara konsisten diberikan nilai kebenaran, dan paradoks Pembohong yang dihasilkan telah mendorong teori kebenaran modern.

Definition

Paradoks semantik muncul ketika suatu bahasa yang mengandung predikat kebenarannya sendiri memungkinkan kalimat referensi diri (seperti kalimat yang menyatakan dirinya salah) yang evaluasinya mengarah pada kontradiksi.

Scope

Topik ini mencakup paradoks Pembohong dan keluarga paradoks semantik (Curry, Pembohong yang Diperkuat, pencerita kebenaran) yang muncul dari penggabungan predikat kebenaran dengan referensi diri. Ini membahas tanggapan utama: hierarki bahasa objek dan metalanguage Tarski, teori titik tetap Kripke dengan celah nilai kebenaran, pendekatan parakonsisten (dialetheic) dan teori revisi, serta masalah balas dendam yang terus-menerus, di mana versi yang diperkuat mengembalikan paradoks terhadap solusi yang diusulkan.

Core questions

• Bagaimana sebuah kalimat dapat secara konsisten menyatakan dirinya salah?
• Haruskah kita membatasi predikat kebenaran (Tarski) atau membiarkan celah nilai kebenaran (Kripke)?
• Dapatkah solusi apa pun menghindari paradoks 'balas dendam' yang menargetkannya secara langsung?
• Apakah paradoks menunjukkan bahwa beberapa kontradiksi itu benar?

Key concepts

• referensi diri
• skema-T
• celah dan kelebihan nilai kebenaran
• hierarki Tarskian
• ketergantungan
• paradoks balas dendam

Key theories

Hierarki Tarskian

Tarski memblokir paradoks Pembohong dengan menyangkal bahasa apa pun predikat kebenaran univokal yang dapat diterapkan sendiri, menstratifikasi kebenaran ke dalam hierarki bahasa objek dan metalanguage sehingga 'benar' selalu berlaku dari tingkat yang lebih tinggi.

Teori titik tetap (celah)

Kripke memungkinkan predikat kebenaran tunggal yang dapat diterapkan sendiri tetapi menggunakan konstruksi titik tetap di mana kalimat paradoks tidak berdasar dan jatuh ke dalam celah nilai kebenaran, menghindari kontradiksi tanpa hierarki.

History

Paradoks Pembohong berasal dari zaman kuno (Eubulides). Karya Tarski pada tahun 1930-an hingga 1940-an mendiagnosisnya melalui ketidakdefinisi kebenaran dan mengusulkan hierarki. Teori titik tetap Kripke tahun 1975 menghidupkan kembali predikat kebenaran tunggal dengan celah, setelah itu teori revisi (Gupta-Belnap), pendekatan parakonsisten (Priest), dan logika berbasis celah Field tahun 2008 berusaha mengatasi balas dendam.

Debates

Dapatkah paradoks Pembohong diselesaikan tanpa balas dendam?

Apakah setiap penjelasan kebenaran yang konsisten dapat menangani paradoks Pembohong tanpa versi 'balas dendam' yang diperkuat mengembalikan paradoks menggunakan gagasan yang diperkenalkan oleh solusi itu sendiri (seperti 'tidak benar' atau 'bercelah'), atau apakah penerimaan dialetheisme terhadap kontradiksi yang benar adalah satu-satunya pilihan yang stabil.

Key figures

• Alfred Tarski
• Saul Kripke
• Hartry Field
• Graham Priest
• Anil Gupta

Seminal works

• tarski1944
• kripke1975
• field2008

Frequently asked questions

Apa itu paradoks balas dendam?

Paradoks balas dendam adalah paradoks Pembohong yang diperkuat yang dibangun menggunakan konsep-konsep yang diandalkan oleh solusi yang diusulkan. Jika Anda menyelesaikan paradoks Pembohong dengan mengatakan bahwa itu 'tidak benar dan tidak salah', kalimat 'Kalimat ini tidak benar' menggunakan 'tidak benar' untuk menyulut kembali kontradiksi. Balas dendam adalah hambatan utama yang dihadapi setiap teori paradoks Pembohong.