計算機科学が数学でないのと同じ程度にロジックも数学でない、と普通考えられているだろうね。

数学は、数学的対象の研究として理解しないと、将来おかしなことになる。