Eksplitsiitsed reeglid selle, et väide kasutab endale viitamiseks oma nime, vältimiseks
Karmo Talts
Sõnastame eksplitsiitse reegli väidetele nimede andmise jaoks, mis välistab selle, et väide kasutab otseseks enesele viitamiseks oma nime. Nime X ei tohi panna väite Y nimeks siis, kui Y kasutab X-i.
Sõnastame nüüd pöördreegli nimesid kasutavate väidete sõnastamiseks. Väide Y tohib kasutada nime X siis, kui X ei ole Y-i nimi.
No comments:
Post a Comment