再论函数式程序設计語言的合成邏輯语义学

本文继文献(1)之后,在合成逻辑这一数学基础上,再次探讨函数式程序设计(FP)语言的语义学。FP语言被处理成一种多层次结构的合成逻辑。第一层(基础层)是Curry的合成逻辑。在此层之上,逐次扩展而构造成相继较高的各层。第二层是这样的合成逻辑,它就是所谓的SK归约机。第三层逻辑可说是一种扩充的SK归约机。最后,在第三层的基础上构造出第四层,它就是FP语言。     

函数式程序設計語言的合成邏輯語义学

本文提出以合成逻辑(Combinatory logic)作为程序设计语言语义学的数学基础。Backus的(纯粹的)函数式程序设计(FP)语言实质上已是一种“高级的”合成逻辑语言,本文则将FP程序翻译成Curry的“低级的”合成逻辑中的代码。因此,它能在一种SK归约机上运行。     

“差异”与“时间”:索绪尔语言本体论的哲学解读

"差异"在时间中产生是索绪尔语言研究辩证法思想的根源。依据时间划分出历时语言学和共时语言学是索绪尔语言研究的理论起点。通过形式化的抽象反思,索绪尔把语言系统定性为仅据差异而存在的纯粹的价值系统。语言符号系统的产生与存在就是时间。差异不是语言符号系统自身的特点,而是语言符号系统在时间上的自我超越。差异的显现就是语言与言语在空间上的同一,是语言系统与自身在时间上的同一。     

量名结构的句法地位及生成机制研究

广泛地使用量名结构以增强语义表达的精确性、丰富性与形象性是汉语区别于其他语言的显著特征之一。多种证据显示,汉语的量词在本质上属于实体性语类(Substantial Category),拥有自身的最大投射(Maximal Projection)。量名结构的句法本质仍是一限定词短语DP,在其上方有一隐性的功能性投射FP,其句法功能是核查焦点语义信息,驱动移位,从而形成量名短语纷繁多样的结构变体。     

大众心理学社会建构论的CIAO模型及其批判

大众心理学( folk psychology,简称FP)是关于普通人如何解释、预测日常心理及行为的科学.社会建构论认为,FP是集体的构造物,是社会文化的产物,个人内化社会FP而获得心理归属能力.但按照社会建构论,则FP根本不存在;其心智阅读(Mindreading)机制在理论和经验方面也都会面临困难,难以解释错误信念测试的普遍性等经验现象.     

语言模型新论

目前流行的语言模型没有正确地反映出语言的层级和层面,没有发掘出全部的语言成分,因而没有反映出语言系统的实际。语言系统需要从两个层面进行观察:从语法—词汇层面观察,语言由语法系统和词汇系统构成;从语音形式—语义内容层面观察,语言由语音形式系统和语义内容系统构成,其中语音和语义分别是构成语音形式和语义内容系统的材料系统。语法系统、词汇系统和语音形式系统、语义内容系统没有在同一个逻辑平面上;语音系统、语义系统,和语音形式系统、语义内容系统没有在同一个层级上。     

正式函数程序设计语言FFP在微机上的实现

本文描述了在M68000 DUAL系统上用C语言实现的正式函数程序设计语言FFP-1,从而在微机上证明了FFP-1系统的可行性。由于FFP语言是作用式、归约式的语言,因此采用了图归约机和延迟求值技术。     

弗雷格的语言逻辑思想

弗雷格开创了逻辑语言分析方向 ,他成功地把数学语言转换成逻辑形式语言 ,建立起语言逻辑的框架。在语形学上他最先构建了命题和谓词演算系统 ;在语义学上建立指号和指号语义系统 ;在词用学上他提出语言表达式满足语法语义同构化原则 ,语言指称 (语用 )与语境和语言使用者对语言表达式的影响有联系。     

从拉坞戎语看濒危语言的特点

语言濒危主要由语言交际功能弱化导致,语言在走向濒危进程中交际功能减弱与结构的变化异常突显。以拉坞戎语为例,其语言系统表现出语音系统变异、词汇系统变异和语法系统简化等特点。濒危语言不仅在功能上经历了使用人数由多到少,使用范围由大到小,在语言结构上也呈现着不稳定多变异的发展趋势。对于濒危语言来说,语言结构系统之外的非语言和言语活动因素,在其发展中起着举足轻重的作用。     

语法研究的功能和认知视角

认知语法和系统功能语法虽然属于不同语言学流派,但是在语言哲学观上有很多近似的主张:二者都主张研究使用中的语言,词汇—句法和语义之间的非任意性,词汇和句法连续统的观点,以及语言的系统性。认知语法和系统功能语法在语言哲学观上的相通之处使语言研究的功能—认知视角成为可能,并且在实际语言研究中发挥着积极的作用。     

基于FP模型在高职毕业生毕业质量评价方面应用研究

文章首次使用FP模型以安徽省某高职院校为例对高职院校毕业生毕业质量进行定量评估。通过FP演示模型的算法和数据分析,多维度、多层面、多层次对毕业生毕业质量进行有效评价,体现出模型在该领域中较好的适应性和有效性。     

FP中并行粒度的研究

并行粒度是并行处理系统的关键问题之一。本文引入启发函数(Heuristic Function,简称HF)和加速因子的概念,并用一阶启发函数HF对FP中并行成分进行检测,以便得到一个较合适的并行粒度。     

韩礼德论加的夫语法

韩礼德对加的夫语法的基本看法是系统功能语言学界关注的重要议题之一。文章从语言的层次性、语言的元功能、功能句法、自然语言处理及语言认知研究方面系统梳理了韩礼德对加的夫语法的基本观点。总体而言，韩礼德认为加的夫语法是系统功能语言学的一种模式，是对系统功能语言理论的有益补充。具体而言，韩礼德认为加的夫语法在语言层次性和元功能上的不同划分有其特定的研究目的；加的夫语法在功能句法研究和自然语言处理方面成绩斐然；加的夫语法在语言认知研究上更接近当代主流认知科学。      

英汉数字符号系统及其文化涵义对比研究

数字符号是语言的重要分支系统,是人类认识世界、改造世界和记录文化不可或缺的符号系统。对英汉两种语言的数字系统在构成、功能和用法上进行对比研究,可以清楚地揭示两种语言数字符号系统的社会性及其特殊的文化涵义,为跨文化交际提供便利。     

韩礼德的系统观批判

以国内学者对韩礼德的系统语法的研究成果为基础,以当代系统科学为参照,把韩礼德的系统语法所体现出来的系统观放在系统科学的框架内,来探讨韩礼德系统思想的科学性：肯定其在方法论上的可取之处,探讨其由方法论和语言的性质所决定的他的语言系统描写的局限性,以及他的系统描写在反映语言实际运作方面的局限性。     

英汉语言概念差别与英语学习

英汉词汇,语法结构和语用层面上的概念差别分别体现了英汉语言在文化和认知上的丰富纬度。因此,英语学习应该是一个概念重组的过程。只有超越英语语言系统本身,将其和语言使用背景下的文化紧密结合起来,并最终将英语语言民族的认知系统和我们自己的认知系统同时纳入我们的头脑,才是学好英语的有效途径。     

从及物系统看语言的非任意性

站在功能主义的立场,系统功能语法支持语言形式和意义之间的非任意的、有理据的联系。Halliday从非任意性的基本思想出发创立了系统功能语法体系。本文着手于Halliday的系统功能语言学框架下概念(意义)基块的建构,从及物系统的视角揭示理据性在语言作为关于经验之理论的存在上和在语言系统内部的体现。      

意识流语篇前景化的系统功能语言学解析

意识流小说作为一个语类与传统现实主义小说相比在词汇组合、句法结构、语篇结构、叙述模式等多层面上偏离常规。系统功能语言学为我们理解意识流语篇的前景化提供了理论依据。运用系统功能语言学的系统和选择理论、语境理论、功能理论,我们认为意识流语篇的前景化是特定社会文化语境和情景语境共同作用于语言形式的结果。变异的语言风格是小说家参照语境参数在语言意义潜势网络系统中进行的有意义的选择。语言和文体上的"前景化"恰到好处地体现了语篇在语言层面上的概念功能、人际功能、语篇功能,非常适合对人物纷乱的、飘忽不定的意识流动的描述。     

论现代语言观的几个本质特征

现代语言观的本质特征可以概括为以下几方面内容 :( 1)语言是一个由多重结构组成的动态系统 ;( 2 )语言与思维具有直接的同一性 ;( 3 )语言是共性与个性、共时性与历时性发展的辩证统一体 ;( 4)语言具有社会存在和生活实践本质。现代语言观的建立具有重要的本体论和认识论意义 ,它反映出人类在语言问题上从“工具论”、“符号论”到“系统论”和“本体论”思想的发展历程 ,揭示了西方现代哲学相对于传统哲学而言在视界和思维方式上质的转变     

从符号系统的角度看"网络语言"

从符号系统的角度进行考察，网络语言符号可以分为可读的语言符号和非可读的副语言符号，而可读的语言符号包括汉字、汉语拼音、英文和数字四个符号系统。网络语言符号系统使用的基本特征是，不同系统的符合可以在同一平面上混合使用。网络语言的认知特征是，网络语言需要在不同的符合体系之间进行心理认知的跳跃与联想，要超出常规的系统与规范。