Tõde ja paratamatult tõesed väited ning tõeskeemi poolt tekitatav ontoloogiline kohustus
Karmo Talts
Võtame tõe defineerimisel arvesse seda, et võimatud väited on paratamatult väärad. P on väär parajasti siis, kui pole nii, et P või pole võimalik, et P. P on tõene parajasti siis kui P ja on võimalik, et P.
Vaatame nüüd selle tähendust paratamatult väärade väidete jaoks. Paratamatult väära väite P vääruseks piisab P mitte võimalikkusest. Seega ainus ontoloogiline kohustus, mille tõeskeem tühja baasteooria jaoks kaasa toob, on see, et lisaks nullile eksisteerib selle, et null ei ole endaga identne, võimatus.
No comments:
Post a Comment