Predikaadi kooskõlalisus
Karmo Talts
Vaatame predikaadi kooskkõlalisust. Predikaat P on kooskkõlaline siis, kui mistahes objekti puhul saab ilma vasturääkivustesse sattumata omistada predikaadi P või saab ilma vasturääkivustesse sattumata eitada, et objektil on predikaat P.
Vaatame nüüd väiteid. Väide kasutab kooskõlalisi predikaate või väide kasutab mitte-kooskõlalisi predikaate objektide kohta, mille puhul neid on võimalik vasturääkivustesse sattumata rakendada või mille puhul on võimalik vasturääkivustesse sattumata eitada, et objektidel on need predikaadid või väide kasutab mitte-kooskõlalise predikaate objektide puhul, mille puhul pole võimalik neid vasturääkivustesse sattumata rakendada või mille puhul pole võimalik vasturääkivustesse sattumata eitada, et objektidel on need predikaadid. Viimasel juhul pole ei väide ega väite eitus kooskõlalised.
Vaatame nüüd, kas on võimalik sõnastada loogikaseadus, mis seda arvesse võtab. Mitte-kooskõlisi predikaate ei tohi ilma piiranguteta väidete sõnastamisel kasutada, muidu tekib paradoks.
No comments:
Post a Comment