Vagueness: Perbedaan antara revisi

=== FuzzyLogika logicfuzzy ===

Pendekatan teoretis fuzzylogika logicfuzzy atau logika samar, dikembangkan matematikawan Amerika, [[:en:Lotfi_Zadeh|Lotfi Zadeh]].Teori ini mengusulkan transisi bertahap antara "kesalahan sempurna", misalnya, pernyataan " [[Bill Clinton]] botak", hingga "kebenaran sempurna", untuk, katakanlah, " [[Patrick Stewart]] botak". Dalam logika biasa, hanya ada dua nilai kebenaran: "benar" dan "salah". Perspektif samar berbeda dengan memperkenalkan konsep jumlah nilai kebenaran tak terbatas di sepanjang spektrum antara kebenaran sempurna hingga kepalsuan sempurna. Jika kebenaran sempurna diwakili oleh "1", dan kepalsuan sempurna dengan "0", kasus batas dianggap memiliki "nilai kebenaran" antara 0 dan 1 (misalnya, 0,6). Pendukung pendekatan logika samar termasuk KF Machina (1976)<ref>{{Cite journal|last=Machina|first=K. F|date=1976|title=Truth, belief, and vagueness|journal=Journal of Philosophical Logic|volume=5|pages=47-78}}</ref>  dan Dorothy Edgington (1997).<ref>{{Cite book|last=Edgington|first=Dorothy|date=1997|title=Vagueness by Degrees|publisher=MIT Press|pages=294-316|url-status=live}}</ref>

Dalam semantik supervaluasionis, seseorang dapat mendefinisikan predikat "supertrue" sebagai arti "benar pada semua [[presifikasi]] (proses membuat pernyataan menjadi lebih tepat)".<ref>{{Cite web|title=precisification|url=https://www.wordsense.eu/precisification/|website=wordsense|access-date=07/12/2021}}</ref> Predikat ini tidak akan mengubah pernyataan semantik atomis (mismisal: "Frank botak", di mana Frank adalah kasus batas kebotakan), tetapi memiliki konsekuensi bagi pernyataan-pernyataan yang kompleks secara logis. Secara khusus, [[Tautologi (logika)|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.