Strukturtypentheorie

“... zu der Frage, wie in generell m-wertigen Systemen Subjektivität und Objektivität, bzw. Designation und Nicht-Designation unterschieden werden können. Nun kann in einer formalen Logik Thema-Unterschied nur als Struktur-Unterschied definiert werden. Struktur-Unterschied als Anreicherung logischer Komplexität aber kann seinerseits nur durch Differenz in der Wertzahl erzeugt werden!” (Bd.3, 141)

“... the hierarchy of ontologies, i.e., the structure with no value-excess after the collection of designational systems. ... According to its numbers of designated themes, every ontology is followed by a corresponding number of logical systems and, if the value-excess for non-designation is not split up, each logical system `focuses` on one of the designated themes offered by the preceding ontology. ... Each ontology, together with the logical systems which follow it, forms what we shall call a logical interval.” (Bd.2, 153)