Tehe "predikaat pole seda tüüpi predikaat, mida saab omistada antud objektile"
Karmo Talts
Võtame kasutusele tehte "P ei ole seda tüüpi predikaat, mida saab rakendada x-ile". See tehe võib esineda nii predikaadi sees, kui ka väite ees, jättes täpsutamata, milline väites esineb predikaat on selline, mida x-ile ei saa omistada.
Vaatame nüüd uut loogikaseadust, mille see kaasa toon. Ei saa korraga olla nii, et P kasutab predikaati Q, mis on seda tüüpi predikaat, mida saab omistada neile objektidelem, millele P Q omistab ja et P ütleb midagi sisukat.
No comments:
Post a Comment