A course of reasoning aimed at demonstrating a truth or falsehood; the methodical process of logical reasoning.
Is the interdisciplinary study of how conclusions can be reached through logical reasoning.