Üldisusekvantor, hulkade vahelised suhted ja tühjad tõed
Karmo Talts
Vaatame hulkade vahelist suhet siis, kui igal objektil predikaadiga P on predikaat Q ja leidub objekte predikaadiga P. Objektide predikaadiga P hulk on objektide predikaadiga Q alamhulk.
Vaatame nüüd võimalust, et ei leidu objekte predikaadiga P. Siis on tühi hulk objektide predikaadiga Q alamhulk.
Vaatame nüüd hulkade käsitlust, milles puudub tühi hulk. Kui ei leidu objekte predikaadiga P, siis ei ole ei objektide predikaadiga P hulk objektide predikaadiga Q alamhulk (sest ei leidu objektide predikaadiga P hulka) ega tühi hulk objektide predikaadiga Q alamhulk. See tähendab, et sellisel hulkade käsitlusel põhinevas loogikas ei ole väide "igal objektil predikaadiga P on predikaat Q" siis, kui ei leidu objekte predikaadiga, mitte tühjalt tõene, vaid väär.
No comments:
Post a Comment