. "German logician" . . .