彼 は 大学 で 論理学 を 専攻 して います 。