Branch of logic related more to reasoning and argumentation.