自然语言逻辑与形式语言逻辑(命题逻辑等)的差别,主要在于一个研究自然语言指号系统,一个研究形式语言指号系统,而两种指号系统的重要差别表现在语用方面。语用学与自然语言逻辑具有密切的关系,如果说形式语言逻辑是语义逻辑,那么自然语言逻辑是语用逻辑。作为语用逻辑,着重研究语用推理,如行事推理、语境推理。 The differences between natural language logic and formal language logic (propositional logic, etc.) mainly lie in the study of a natural language fingering system and a research formal language fingering system. The important differences between the two fingering systems are manifested in terms of pragmatics. Pragmatics is closely related to natural language logic. If formal language logic is semantic logic, natural language logic is pragmatic logic. As a pragmatic logic, it focuses on pragmatic reasoning, such as acting reasoning and context inference.