logic

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.