Comment by aspenmayer
Comment by aspenmayer 16 hours ago
I think it’s kinda a weird translation. To be something is to have a relationship with the thing that one is, like an identity relationship, one is one, 1=1 for example. A one way equals sign would communicate to me something like (square)=>(rectangle) to represent that all squares are rectangles, while emphasizing that they do not represent the same thing, as they do not use a standard equals sign, as that would imply a shared identity.
That’s just me spitballing though, I definitely can’t read that character or understand the language. I’m just assuming that your translation is accurate and following the context clues to their logical conclusion.
In most languages, "to be" is used to express at least 3 kinds of relationships, which can be distinguished depending on whether the words connected by "to be" are e.g. pronouns, proper nouns or common nouns:
1. identity: "He is John"
2. membership: "He is engineer"
3. inclusion: "Wolves are carnivores"
For the non-symmetric membership and inclusion relationships, in natural languages the order of the words does not really matter, because a speaker will recognize which of the 2 words connected by "to be" corresponds to a bigger set, of which the other word may be a member or a subset, so "he is engineer" and "engineer is he" will be understood to mean the same, even when one alternative sounds weird (i.e. Yoda speech).
This is why, unlike for the agent and patient of a transitive verb, which need special markers, e.g. the nominative and accusative case markers, in the languages that do not have a fixed word order, for the subject and the nominal predicate that are connected by "to be" no distinct markers are required, they can use the same case (e.g. nominative), because they can always be recognized regardless of their order.
"To be" can also express other relationships, like position in space or time, qualities or quantities and so on, all of which are also distinguished by the kinds of words that are connected by "to be".
In an unambiguous language, like in formal mathematics or in programming, each kind of relationship should use a different notation.