带有受限缩并规则的兰贝克演算的模型论  

作　　者：张晓君[1] 

机构地区：[1]厦门大学哲学系,福建厦门361005

出　　处：《哲学动态》2011年第8期97-102,共6页Philosophical Trends

基　　金：国家社会科学基金项目"面向自然语言信息处理的范畴类型逻辑研究"资助(项目编号:09BZX046)

摘　　要：自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系，这就是自然语言的毗连性（concatenation）。通过毗连，自然语言符号串可以逐步增长扩张，这就是自然语言的生成性（generation）。自然语言的毗连生成体现出由小到大的递增性，弗雷格（Frege）用语句函项的思想来分析其构造过程，即把某一语言成分当作函项，把旁边的成分当作函项的主目，把两个成分的毗连当作函项运算获得的结果。这就是范畴类型逻辑从运算的角度揭示自然语言构造规律的基本思想。

关 键 词：自然语言符号 模型论 演算 贝克 范畴类型逻辑 小语言 符号体系 构造过程 

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