Predikaat Väide vastab ning küsimus väite tõesuse ja väite tegelikkusele vastamise tingimustest
Vaatame kahekohalist predikaati Väide vastab. Tõe vastavusteooria järgi x on tõene parajasti siis, kui x vastab y-le ja y-i puhul on tegemist tegelikkusega.
Vaatame nüüd teisi võimalusi küsimuses, kas Tõene(x)-ist ja Väide vastab (x,y)-ist, kus y on tegelikkus, vähemalt üks on teise tingimus. Kui vähemalt üks on neist teise tingimus, siis on veel võimalik, et kui leidub väide x, mis vastab tegelikkusele, siis on x tõene, aga siis, kui x on tõene ei pruugi leiduda väidet x, mis vastab tegelikkusele ja on võimalik, et kui väide x on tõene, siis leidub väide x, mis vastab tegelikkusele, aga siis, kui leiduv väide x, siis ei pruugi x olla tõene.
Vaatame nüüd esimest võimalust. Väite tõesusel võib olla ka teisi piisavaid tingimusi lisaks sellele, et väide vastab tegelikkusele. Pole näiteks välistatud, et tegelikkusel vastavad väited on tõesed sõltumata sellest, kas nad on vähemalt ühe teooriaga kooskõlas ja kooskõlalised teooriad on tõesed sõltumata sellest, kas vähemalt üks nende väide vastab tegelikkusele.
Vaatame nüüd teist võimalust. Väite tõesuseks ei piisa sellest, et väide vastab tegelikkusele. Pole välistatud see, et ainult need tegelikkusele viitavad väited, mis on kooskõlas vähemalt ühe teooriaga, mille kõik väited vastavad tegelikkusele, on tõesed või see, et kui teooria on tõene, siis teooria on kooskõlaline ja kõik selle väited vastavad tegelikkusele, aga siis, kui siis teooria on kooskõlaline ja kõik selle väited vastavad tegelikkusele, ei pruugi teooria olla tõene.
No comments:
Post a Comment