>>124
すくなくとも会話に出てくるのはふつうlogicだけで、mathematical logicともわざわざ言わないほうが多いと思う
哲学系ではどうかしらんけど