定义是揭示词项外延的逻辑方法吗