5. Glossary

K space; K for knowlege, knowledge

A set of propositions with a logical status is called a K-space.

K-space expansion; K-space expansion

The addition of a proposition to K is called an expansion of K-space. By definition, this proposition has a logical status.

Concept; Concept

Given a space K, we call a concept a proposition of the form {x, P(x)}, interpretable in base K (P is in K) and undecidable in base K (the proposition {x, P(x)} is neither true nor false in K).

Partition of a concept; C-partition

Partitioning a concept means adding an additional property to the concept (which becomes {x, P(x), p _k (x)}).

C-K operators; C-K operators...