Study of logical forms of thinking, including concepts and types of conclusions, deductions, and inductive reasoning.