section_path: Theoretical philosophy/Logic
section_name: Logic
paragraph_text: 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 with Aristotle, logic reached its completion.