Philosophical logic is essentially a continuation of the traditional discipline called `` logic '' before the invention of mathematical logic .
There is an area of mathematics called mathematical logic that studies logic using mathematics .