类型逻辑语法竖线算子的推广  

作　　者：刘海燕[1] 邹崇理[2] 

机构地区：[1]西南财经大学人文学院,四川成都611130 [2]中国社会科学院哲学研究所,北京100732

出　　处：《哲学动态》2011年第2期90-93,共4页Philosophical Trends

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

摘　　要：逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。

关 键 词：逻辑语法 自然语言 推广 算子 语义问题 逻辑抽象 符号系统 语言生动 

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