一阶逻辑的内涵语义

熟知的一阶逻辑语义因为只论及个体对象而不涉及属性实体而被认为是外延的。相对于这一外延语义，一阶逻辑还可为其中只含属性实体而不含个体对象的内涵语义一致且完备地刻画。比之于外延语义的解释，内涵语义的解释使一阶语言更接近于自然语言的语义，而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。     

人工智能中一阶逻辑的现代表达方法

人工智能研究中使用的主要语言是一阶逻辑语言,而非程序语言,其特点在于计算不再是其主要特征,更注重推理过程和知识库构建,结合诊断规则和因果规则,使智能体获得理性判断能力。     

论内涵逻辑的发展及其限度

外延主义一直是逻辑发展的一个重要方向,即逻辑要求摆脱内涵的束缚,走外延的形式化之路。然而现代模态逻辑的出现,揭示了外延主义逻辑的局限性,宣布了构建内涵逻辑的可行性,但外延主义处理不了模态词,因此只能求助于内涵的分析。与外延逻辑追求的有效性不同,内涵逻辑追求的是恰当性,追求恰当性是内涵逻辑发展的直接动力。然而传统内涵逻辑也面临替换失效性问题,因为内涵逻辑本身也过于追求形式化,忽视了对语境的要求。目前看来,语境要素可能是突破内涵逻辑限度的可行性方案之一。     

现代汉语同动式的逻辑语义分析

对同动式进行逻辑语义分析的目的,是将同动式的独特的语义内涵形式化,以便用于中文信息处理等领域.其任务之一是给出能够描述同动式语义内涵的逻辑表达式.这需要结合相关理论来考察同动式的语义内涵,考察其与连动式、兼语式相区别的语义特征,再运用逻辑语义学的方法,对同动式的语义内涵进行有效的形式化描写.     

蒙太格PTQ系统的内涵逻辑

蒙太格的PTQ系统通过三部分最终完成了对自然语言形式化的处理,它们分别是:建构一个部分英语语句系统的语形;给出内涵逻辑的语形和语义;通过翻译规则,给出部分英语语句的语义.PTQ系统中最具创造性的内容之一是它的内涵逻辑思想,这对正确翻译英语语句语义至关重要.分析探讨PTQ系统中的内涵逻辑思想对我们深化汉语的形式化研究同样具有重要意义.     

关于一阶逻辑形式系统中概括规则的注记

本文在文献［１］的基础上，给出一个一阶逻辑形式系统Ｋ＇；证明了Ｋ＇的限制概括规则和Ｋ＇演绎定理；证明Ｋ＇与文献［１］中的一阶逻辑形式系统Ｋ是等价的；通过比较Ｋ＇和Ｋ，说明Ｋ＇的有关元定理强于Ｋ的相应的元定理，同时说明概括规则对一阶逻辑形式系统的影响．     

广义量词理论对一阶逻辑的扩展

广义量词理论是一阶逻辑的扩展。该理论已经成为逻辑学和语言学中重要的推理工具之一。广义量词是对来自于一阶逻辑中两个标准量词（全称量词和存在量词）的推广。对一阶逻辑进行扩展的主要原因有二：其一是为了解释亚氏三段论形式以外的大量的有效推理;其二是为了提升一阶逻辑的表达力,使得计算机能够更好地处理自然语言。文章阐述了广义量词理论来自于哪里,是如何得来的。现代谓词逻辑首先通过固定一阶逻辑中的全称量词和存在量词的真值定义,然后把它们的真值定义推广到〈1〉类型的广义量词,之后把〈1〉类型的广义量词的真值定义推广到任意的广义量词。这样就可以把任意的广义量词添加到一阶逻辑中,从而得到表达力更强的逻辑———广义量词理论。     

语义思维与句式描述

一语义的性质之首 ,是语义的客观性。词的客观概念是语义的基石 ,它是反映客观事物本质属性的一种思维形式 ,每个词或词组的概念所完成的对事物本质属性的描述 ,具有内涵 (ｃｏｎｎｏｔａｔｉｏｎ)和外延(ｅｘｔｅｎｓｉｏｎ) ,内涵是主要的 ,外延是内涵延伸的概括扫描。句式描述 (ｓｅｎｔｅｎｃｅｄｅｓｃｒｉｐｔｉｏｎ)是语义的表象形式 ,是语义的一种联合而完整的具体实施 ,这一具体实施的结果 ,便产生了语义思维 (ｓｅｍａｎｔｉｃｔｈｏｕｇｈｔ)的交际效应。在社会的语言实践中 ,我们不止一次地观察到 ,句式描述往往不能准确清晰地…     

语义分析:从外延到内涵─—卡尔纳普逻辑语义学评析

塔尔斯基是公认的逻辑语义学的创始人，但真正为辽辑语义学建立完整理论体系的，是卡尔纳普。卡尔纳鲁对逻辑语义学的最大贡献在于，他用其首创的“外延-内涵”方法，为我们构建了一个严格而精妙的语义分析系统．这一系统的基本特征是：不仅从外延，而且从内涵方面来把握语言的意义．     

内涵逻辑发展的新趋势

内涵逻辑产生于上世纪60年代,如今它已经在计算机学科、人工智能、语言学、哲学甚至数学基础等如此多样性的学科中发挥着强有力的理论和实践工具的作用。对当代内涵逻辑文献的阐述,不仅可以使我们了解内涵逻辑的个性化理论内容,以及表现于这些内容中的新思想和研究成果,同时也可以使我们更好地展望内涵逻辑的发展趋势和研究方向。     

经典一阶逻辑的希尔伯特型系统

系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。     

试析蒙塔古的语用内涵逻辑

逻辑语用学不同于一般语义学,它不仅相关某个解释或模型,而且还相关语言的语境来讨论真、满足、有效及逻辑后承等概念.讨论语境是语用学的一个典型特征.内涵是语用学的一个重要概念,因为许多索引表达的外延确定依赖的是各组成部分的内涵.一个复杂表达的内涵是其组成部分内涵的一个函项.蒙塔古构建的语用内涵逻辑对我们分析处理这类间接语境中内涵与外延间的关系有极大的启示.     

“事实”投射的句构与功能语义阐释

功能语言学理论的构建是以功能语义为出发点的,“事实”作为一种介于现象与元现象之间的语义抽象,对研究功能语义具有重要意义。本文对“事实”投射的各种句构类型进行梳理,重点聚集“事实”投射的功能语义。首先。区分了“事实”投射与其他投射类型的差异;然后,从及物性过程、言语功能和元功能三个方面描述“事实”的句构特征,并结合语法隐喻,阐释了“事实”投射的功能语义;最后,本文尝试构建一个归类清晰,语义明确的“事实”投射系统,以期对“事实”投射的句构和功能语义有一个更全面深入的认识。     

形式语义学的历史渊源和理论框架

传统语义学认为自然语言不适合进行形式分析 ,蒙太古 (Montague)等人开创的形式语义学一反传统 ,提出“英语也是形式语言”。形式语义学的主要观点来源于逻辑学、模型理论和语言哲学 ,其基本理论框架包括广义量词、函项结构、范畴语法和组合原则等。形式语义学近年来在国外影响很大 ,本文主要介绍其起源和经典理论的基本框架     

卡尔纳普的量化模态逻辑形式语义学

鲁道夫·卡尔纳普首次为模态逻辑提供了语义学理论。他也第一个为量化理论与模态逻辑（S4和S5类型）相组合的逻辑类型提供了公理系统。他将三个伟大哲学家的学术传统汇集于一身。弗雷格使他对语义学产生了兴趣,并帮助他掌握了对涵与外延相区别的方法;从莱布尼茨那里他吸取了把必然分析为在所有的可能世界为真这一重要思想;而维特根斯坦的某些思想则形成了卡尔纳普自身工作的某些部分的起点。卡尔纳普给出了“状态描述”的定义,指出状态描述代表莱布尼茨的可能世界或者维特根斯坦的事物的可能状态。为解释量词,卡尔纳普引入了“个体概念”的概念。     

“阻卜”的语源语义考

在元人编修的<辽史>、<金史>中,有大量的关于"阻卜"或"阻(革业美)"的记载,而自唐朝开始直至明清时期出现在史料中的"鞑靼"这一名称,却并未出现在<辽史>、<金史>中.近代以来,学者们对"阻卜"问题做了大量考证工作,认为阻卜既是鞑靼的别称.在前人研究基础上,采用历史语言学与北方民族文化习俗相结合的方法,初步探讨"阻卜"的语源、语义问题很有意义."阻卜"为契丹、蒙古语中的方位词jüü或jegün(东),其语义为"左",按照突厥蒙古语系部族的方位习惯来看,jübü或jegün指中原传统的方向"北".辽金史中出现的"阻卜"一词是处在北方的各部族的泛称.     

逻辑与审美

逻辑并不枯燥。逻辑能够造就美。文学中有着逻辑美的鲜花。不符合语言逻辑和生活逻辑的作品难以称之为文学。逻辑推理在文学创作中往往是作为美妙的思维程式出现的。逻辑并不意味着枯燥的概念和乏味的推理 ,它在整个艺术世界中时时闪耀着美的光彩。     

应用英语翻译中语义问题思考

应用英语翻译过程中如何确定文本语义的问题。本文认为,应用英语翻译文本中所现的语义不是源语文本语义的翻版,而是与表层语义信息提取整合密切相连的,并受到译者知识图式的影响,因此可能与源语文本的语义存在一些差异,但这并不意味着错误,而可能意味着语义在翻译文本中的新生。