Ketidakjelasan dan Sorites

Menghilangkan satu butir pasir tidak pernah mengubah tumpukan menjadi bukan tumpukan, namun penghilangan berulang kali melakukannya — paradoks sorites mengungkap logika predikat yang tidak jelas.

Definition

Suatu predikat dikatakan tidak jelas apabila mengakui kasus-kasus batas dan tidak memiliki batas yang tajam; paradoks sorites muncul karena serangkaian langkah toleransi yang secara individual meyakinkan mengarah dari kasus yang jelas ke kasus yang tidak jelas.

Scope

Topik ini mencakup fenomena ketidakjelasan dan paradoks sorites (tumpukan) yang ditimbulkannya. Ini membahas struktur paradoks, keberadaan kasus-kasus batas dan ketidakberbatasan yang tampak, serta teori-teori utama: epistemisisme (predikat yang tidak jelas memiliki batas yang tajam tetapi tidak dapat diketahui, logika klasik dipertahankan), supervaluasi (celah nilai kebenaran dengan logika klasik dipertahankan), dan teori derajat (logika multi-nilai atau logika fuzzy), bersama dengan masalah ketidakjelasan tingkat tinggi yang menimpa beberapa di antaranya.

Core questions

• Premis manakah dari argumen sorites yang harus kita tolak?
• Apakah predikat yang tidak jelas memiliki batas tajam yang tidak dapat kita ketahui (epistemisisme)?
• Haruskah kita meninggalkan bivalensi dan mengakui celah nilai kebenaran atau derajat kebenaran?
• Bagaimana seharusnya ketidakjelasan tingkat tinggi — ketidakjelasan tentang kasus-kasus batas — ditangani?

Key concepts

• kasus-kasus batas
• prinsip toleransi
• seri sorites
• epistemisisme
• supervaluasi dan presisifikasi
• ketidakjelasan tingkat tinggi

Key theories

Epistemisisme

Williamson berpendapat bahwa predikat yang tidak jelas memang memiliki batas yang tajam, yang ditetapkan oleh penggunaan, tetapi lokasinya pada prinsipnya tidak dapat diketahui karena batasan margin-of-error pada pengetahuan, sehingga logika klasik dan bivalensi sepenuhnya dipertahankan.

Supervaluasi

Fine memperlakukan suatu kalimat sebagai benar jika dan hanya jika kalimat tersebut benar pada setiap presisifikasi yang diizinkan; kalimat-kalimat batas tidak benar maupun salah, mempertahankan logika klasik pada tingkat kebenaran super sambil menyangkal bivalensi untuk kasus-kasus individual.

History

Sorites dikaitkan dengan ahli logika kuno Eubulides. Perlakuan modern dihidupkan kembali pada akhir abad kedua puluh: supervaluasi Fine tahun 1975, akun fuzzy dan teori derajat, serta pembelaan Williamson yang berpengaruh pada tahun 1994 terhadap epistemisisme, dengan survei Keefe tahun 2000 yang membandingkan teori-teori yang bersaing.

Debates

Apakah ada batas tajam yang tidak dapat kita ketahui?

Apakah klaim epistemisisme bahwa predikat yang tidak jelas menarik garis tajam tetapi tidak dapat diketahui lebih kredibel daripada meninggalkan bivalensi (supervaluasi, teori derajat), dan apakah ada pandangan yang lolos dari ketidakjelasan tingkat tinggi.

Key figures

• Timothy Williamson
• Kit Fine
• Rosanna Keefe
• Crispin Wright
• Eubulides of Miletus

Seminal works

• fine1975
• williamson1994
• keefe2000

Frequently asked questions

Apa itu paradoks sorites?

Mulailah dengan tumpukan pasir dan singkirkan satu butir pasir pada satu waktu. Setiap penghilangan tampaknya terlalu kecil untuk mengubah tumpukan menjadi bukan tumpukan (prinsip toleransi), namun setelah cukup banyak penghilangan, tidak ada tumpukan yang tersisa. Rangkaian langkah-langkah yang masuk akal mengarah pada kesimpulan yang salah, jadi salah satu premis — biasanya prinsip toleransi — harus ditolak.