|
Jul. 30th, 2023|11:58 pm |
Именованность и тождественность, вне семантики
Имя вне семантики - просто метка. Именованный объект - это пара имя + объект. (Заметки на полях: объект может быть структурированным, например, уже именованным).
Именованность - свойство такой пары и объемлющего класса. Уникальность имени в классе - метасвойство, порождающее идентифицируемость (уникальность, различимость).
Именованный объект не является (исходным) объектом. Они не тождественны, если именованность - существенное свойство.
Именование дуально разыменованию. Разыменование именованного объекта суть объект.
При несущественной объектности одноимённые нетождественные объекты - тождественны. При несущественной именованности разноимённые тождественные объекты - тождественны. (Заметки на полях: при обоих несущественностях всё есть абсолют, и есть только он).
Именованность - это средство нарушения тождественности неразличимых и даже неразличимости тождественных. Однако, при невыделенности свойства именованности проблема этих критериев возвращается к обычному статус кво. (Заметки на полях: невыделенность - забывание, пара есть атом).
При возможной неуникальности имени в классе появляется и возможность локального нарушения различимости, - при условии возможной неразличимости (тождественности, идентичности) разыменованных объектов.
Может ли пространство имён быть структурировано? (Заметки на полях: как в типах и инстанцированных экземплярах типов).
Могут ли имена и объекты быть зависимы, неортогональны? (Заметки на полях: как в частично рефлексивных метатеориях).
Можно ли метки (приписание неимяподобных полупар) в таких пространствах пар называть именами? (Заметки на полях: есть ли замкнутость и идемпотентность именованности вне семантики?). |
|