Study of shapes of logical thinking and laws as a field of teaching. Covers logical forms and laws, correct and incorrect thinking, and laws like the identity law. Important for understanding the relationships between sciences