Study of logic, including objective and subjective logic, formal logic, and the evolution of logical thinking. Focus on the importance of logical laws and their verification.