彼は普通の記号論理学とは違う学問でもやってるのではないだろうか…