The origins of Logic, as the science of reasoning, are grounded in the work of Aristotle (384-322 BC). The subject remained largely dormant until the explosive developments by the philosopher Gottlob Frege (1848-1925), ...