Tolong jelaskan mengenai Supervaluasionisme dari Vagueness

Pendekatan teoretis lain dikenal sebagai " supervaluasionisme ". Pendekatan ini dipertahankan oleh Kit Fine dan Rosanna Keefe. Fine berpendapat bahwa penetapan batas dari suatu predikat kabur bukanlah benar atau salah, melainkan merupakan kondisi yang berada dalam "kesenjangan nilai kebenaran ". Dia membela sistem semantik kabur yang menarik dan rumit, berdasarkan gagasan bahwa predikat kabur mungkin dapat  "dibuat tepat" dengan banyak cara alternatif. Sistem ini memiliki konsekuensi bahwa kasus batas istilah yang kabur akan menghasilkan pernyataan yang bukan benar atau salah.

Dalam semantik supervaluasionis, seseorang dapat mendefinisikan predikat "supertrue" sebagai arti "benar pada semua presisifikasi (proses membuat pernyataan menjadi lebih tepat)". Predikat ini tidak akan mengubah pernyataan semantik atomis (misal: "Frank botak", di mana Frank adalah kasus batas kebotakan), tetapi memiliki konsekuensi bagi pernyataan-pernyataan yang kompleks secara logis. Secara khusus, tautologi logika kalimat, seperti "Frank botak atau Frank tidak botak", akan menjadi supertrue, karena pada setiap kondisi kebotakan, "Frank botak" atau "Frank tidak botak" akan menjadi benar. Karena masalah penetapan batas makna tampaknya mengancam prinsip-prinsip seperti ini (tidak termasuk tengah), fakta bahwa supervaluasionisme dapat "menyelamatkan" mereka dipandang sebagai sebuah kebajikan.