摘要
逻辑观的进步是逻辑语义学发展的内在动力。古典逻辑观向现代数理逻辑观的转化促成了塔斯基逻辑语义学的产生,但对形式系统的过分注重使它局限于外延层面。随着逻辑观的进一步发展,对由自然语言所承载的日常推理的刻画成为逻辑研究的重心,这种趋势使语义学研究由外延意义向内涵意义的过渡成为可能,卡尔纳普的外延-内涵方法和蒙太古语法的建立是这种可能的现实实现。
The evolution of logic views is the inherent driving force to improve the development of logical semantics. Tarski＇ s logical semantics comes from the conversion from the views of classic logic to modern logic. However, the fact that it pays too much attention to formal system makes Tarski＇ s work limited in extensional semantics. With the further development of logic views, natural deduction which is based on natural language becomes the focus in logic research. This trend makes it possible the transition of semantic research from extensional semantics to intentional semantics with Carnap ＇ s intent-extent method and Montague grammar.
出处
《重庆理工大学学报（社会科学）》
CAS
2010年第6期14-17,共4页
Journal of Chongqing University of Technology（Social Science）
