. "Japanese logician" . . .