Study of logical thinking, including objective and subjective logic, evolution of logical thinking, and the subject and structure of formal logic.