In ancient Greece, Aristotle took some important first steps towards systematizing types of arguments where reasoning is perfectly reliable. To give an example: If all philosophers are human and all ...