The Isaac Newton of logic