Refers to that branch of philosophy concerned with the forms of thought and methods of correct statement in all areas of inquiry, especially with inference, deduction, induction, and scientific proof.