Tühjad tõed ja predikaatide definitsioonid
Karmo Talts
Vaatame väite "kõik lennukid ei ole lennumasinad" staatust ajal, kui lennukeid polnud veel valmistatud. See väide oli siis tühjalt tõene.
Vaatame nüüd, kuidas see väide sobib kokku sellega, et lennuk on definitsiooni järgi teatud tüüpi lennuvahend. See tekitab esmapilgul vasturääkivuse.
Kasutame nüüd teise järgu loogikat. Väide, et lennuki predikaat on teatud tüüpi lennumasina predikaat, ei ole üldse lennukite, vaid predikaadi Lennuk kohta käiv väide.
No comments:
Post a Comment