Üldisusekvantor kui konjunktsioon ja Yablo tsükli väidete kaudne eneseleviitamine
Karmo Talts
Vaatame, kas Yablo tsükli väited viitavad kaudselt endale. Kui me mõistame üldisusekvantorit konjunktsioonina, siis iga Yablo tsükli väide, välja arvatud esimene, on kõigi eelnevate Yablo tsükli väidete osaväide. Seega iga Yablo tsükli väide viitab enda osaväidetele.
Kommentaare ei ole:
Postita kommentaar