In recent years, an impetuous development of new, unconventional
theories, methods, techniques and technologies in computer and
information sciences, systems analysis, decision-making and control,
expert systems, data modelling, engineering, etc., resulted in a
considerable increase of interest in adequate mathematical description
and analysis of objects, phenomena, and processes which are vague or
imprecise by their very nature. Classical two-valued logic and the
related notion of a set, together with its mathematical consequences,
are then often inadequate or insufficient formal tools, and can even
become useless for applications because of their (too) categorical
character: 'true - false', 'belongs - does not belong', 'is - is not',
'black - white', '0 - 1', etc. This is why one replaces classical logic
by various types of many-valued logics and, on the other hand, more
general notions are introduced instead of or beside that of a set. Let
us mention, for instance, fuzzy sets and derivative concepts, flou sets
and twofold fuzzy sets, which have been created for different purposes
as well as using distinct formal and informal motivations. A kind of
numerical information concerning of 'how many' elements those objects
are composed seems to be one of the simplest and more important types of
information about them. To get it, one needs a suitable notion of
cardinality and, moreover, a possibility to calculate with such
cardinalities. Unfortunately, neither fuzzy sets nor the other
nonclassical concepts have been equipped with a satisfactory
(nonclassical) cardinality theory.