T-skeem ja predikaatide, mille omamise puhul väite poolt on nii, nagu väide ütleb, ekvivalentsus

T-skeem ja predikaatide, mille omamise puhul väite poolt on nii, nagu väide ütleb, ekvivalentsus 

Karmo Talts

Vaatame, milles seisab t-skeemi probleem. Kui leidub mingi teine predikaat P, mis on väitel Q parajasti siis, kui on nii, et Q, siis t-skeemi järgi on väide „Q on tõene” ja väide „Q-l on predikaat P”, ekvivalentsed.
Vaatame nüüd, millistel tingimustel on väide P tõene parajasti siis, kui on nii, et P. See on nii juhul, kui ei leidu teist predikaati Q, mis on väitel P parajasti siis, kui on nii, et P või ühegi teise predikaadi Q, mis on väitel P siis, kui on nii, et P, omistamisest P-le ei järeldu, et P on väär.