Study of logic and various forms of thinking, including formal, dialectical, and classical logic.