Logical methods of correct data classification

The work is devoted to issues of the application of discrete apparatus (logical methods of integer data analysis) for the supervised classification problem. Three main directions of logical classification are considered: Correct Voting Procedures (CVP), Logical Analysis of Data (LAD), and Formal Concept Analysis (FCA). Using the terminology of the CVP direction, the basic concepts applied in LAD and FCA are presented. The general scheme of the logical classifier is described, according to which each logical classifier at the training stage sets some partial order on a special set of fragments of precedents descriptions and searches for the maximum elements of this set relative to the given order. Such studies are important for creating a general theory of correct classification according to precedents based on the use of a discrete apparatus.