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

发布时间：2018-12-18 05:48

【摘要】：正自然语言是一个由较小语言成分逐步递增地形成较大语言成分的符号体系,这就是自然语言的毗连性(concatenation)。通过毗连,自然语言符号串可以逐步增长扩张,这就是自然语言的生成性(generation)。自然语言的毗连生成体现出由小到大的递增性,弗雷格(Frege)用语句函项的思想来分析其构造过程,即把某一语言成分当作函项,把旁边的成分当作函项的主目,把两个成分的毗连当作函项运算
[Abstract]:Positive natural language is a system of symbols that gradually and incrementally form larger language elements from smaller language elements, which is the contiguous (concatenation). Of natural languages. By contiguous, the natural language symbol string can gradually grow and expand, which is the generative (generation). Of the natural language The contiguous generation of natural language reflects the incrementality from small to large. Frege (Frege) uses the idea of sentence function to analyze its construction process, that is, to regard a language component as a functional item and a nearby component as the main object of a functional term. Computing the contiguity of two components as a functional term
【作者单位】： 厦门大学哲学系;
【基金】：国家社会科学基金项目“面向自然语言信息处理的范畴类型逻辑研究”资助(项目编号:09BZX046)
【分类号】：B812

【共引文献】

相关期刊论文 前10条

1 彭家法;形式语义学的历史渊源和理论框架[J];安徽大学学报(哲学社会科学版);2004年04期

2 李瑟;刘伟;郭海云;;汉语第三人称代词预指功能研究[J];北京交通大学学报(社科版);2005年04期

3 熊仲儒;;时制、时体与完成式[J];外国语言文学;2005年04期

4 夏国军;语言逻辑与形式化[J];南开学报(哲学社会科学版);2004年03期

5 陈振宇,陈振宁;怎样计算现代汉语句子的时间信息[J];中文信息学报;2005年03期

6 彭家法;当代形式语义学的争鸣与进展[J];外语学刊;2005年03期

7 王晓斌,周昌乐;基于语篇表述理论的汉语人称代词的消解研究[J];厦门大学学报(自然科学版);2004年01期

8 韩玉国;汉语副词“又”的歧义——兼谈范畴语法对汉语研究的适用性[J];云南师范大学学报(对外汉语教学与研究版);2004年03期

9 刘根辉,金，

本文编号：2385445