Study of logic, its definitions, rules, and applications in human thinking processes. Focus on analyzing correct forms of reasoning and identifying fallacies