Impredikatiivsete predikaatide omamise sõltuvus predikatiivsetest predikaatidest

Impredikatiivsete predikaatide omamise sõltuvus predikatiivsetest predikaatidest

Karmo Talts

Vaatame juhte, kus heteroloogilisuse mõistet saab rakendada. Sõna "pikk" pole pikk sõna ja predikaadid Pikk ja Mitte-pikk pole impredikatiivsed predikaadid.
Üldistame nüüd selle tulemuse. Kui x-il on predikatiivne predikaat P, mis tagab kas selle, et x-il on impredikatiivne predikaat Q või selle, et x-il on impredikatiivne predikaat ¬Q, siis on x-l predikaat Q või predikaat ¬Q. Vastasel juhul ei ole ei nii, et x-il on pedikaat Q ega nii, et x-il on predikaat ¬Q.