THE TERNARY DESCRIPTION LANGUAGE AS A FORMALISM FOR THE PARAMETRIC GENERAL SYSTEMS THEORY: PART 1
Avenir I. Uyemov · International Journal of General Systems · 1999
In this paper we discuss the problem of appropriate formal apparatus for General systems theories. Drawbacks of actual mathematical and logical formalisms are treated. A new type of formalism—the Ternary Description Language (TDL)—is proposed. It is a kind of non-classical, deviant logic and essentially differs from Predicate Calculus. The concepts of set and number are not used in TDL as initial ones. That formalism is based on two triplets of categories: Thing (= Object, Entity), Property, Relation and Definite, Indefinite, Arbitrary. The types of well-formed formulae of TDL are listed and explained. Those formulae are applied to generalization and formalization of various definitions of the concept “the system”. Two definitions of that concept which are dual, one to another, are received.