文学部哲学科の教授が書く論理学の本とか