简述形式语言学及其问题

目前,对形式语言学的研究主要集中在对语言性质的看法、形式语言学家的任务、研究方法、研究侧重点、形式化手段的实质和局限性等方面,其存在以下问题:语言是社会的语言,不存在独立于社会的语言;语言作为认知系统的一部分,与其他心理系统不可分;语言的形式与功能、语法与语用密不可分;独立的形式语法理论不全面。     

公理形式演绎:从形式句法到形式语义

现代语言研究最显著的特点之一是形式化,而形式化的基础是公理形式演绎思想。分析公理形式演绎与自然语言研究的关系可以看出,由于自然语言的句法结构和语义结构都具有递归性,因而用公理形式演绎的方法研究语言也就成为必然。乔姆斯基的形式句法学应用公理演绎思想构造出人类语言的普遍语法,形式语义学则应用该思想为实际使用的语言构造语义的形式化表征。形式句法学和形式语义学所蕴含的公理形式演绎思想,代表着自然语言研究中的理性主义。     

从关联理论看话语标记语的语用制约性

关联理论的认知原则和交际原则突显了语境的重要性,为探讨语言形式与语用理解之间的关系提供了一个很好的理论框架.根据该理论,从话语生成与理解的认知性解释可以看出话语标记语的语用制约性,也就是说话语的生成与理解是一个相互制约的过程.     

英汉语言形式化差异与翻译隐化处理

语言形式化是指某一语言表现某种意义所依靠的各种方式,包括音调、语序、屈折变化及功能词等的丰富程度,以及该语言对这些形式手段的依赖程度.由于英汉两种语言对这些形式手段的依赖程度不同,在英汉翻译转换中,常常表现出美语作为形式化程度较高的语言在汉语译语文本中的隐化现象,需要译者根据具体情况对译文做适当的隐化处理,忠实传达原作的意思.     

论严格的指示词--从逻辑演进的视角看克里普克的观点与张家龙的辩护

将个体词作外延化处理是现代逻辑形式化的基础。如何理解个体词,却是学界长期关注的一个重要的理论问题。从可能世界语义学的角度,克里普克提出了严格的指示词理论。依据现代逻辑背景,张家龙对克里普克的理论的可取性进行了辩护,但这并不说明其中的问题都已经得到了解决。     

闻一多幻象说与二十年代新诗想象力理论

幻象”是闻一多早期诗论的核心概念,也是他据以提出新诗形式建设方案的理论前提.他借鉴英国浪漫主义诗学的想象力理论,认为诗的生成是情感经验、日常语言等诗歌质料在主体想象力作用下得以诗化、形式化的过程,主体想象力被视为诗歌生成的内在法则.这种观念,对于习惯于从修辞学和心理学角度来看待诗歌想象的当日诗坛来说,是很难理解的.由此可以解释新格律诗理论何以会遭遇受曲解和误读式追随的命运;而闻一多在“幻象”理论上的内部矛盾,也是导致这种命运的重要原因.     

当代元伦理学中的亚里士多德主义──简析黑尔对“道德语言”的建构

本文分析了当代元伦理学的代表人物黑尔在《道德语言》中对道德论证体系的建构。正如黑尔本人所认可的那样,由黑尔开创的伦理学方法是现代逻辑语言方法和亚里士多德伦理学传统的重新结合。本文第一部分展示了当代元伦理学发展的背景,并梳理了亚里士多德伦理学的主要看法。第二部分由三个小节组成,分别涉及黑尔的形式化道德论证体系的三个主要方面。第一节主要阐述黑尔对规定语言的分析;第二节分析黑尔对价值语词特别是“善”(好)的理解,以及他根据言语行为理论对“自然主义”的拒斥;第三节讨论黑尔如何在规定语言和实践三段论的基础上解释道德原则的生成。我们的分析将表明,由于黑尔采用了方法论的普遍主义而放弃了认识论的普遍主义,在《道德语言》中发展出来的形式化体系不能避免道德相对主义的困难。而这正是黑尔在其后的工作中着重加以弥补的。     

形式语义学发展概述

形式语义学是20世纪六七十年代由蒙太格最初发展起来的理论阵营,到20世纪70年代中期,形式语义学研究在美国、荷兰、德国、新西兰等国家得到空前的发展,目前在欧美国家已成为热点课题。由于静态语义学的局限性,意义研究实现了从静态向动态的转变,这给意义的理解带来了深远的影响。动态语义学形式化研究已成为当代意义研究的主流,并将成为21世纪语义研究的一个重要方向。     

普通逻辑基本规律需要形式化吗?——对普通逻辑基本规律公式化的质疑

不同的逻辑分支学科有着不同的理论叙述方式。普通逻辑分支中的基本规律理论是以自然语言为载体的逻辑基础学科理论 ,引入人工语言的符号公式后反倒出现与规律的自然语言叙述不协调甚至矛盾的情况。同一律的公式 (A→ A)与此规律的内容表述并不一致 ;不矛盾律的形式化公式 (A∧ A)也是不全面的 ,因为它漏掉了对两个具有反对关系的思想同真情况的排除 ;排中律的形式化公式 (A∨ A)也是不恰当的 ,因为它没有涵盖排中律对于下反对关系的应用。普通逻辑基本规律用自然语言进行表述已经满足了理论的明确性 ,而对它们再予以形式化的公式刻画反而弄巧成拙。普通逻辑基本规律不需要形式化     

Gazdar语境转化理论评析

G.Gazdar在P.Grice会话隐涵理论的基础上,运用形式化手段刻画了语境的动态转化机制,探讨了会话隐涵和预设在语境中的投射问题。Gazdar的语境转化理论使得语言学界和逻辑学界对语境的研究更为精确、更加深入,它解决了语用学和语言逻辑的诸多疑难问题,但也存在着一定的局限性。     

图式理论与大学英语听力

图式理论是认知心理学家用以解释理解心理过程的理论,听力理解是语言理解的最普遍形式,图式在听力理解的预测、推理过程中起着重要的作用。在大学英语听力教学中,培养学生的图式意识和图式策略是提高听力理解水平的有效途径。     

析分与整合:百年新诗形式探索的非线性梳理

综观中国新诗形式探索的百年历程 ,可以发现析分与整合相交替的发展趋势。诗人和理论家通过理论探讨和创作实践 ,提出或倡导了不少值得借鉴的新诗形式理论或观点。基于对百年新诗形式探索的“非线性梳理”,较突出的是 ,语言的迁移对新诗质地的改变应引起足够重视 ,新诗形式探索最终应该落实到对现代汉语本身的认识和理解上     

从认知语义学阐释英语习语

认知语义学从不同于传统语义学的认知角度阐述英语习语,提出了习语的理据性,而非任意性的语言形式,强调了隐喻在习语理解中的重要作用。认知语义学能够帮助学习者更好地理解记忆并使用英语习语。     

言语行为理论中的个人意向性和社会现象——维特根斯坦语言哲学的日常语言分析

后期维特根斯坦提出了著名的＂意义在于使用之中＂的命题和＂语言游戏→生活形式＂理论。这个理论对日常语言的考察意义极为深刻,因为它指出语言首先是一种行为,是与其他行为、与现实交织在一起的行为。塞尔和奥斯汀的言语行为理论强调语词和世界的关系,然而,对人和世界的关系强调不足。言语行为的生成和理解,个人意向性与社会现象的有机结合,需要在人和世界的语境中进行。     

对《白雪歌送武判官归京》的认知解读——基于图形背景理论视角

认知诗学关注语言分析或语言形式选择的认知结构和认知过程。在认知语言学的框架内分析文学作品,更能揭示语言中蕴含的思想情感与语言形式的关系。从认知诗学的角度出发,运用图形背景理论对唐代诗人岑参的一首边塞送别诗《白雪歌送武判官归京》进行解读,以期为读者对诗歌意境和主题的理解以及作者情感的感知提供新的视角。     

刑法中的因果关系和客观归责论

刑法因果关系理论中的条件说和相当因果关系说对于案件处理都有其独特意义,但也有不足,所以客观归责理论得以产生。客观归责理论将实行行为概念形式化;试图弱化甚至消灭传统因果关系论的影响力,将因果关系降为纯粹自然的联系;放弃对行为和后果之间的相当性判断,因而也有不合理之处。如果对实行行为作实质评价;对因果关系不是仅仅从存在论的意义上,还从论理的意义上进行理解;对相当性是否存在作审慎判断,就基本上可以得出客观归责理论不需要的结论。     

语用逻辑研究的新进展--蔡曙山的语用逻辑形式化研究述评

20世纪80年代以后,中国语用学与语用逻辑的研究开始起步.虽然起步较晚,但以蔡曙山教授为代表的一批学者,却能够站在当代西方语言哲学,特别是言语行为理论和语用学研究的基础上开展研究工作,在受到当代语言哲学大师塞尔高度赞誉的<言语行为和语用逻辑>一书中,蔡曙山构造了命题语用逻辑、量化语用逻辑以及模态语用逻辑的自然推理系统与形式公理推理系统及其各自的语义模型,探讨并证明了元逻辑问题.蔡曙山在这一领域的研究成果,拓展了语言逻辑研究的空间,促进了语用逻辑的形式化研究,从而为进一步推进计算机与人工智能逻辑、认知科学的研究,提供了完备的、精密的研究工具.这项研究成果标志着中国语用逻辑的形式化研究达到西方现代语用逻辑研究的相同水准,同时也发扬与光大了中国古老的语用学与语用逻辑的思想传统.     

理解的现时性语言--谈伽达默尔的解释学语言

理解的语言性是伽达默尔解释学理论的一个重要创建.他将理解与语言紧密联系在一起,从对文字的反本质主义思考出发引发了理解是一个现时的对话事件,理解的语言是活生生的、当下在场的话语,从而形成了他独特的语言观.     

利用"句法规则"自动识别非分句

在计算机进行现代汉语复句书读前后非分句语言片段的自动识别过程中,我们发现并总结出一些可形式化后供其执行的句法规则.这些规则的效用如何,我们还没来得及进行试验,本文也暂时未做分析.我们的设想是:待计算机工作人员将它们形式化为可供计算机理解和执行的语言后,在训练集内进行小规模的试验,再进而把试验范围扩大到整个语料库,从中不断改进和完善规则.     

MAS应用域本体的形式化建模及变换

该文提出了一种应用域本体形式化建模方法,定义对应的形式化建模语言DORL,建立了DORL语言的集成开发框架,实现本体的语法和一致性检查,利用语言范畴同构的思想实现了DORL语言与XML Schema语言的相互转换.