Pravles Redneckoff

States

Objects designated by the terms

1. $\downarrow (s\alpha \leftarrow E)$and
2. $\downarrow (s\alpha \leftarrow P)$

will be called states of the object S [Zinoviev, 1973, chapter nine "Empirical and Abstract Objects", section 6 "States", p. 135 of 323].

Let's look at the meaning of individual symbols in this definition.

1. The $\downarrow$ symbol is "the fact that" operator.
2. s refers to a term of object [Zinoviev, 1973, p. 113 of 323].
3. P refers to a term of attribute [Zinoviev, 1973, p. 113 of 323].
4. $\leftarrow$ most likely refers to the operator of assertion.
5. $\alpha$ indicates the presence or absence of $\neg$ or $?$ [Zinoviev, 1973, p. 114 of 323]
6. E is the existential predicate [Zinoviev, 1973, section "11. Existential Predicate", pp. 124—125 of 323].