Vastandlike predikaatide kasutamine predikaatide defineerimisel ja predikaatide kooskkõlalisus
Karmo Talts
Vaatame habemeajaja paradoksi. Kui me defineerime predikaadi korraga predikaatide "ajab habet" ja "ei aja habet" abil, siis tekib paradoksioht. St., defineerime predikaadi mingi teise predikaadi ja selle eituse abil.
Vaatame, kas leidub teisi paradokse, mis on analoogsed. Kui me defineerime predikaadi korraga predikaadi "käib kohta" ja "ei käi kohta" abil, siis tekib samuti paradoks. Samuti siis, kui me defineerime predikaadi predikaatide "kuulub hulka" ja ei "kuulu hulka abil".
Vaatame nüüd selle tähendust. Predikaat P, mis on korraga defineeritud predikaadi Q ja selle eituse abil, ei saa olla päris kooskkõlaline, sest juhul kui Q ja Q eituse abil on defineeritud predikaadid Q x-i puhul ja mitte-Q y puhul, ja nende predikaatide abil on defineeritud tervikpredikaat, siis x ja y-i kokku langemisel tekib vasturääkivus.
No comments:
Post a Comment