文恩是()知名逻辑学家。