Study of the basic questions of logic, logical forms and laws of thinking, concept formation and application, and relations between concepts