馬名は論理学を意味するロジックから。