EA://INTEL — Entities: The Building Blocks of Meaning

Meaning is fundamental to our understanding of the universe. But what are we talking about when we talk about meaning? In Universal Language research, we’ve identified entities as the basic building blocks of meaning. Entities are things that can be talked about - they participate in relations, can be modified and quantified over, and they can even be derived from assertions.

Take for instance, the Entity sort (\(e\)) in UL’s algebraic structure. It’s the only sort that appears in every operation, making it indispensable to express anything at all. This mirrors Existence’s semantic role: without existence, nothing can be meant. It’s like how you can’t have a story without characters (entities) that something happens to.

One of our registered claims, GIR-SCHEMA-VALIDATION, machine-checked in the repository, ensures the integrity of these entities in our Graph-based Information Representation system. The validator rejects malformed structures like duplicate node IDs or missing roots, ensuring our graphs - and thus our meaning - stay sound.

But now, here’s where you come in: How might we ensure semantic invariance alongside these graph invariants? That is, how can we guarantee that changes to the structure of our entities don’t alter their intended meanings?