20世纪的内涵逻辑  

The Intensional Logic in the Twentieth Century

作　　者：朱建平[1] 

机构地区：[1]苏州大学政治与公共管理学院哲学系

出　　处：《南京社会科学》2013年第6期44-51,共8页Nanjing Journal of Social Sciences

摘　　要：在20世纪,内涵逻辑、内涵语义学和内涵形而上学是由逻辑学家、哲学家和语言学家在逻辑哲学和语言哲学领域共同缔造的为数不多但却无可置疑的进步之一。自上世纪60年代内涵逻辑诞生以来,这一逻辑分支在计算机科学、人工智能、语言学和哲学甚至数学基础等众多领域以其强有力的理论和实践工具的方式发挥着自己的作用。然而,作为一门激动人心的学科,在内涵逻辑的研究中人们会遇到各种困难,对这些困难的解决不仅对逻辑学家,而且对哲学家、语言学家和计算机科学家都是一种挑战。本文通过解释内涵逻辑的关键性发展和存在的问题,进而梳理出一条20世纪内涵逻辑理论发展和未来趋势的路径。In the twentieth century, intensional logic, intensional semantics and metaphysics of intension are one of the few areas of philosophy of logic and philosophy of language in which logican, philosophers and linguistician made indisputable progress. Intensional logic has emerged since the 1960＇ s as a powerful theory and practical tool in such diverse disciplines as computer science, artifi- cial intelligence, linguistics, philosophy and even the foundation of mathematics. However, inten- sional logic is an exciting discipline in which we meet many problems the solution of which is a chal- lenge not only to logican, but also to philosophers, linguists and computer scientists, ect. Purpose in this paper is to explain some of the key developments and existing problems in intensional logic and then to tease out the path of development of the theory in the 20th century and further trend in inten- sional logic.

关 键 词：内涵逻辑 内涵语义学 内涵语境 

分 类 号：B81[哲学宗教—逻辑学]