彼 は 論理學 を 専攻 して います 。