CAJ | 학술논문

逻辑和语言的研究分为句法、语义和语用几个领域。在语义领域，其主要理论有蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。这些理论自上世纪下半叶诞生起就呈现出逻辑和语言研究的交叉互动：尽管在形式语义学框架内逻辑始终强势影响着自然语言的研究，但自然语言的丰富性通过形式语义学的研究也一直作用于逻辑工具的创新。
라집화어언적연구분위구법、어의화어용궤개영역。재어의영역，기주요이론유몽태격어법、엄의량사이론、화어표술이론、정경어의학화류형라집어법。저사이론자상세기하반협탄생기취정현출라집화어언연구적교차호동：진관재형식어의학광가내라집시종강세영향착자연어언적연구，단자연어언적봉부성통과형식어의학적연구야일직작용우라집공구적창신。
In China, the studies on Logic and language belong to language logic which is divided into syntax, semantics, and pragmatics. The main theories in the studies of semantics include Montague Grammar, Generalized Quantifier Theory, Discourse Representation Theory, Situation Semantics and Type-logical Grammar. All of these theories have witnessed the interaction between logic and linguistic studies since they were born in the second half of the last century. Although in the framework of formal semantics, logic maintains a predominant position in the studies in natural language, the complexity and varieties of natural language accelerate the innovations of logical tools by means of formal semantics. In this paper, we first introduce the main points of various theories in the area of formal semantics which help to illustrate the logical contributions to the studies in natural language, and present some provoking questions. Then we elaborate on contributions to the logic made by the studies in natural language in the framework of formal semantics.