This is the study of reasoning and arguments, including topics like deduction, induction, and formal languages.