认知语言学视野下的转喻研究

从认知语言学角度出发,对转喻及其相关内容进行分析,涉及其定义、认知解读、与隐喻的区别以及分类等方面。转喻不仅仅是一种语言现象,更是一种概念现象;不仅仅是一种辞格,更是一种认知过程。转喻遵循的认知原则有邻近原则和凸显原则,隐喻则是根据事物的相似性来进行的。

格值命题逻辑系统LP(X)的语义归结方法

为提高格值逻辑系统中α-归结原理的效率,将语义归结思想和α-归结原理相结合,讨论了格值逻辑系统的α-语义归结方法,并得到了其可靠性和完备性,为基于格值逻辑的归结自动推理算法作了必要的准备。

格值一阶逻辑LF(X)中的α-语义归结方法

自动推理是人工智能的一个重要研究方向,基于归结原理的自动推理因易于在计算机上实现而得到广泛研究。语义归结是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。为了提高基于格蕴涵代数的格值逻辑的α-归结原理的效率,将语义归结策略应用于α-归结原理。首先给出了格值一阶逻辑系统中的α-语义归结概念和α-语义归结演绎概念,接着讨论了格值一阶逻辑系统的α-语义归结方法,并证明了其可靠性和条件完备性,最后通过实例说明了其有效性。

描述逻辑系统εLN中的概念包含推理算法研究

首先我们在F Baader给出的εL概念描述树基础上给出了εLN中概念描述树的定义,然后定义了εLN中概念描述树之间的同态关系,最后通过计算两棵概念描述树之间的同态给出了εLN中概念之间的相互包含关系算法。

四值非链格值命题逻辑系统L_4P(X)的语义归结方法

为了提高归结方法处理带有不可比较性信息的能力,给出了四值格值命题逻辑系统上的语义归结原理,并证明了其可靠性和完备性,其上归结原理的研究为归结算法的实现提供了理论基础,从而为处理含有不可比真值的格值逻辑系统在智能推理系统中的实际应用提供了有力的支持。

毕节方言地名词语源系统探析

毕节方言地名词有两大语源:其一为外来汉语地名,包括两种情况,即由汉族移民异地移植的地名(如古南京地名)和按汉语命名方式命名的地名(如府、县、乡、村、铺、伍、所等通名)。其二为借词地名,即源于各少数民族语并已经通用的地名。毕节方言地名系统来源的多元化特征,也折射出其所独具的多元价值和意义。

位移动词“去”、“往”的语法分化及认知分析

通过考察位移动词"去"、"往"的语义语法在历时上的演变情况,结合现代汉语词典的解释,"去"、"往"的词义和语法功能的演变轨迹可归纳为两次分化:第一次是由动词分化出名词或形容词;第二次再分化出介词。并且,这种分化可以从认知语言学理论中得到相关理据。

观念与创新:中国逻辑研究刍议

用逻辑观念审视一百多年来中国逻辑研究的范式,可以把既往的研究成果和研究队伍,根据三种逻辑观念较为清晰地分成三大类别,论证了逻辑观念在中国逻辑研究中的重要作用;倡导"文化逻辑观",拓展中国逻辑研究的研究领域和发展方向,是中国逻辑研究创新发展的必由之路。

从相干逻辑看逻辑的可修正性

相干逻辑是现代逻辑的重要分支,它是异于经典逻辑的"非经典逻辑"。相干逻辑在批评经典蕴涵的基础上,从多个方面对经典逻辑进行了修改。总体来说,相干逻辑的修改方案是可行的和成功的。但是,相干逻辑仍然面临诸多问题,有待进一步解决和完善。

关于格值逻辑系统中语义归结的几点思考

语义归结方法是对归结原理的一种重要改进,能有效地提高归结推理的效率,讨论了格值逻辑系统的语义归结方法,并列出了语义归结方法的一些创新点。

历史语言学族群史观的演变及其解释模型

历史语言学跟民族学、历史学一样都关注族群历史起源研究。历史语言学在其发展进程中先后建立起两种解释语言历史演变的模型——裂变模型和聚变模型。这两种模型反映了历史语言学家对族群历史起源研究的思考。它们的先后建立反映出历史语言学族群史观的一次重要嬗变。

比较逻辑学理论内涵初探

比较逻辑研究发展到今天,已有百余年的历史。在这个漫长的过程中,它走过了一条艰难而曲折的道路。比较逻辑研究中所体现的内涵特征凸现了它存在的价值,这些特性也正是比较逻辑发展成为一门学科必不可少的要件。

毕节方言词语法化倾向初探

汉语语法化研究正受到越来越多学者的重视。而对某一地域内或某一方言的词汇的语法化研究则较少。毕节方言中部分词语的虚化,反映了毕节方言与中古汉语之间的联系,也是汉语实词虚化这一总体趋势的佐证。毕节方言词语法化的倾向,既是词义和语法变化,也是人们认知方式变化的过程的反映。

论苏珊·哈克的认知证成方案

苏珊·哈克对传统认知证成理论做了非常细致的剖析和批评,提出了一种中间型的新方案——基础融贯论,有效地克服了基础论和融贯论的缺点,赢得了广泛赞誉。尽管如此,作为新兴的证成理论,仍然存在许多尚待解决的问题,需要进一步完善。

方程、真值表与状态转换图在逻辑推理中的应用

给出了方程、真值表与状态转换图在逻辑推理中的应用。

一种格值的模糊动态描述逻辑

为了使描述逻辑能处理更一般化的模糊动态信息,将模糊动态描述逻辑FDDL的真值空间扩充到完备格上。

关于马尔库塞视域中人类异化的逻辑探讨

马尔库塞认为由于现代科学技术的进步,导致了现代的人异化和不自由,追究其思想根源是由于逻辑思维方式的转变而致使现代人处于被奴役的境地。

格值语义归结推理方法

归结自动推理是人工智能领域的一个重要研究方向,语义归结方法是对归结原理的一种改进,它利用限制参与归结子句类型和归结文字顺序的方法来提高推理效率。基于格蕴涵代数的格值逻辑系统的α-归结原理提供了一种处理带有模糊性和不可比较性信息的工具,它能对格值逻辑系统中在一定真值水平下的不可满足逻辑公式给出反驳证明。首先研究了格值逻辑系统上一类广义子句集的性质,该类子句集在任意赋值下能分为两个非空子集,接着讨论了这类广义子句集的语义归结方法,并证明了其可靠性和完备性。

贵州威宁方言单字调声学实验分析

传统上对威宁方言单字调的研究历来存在一定的分歧,而基于多个发音人运用语音实验的方法对威宁方言的单字调进行分析,可以解释这种分歧的原因。从实验结果及分析可知传统上威宁方言单字调的分歧实为同一调类调值的不同变体之间的分歧。

山东费县(刘庄)方言音系

费县(刘庄)方言包含24个声母、37个韵母和4个声调,体现的是老派方言的语音系统。从其语音特点来看,费县(刘庄)方言兼有中原官话和冀鲁官话的特点,属于带有冀鲁官话性质的中原官话。