Aristotle is the father of logic . With the Prior Analytics , Aristotle is credited with the earliest study of formal logic , and his conception of it was the dominant form of Western logic until 19th century advances in mathematical logic . Kant stated in the Critique of Pure Reason that Aristotle 's theory of logic completely accounted for the core of deductive inference .