在形式逻辑领域提出“名辞说”理论的是（）。