Konsistentsed definitsioonid ja paradoksid
Karmo Talts
Vaatame võimalusi kasutada parakonsistentstete loogikate konsistentsioperaatorit mõistete defineerimisel. X on defineeritud Y-ina juhtudel, kui Y on konsistentne.
Vaatame nüüd Nelson Grellingi paradoksi. Predikaat on autoloogiline siis, kui predikaat on kooskõlaliselt endale rakendatav ja heteroloogiline parajasti siis, kui ta kooskõlaliselt pole endale rakendatav. Heteroloogilisuse predikaat ei ole seega ei hetereoloogiline ega autoloogiline.
Vaatame nüüd valetaja paradoksi. Väide P on tõene parajasti siis, kui kooskõlaliselt on nii, et P ja väär siis, kui kooskõlaliselt pole nii, et P. Valetajalause pole seega ei tõene ega väär.
No comments:
Post a Comment