基于开放世界预设的3-值逻辑的列表证明系统

鞠实儿等(2003)在开放世界预设和真值条件理论基础上,构造了3-值语句演算系统SLO及其形式语义理论.该文采用Priest(2001)列表证明的表述形式,结合Fitting(1995)多值逻辑列表证明实质,克服两者的一些缺陷,给出了一种改良的3-值逻辑列表证明方法.针对SLO的形式语义,该文给出各个联结词的列表证明规则,构造出列表证明系统SLO*,并且证明了这一系统相对SLO语义是可靠的和完全的.     

基于开放世界预设的3-值命题演算系统

本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，１９９６和１９９７）的基础上，本文发展出一种基于开放世界预设的３－值语句逻辑系统（简称ＳＬＯ），给出ＳＬＯ的语义理论，构造相应的形式公理系统，并证明该形式系统具有一致性和恰当性。     

浅议《围城》中称谓语的翻译策略

作为文化的载体之一,不同的民族在对称谓语的使用及表达上都有其各自的系统和规则。因此,称谓语的翻译不仅是语码的转换,也是一种文化间的交流。文章首先简单介绍了纽马克的语义翻译和交际翻译理论,然后通过对《围城》人物对话中称谓语的英译进行分析,阐述了中英文化差异对称谓语翻译策略选择的影响,深入探讨了语义翻译和交际翻译在《围城》英译本称谓语翻译中的应用并进一步指出语义翻译和交际翻译的特点及适用范围。     

逆转换理论与英语名词化结构的汉泽

现代翻译理论与实践受益于现代语言学的兴起和发展。奈达将乔姆斯基的句子生成理论应用于翻译 ,并以四类语义范畴和核句为基础 ,提出了逆转换译法。笔者试用逆转换译法对英语名词化结构的汉译进行了探索。实践证明 ,这种译法为传统翻译中的分句译法提供了一种新的更具操作性的思路和方法     

逆转换理论与英语名词化结构的汉泽

现代翻译理论与实践受益于现代语言学的兴起和发展。奈达将乔姆斯基的句子生成理论应用于翻译,并以四类语义范畴和核句为基础,提出了逆转换译法。笔者试用逆转换译法对英语名词化结构的汉译进行了探索。实践证明,这种译法为传统翻译中的分句译法提供了一种新的更具操作性的思路和方法。     

从功能语言学角度对《春晓》及英译文的主位分析

主位结构理论是系统功能语言学的重要理论之一,主位结构理论亦是一种可以用于翻译研究和实践的语言学工具。本文结合系统功能语言学中有关主位结构的理论和分析方法,分析具体的古诗英译实例。通过分析原文和译文本身的主位结构,对比原文和译文之间在主位结构成分方面的异同,探讨主位结构对于译文构建的影响。这是从功能语言学角度探讨翻译问题的一种尝试。     

英语名词化结构的语义特征与翻译

名词化结构是英语正式语体最显著的特征之一。名词化结构的中心词一般是由动词或形容词派生或转化来的抽象名词 ,意义往往抽象 ,但有时又指具体事物 ,并且其结构成分之间关系复杂 ,因而在理解和翻译时不易把握。本文对名词化结构的语义特征进行了较系统的分析 ,并提出了相应的翻译方法     

一词多义的原型范畴化认知及其翻译策略

认知语言学的原型范畴化理论把一词多义看成是原型义项经过隐喻或转喻生成的多个边缘义项。针对一词多义在语言翻译中产生的困难,本文总结了原型范畴化认知理论影响下的一词多义的定义、产生根源和产生模式。针对翻译过程中,一词多义经常受到语境效果弱、语义频率低和边缘义项难的影响,本文提出三点应对方法：首先,译者首先应该顺应语境需求,进行子义项的选择。其次,译者必须接受认知语言学的语义动态观,灵活处理在新的语境中出现的多义单词。最后,译者应扩大知识面,加强对边缘义项了解和推测能力。     

格语法在英汉机器翻译系统中的应用研究

简要回顾了机器翻译的历史。针对机器翻译译文质量的改善与提高,提出了一种基于格语法的内涵表分析法的自然语言处理方法,给出了一种基于语义的内涵表的形式表达方式,以及英汉机器翻译系统中语句处理过程:句子切分、格框架的建立与语句嵌入、简单句的翻译、简单句组合。该方法充分利用了格语法理论以语义为主,语义与句法相结合的特点。通过实例语句的处理,表明了所提出的方法在机器翻译中的可行性与有效性。     

语义翻译与交际翻译在新闻标题翻译中的应用——以China Daily新闻标题翻译为例

语义翻译和交际翻译是纽马克翻译理论的两种基本策略,通过对两种方法进行比较分析,可以看到二者结合使用的合理性,二者结合使用应用于新闻标题的翻译具体可采用以下几种方法:词汇变化、结构重组、修辞应用。     

商品经济基本矛盾理论在市场营销理论研究中的运用

一般认为,市场营销理论是以西方经济学为理论基础的,与马克思主义经济学无关。但通过对马克思主义经济学关于商品经济基本矛盾即私人劳动与社会劳动的矛盾内容的分析,以及对市场营销理论的产生和发展的研究,则充分证明了马克思主义经济学理论对我们学习、研究市场营销理论具有重要的指导意义。     

论意向性及言语行为理论发展的"瓶颈"

意向性是人的意识活动的根本特征,意向联系着言语与现实世界,人通过言语表达自己的意向,反映自己的意识活动。意向性首先是精神哲学研究最为深入的哲学概念,后来被语言哲学家用到语言哲学的研究之中。通过对于意向性和言语行为理论研究状况的介绍,分析二者之间不可分割的关系,提出意向性是言语行为理论得以产生的重要理论依据,进而指出言语行为理论发展的“瓶颈”。     

佛学中的辩证思维

佛学是一个智慧宝库,其中蕴藏着丰富的辩证法思想。原始佛学是佛学的母体,原始佛学理论中的因果论和“迁流”观,蕴含着辩证思维的内容,对后世佛学影响极大;中观佛学是佛学的集大成者,其核心思想空观论、八不说和二谛说,闪烁着智慧的光芒,思辨性很强;中国佛学以“法界缘起”说和“顿悟”说为代表,它们继承了印度佛学善于思辩的传统,开辟了自己的新天地。     

建国以来文学理论整合的基本范式

从文学行为到文学理论 ,其中有一个转化问题 ,承担这种转化的机制 ,即为理论整合范式。学界在文学理论的学科定位和学科建制 ,文学理论的“自主性”与“他律性” ,以及克服文学理论教学和研究困境与危机的出路等问题上展开的讨论 ,主要的分歧便发生在对不同文学理论整合范式的认同上。     

粉碎机械机构学的形成、研究的内容和发展前景

粉碎机械机构学是与相关粉碎理论相结合,应用于粉碎领域里的一门工程基础学科。随着矿产资源高效节能开发和其它行业里大量的粉碎作业增多,对粉碎机械的使用要求不断发生变化,粉碎机构学的研究越来越成为重要的研究课题,并逐渐形成新的学科分支。随着机构学的现代发展,粉碎机构学理论也将在实践中不断得到丰富、发展和完善。     

列宁"经济方面的政治"思想形成的理论逻辑分析

“经济方面的政治”思想是列宁关于无产阶级专政时期无产阶级历史使命及其实现途径方面的理论体系。这一理论体系形成的理论逻辑过程如下 ,1 .“政治是各阶级间的斗争”这一基本政治理念是其形成的理论逻辑起点。 2 .无产阶级历史使命观是其形成的逻辑关键。同早期经典作家们一样 ,列宁认为“经济方面的政治”是无产阶级实现其历史使命的一个基本历史阶段。为此 ,探讨并总结实现这一历史使命的具体途径 ,就构成了列宁“经济方面的政治”思想的核心内容     

刘勰"原道"说与荣格"原型"说比较

荣格对中国的“道”极有兴趣,试图将之纳入到原型批评的理论框架,刘勰“原道”说就是立足于中国传统文化关于文学本原的探究,与荣格着眼于求索人类文化心理大体相似性的原型批评有相通之处。然而,荣格的原型说立足于宗教观念,从神的形象中归纳出原型;而原道说则是在人与自然的诗意关系的基础上,构建人类精神文化的基本形态。原道说对自然的亲和中所蕴含的生态论美学思想不失为拯救陷入困境的原型批评的良方。     

扩散理论与中国区域发展研究

在中国区域发展研究中,存在一种对扩散理论的误解,以为存在一个作为增长极或核心地的大城市、工业中心或现代化产业基地,就能够迅速带动周边地区的发展,并缩小边远地区和增长极的差异.这种误解至少忽略了这一理论发展脉络中几个十分关键的环节完全的市场竞争的假设;发生"回流效应"的可能性以及扩散发生发展的阶段性变化.中国既不存在完全竞争的市场这一预设前提,也不像西方国家那样有着自然演化而成的、完备的市场制度及其文化背景.以政府行为为特征的"植入式"扩散"并没有带来边远地区的工业化和现代化,这是今天西部大开发应当警醒的.     

马克思跨越理论的内在逻辑与中国特色社会主义

通过对马克思给俄国革命家查苏利奇的回信及3份草稿等历史文献的考察，探讨马克思跨越理论的内在逻辑，并从理论主题、内在要求、实践途径等方面分析中国特色社会主义对这一理论自身逻辑的提升，指出面对新形势、新任务，必须进一步延伸这一逻辑，加快发展中国特色社会主义。     

自我实现预言理论之我见

自我实现预言理论是关于社会和个人行为的理论,得到了西方学术界的普遍认同,并广泛为公众所知悉和应用。但是从该理论出发,通过严格的逻辑推导,却能得到有关理论的悖论,且从科学哲学的角度来看,其证实逻辑亦存在不合理性。事实上,这一理论流行的原因在于其"实用性"而非其科学性。而该理论也有其危害作用,为此必须采取一些措施以停止理论上之危机。