演绎系统和归纳系统一一对应

推理的演绎与归纳之分是从推理的导出关系而言的。推理的结论为其前提演绎地导出是指:如果推理的前提都为真,那么其结论为真,而推理的结论为其前提归纳地导出是指:如果推理的前提都为假,那么其结论为假。在形式语义学中,若一组命题演绎地导出一个命题,则该命题就被定义为该组命题的演绎后承;类似地,若一组命题归纳地导出一个命题,则该命题可被定义为该组命题的归纳后承。相对于形式系统,“演绎”和“归纳”的涵义如下:形式系统在形式语义下是演绎的,当且仅当该系统的语法推演关系等于该语义中的演绎后承关系;形式系统在形式语义下是归纳的,当且仅当该系统的语法推演关系等于该语义中的归纳后承关系。已经证明:形式系统在某形式语义下是归纳的,当且仅当此系统的镜像系统在该形式语义的镜像语义下是演绎的。对于任何按照某一形式语义建立起来的演绎系统,我们都可给出一个形式语义(它同前一语义具有相同的真值概念),并能按照该形式语义建立起一个归纳系统;反之也成立。演绎系统和归纳系统是一一对应的。     

基于语义的电力系统工作流智能推理框架

为实现电力系统工作流程的智能性,结合本体、语义推理、数据挖掘等技术,设计面向电力系统应用的语义工作流推理框架;建立该框架下工作流及其涉及的电力系统资源的本体概念和关系模型,描述电力生产需求信息、工作流和系统资源本体之间的联系;从最基本的推理元素出发,基于语义网规则语言构造工作流生成的触发推理流程和规则;运用Protégé和Jess推理引擎实现工作流触发推理的应用模型,通过推理实验验证本方法的有效性。     

非形式逻辑或论证逻辑:有效性

有效性是论证或推理理论的核心概念。然而,研究文献业已表明,有效性概念已有不同含义。通过对经典有效性标准的限制或修改,形成了归纳有效性、实质有效性、非形式有效性、语用有效性、相干有效性、修辞有效性和惯常有效性等另类的有效性概念。不同有效性概念的阐明,为的是给一般论证提供更适切的评估规范。     

非形式逻辑或论证逻辑：有效性

有效性是论证或推理理论的核心概念。然而，研究文献业已表明，有效性概念已有不同含义。通过对经典有效性标准的限制或修改，形成了归纳有效性、实质有效性、非形式有效性、语用有效性、相干有效性、修辞有效性和惯常有效性等另类的有效性概念。不同有效性概念的阐明，为的是给一般论证提供更适切的评估规范。     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

语义语法建构的原则及思维与文化的指向性

印欧语形式语法的组织原则是上、下位概念之间的判断与推理,其反映的是语言结构的聚合性关系;汉语语义语法建构的基础是以转喻和隐喻为手段,实现相关概念之间语义要素的抽象与组合,其体现的是语言结构的组合性关系.形式语法是显性的、标记的;语义语法是隐性的、语义的.与形式语法相比,语义语法更贴近于人们的思维和认知,在语义语法研究的过程中,思维和文化的因素不可或缺.     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

试析负概念的结构特征及换质推理有效性问题

传统形式逻辑对于思维形式的研究一般只限于分析判断和推理的逻辑结构,疏于对概念结构的逻辑分析,这就难免造成对概念逻辑分析的模糊性和不确定性,甚至直接影响到判断的恰当性和推理形式的有效性。笔者曾写过一篇《浅析概念的内在逻辑结构》,从一般性的角度初步探讨了这个问题。本文试从负概念的结构特征上进一步加以分析,并据此对直言判断换质推理形式的有效性问题提出一种新的看法。有不当处祈望同仁不吝赐教。     

论思维内容和形式——反思形式逻辑学

思维是内容和形式统一的整体。凡内容必有形式,凡形式必有内容。思维的研究方法,除要素分析法外,更重要的是语义分析法。一切语词的符号和符号结构,都有它的意义,这种意义便是思维内容。这就决定了形式逻辑不仅研究推理形式,同时也研究推理内容。所以,形式逻辑的研究对象是推理内容和形式的统一。思维内容的层次性决定了思维形式的层次性,使一切思维形式的逻辑都同时包含有意义的逻辑。意义蕴涵概念的提出,成为形式逻辑走向一种意义逻辑的新转折。     

形式规则还是心理模型——演绎推理过程中两种判断标准的比较研究

演绎推理是人类独有的高级认知活动。然而心理学家对于人们是如何进行推理的一直存在两种不同意见：有人认为推理是依赖于形式规则进行的；而另一些人则认为推理是依赖于心理模型的语义过程。对这两种判断标准理论进行分析和研究，心理模型理论在如下三个方面优于形式规则理论：一是心理模型理论比形式规则理论适用的范围更广；二是心理模型理论对无效判断更为关注；三是心理模型理论关注系统错误。     

《楚辞》英译的形与神--以许渊冲译本为例

翻译家许渊冲以达意传神为基本原则,其《楚辞》英译文体现了借形传神、形神兼备、舍形求神的特点。译者借用英诗的不同诗体在译文中实现形式与内容新的统一;在处理原文的对偶结构、排比句式、长短句时尽量体现出形美;转换、补偿或增删等方法的综合使用突出了译文的神韵。     

"道"之象征--评宗白华的"意境论"

宗白华的“意境”是一个具有浓厚形而上意味的范畴,他在这个概念中寄寓了自己对于宇宙真理的探索意志,而宗白华对于中国画艺术的研究,都旨在阐明中国画意境中所蕴含的中国人的宇宙观念,并致力于揭示出构造这种意境的形式元素的独有特征。     

法学研究之文本形态的反思与理论建构

对文本的真实性的追问一般是评价法学研究文本的有效性与合法性的唯一标准,这种观念建立在对文本形态单一性的判断前提之上,造成了认识上的误区。在文学作品、拟制案件以及真实案件三种作为法学分析文本的文本形态中,对真实性追问并非对每一种文本形态都是有效或者恰当的。三种文本形态彼此区别又相互联系,它们有其独特的法学目的、自我认识及任务、意义,并在各自的系统里运转并发挥作用。     

论词义的两种形态——对20世纪汉语词义学领域一些理论分歧的新审视

词义具有两种形态：客观形态与主观形态，两者存在着巨大差异。所谓词的科学意义与通俗意义，究其实质，是词义主观形态的两种表现形式。而词义的深化，实际上是只发生在词义主观形态的一种现象，用来表述词义的发展演变——词义客观形态的演变则欠妥。词义的定义，着眼的应该是词义的客观形态，而不该是词义的主观形态。词义的分析也应如此。     

从《茶经》章节的翻译谈典籍英译中的意形整合

中国茶文化历史悠久。唐代陆羽所著的《茶经》是“意”、“形”具佳的中国茶文化典籍的代表作。《茶经》目录的章节标题言简意赅地挑明了《茶经》各章节的主题内容,成为展现原文形式美与信息丰的重要环节,是展现在译文读者面前的首项表面效度。本文尝试从《茶经》章节标题的翻译着手,探讨如何在译文中整合《茶经》原文本的形与意,在传达原文本的指称意义的同时全方位传达原文本的言内和语用的意义,以达到“意义相符,功能相似”的社会符号学翻译标准,将《茶经》这本负载着丰饶中华文化的经典之作介绍给全世界。     

一般均衡理论逻辑分析体系的哲学批判

一般均衡理论作为描述经济现象、概括经济问题的理论工具具有了思想体系严谨和逻辑形式优美的特质。但是由于均衡理论的逻辑立论是以市场出清为前提的,客观上存在着实验观察和逻辑批判的双重否定。然而该理论关于均衡价格导致市场出清推理过程,不论在理论上还是在方法论上却是有意义的。一般均衡理论是人们试图建立公理化逻辑体系的出发点,用均衡理论分析现实经济问题,只要有一个制度框架强附加条件的配合,便能增强理论的阐释力。非瓦尔拉斯均衡理论在对一般均衡逻辑分析体系的哲学批判中,试图保持原有逻辑分析体系的一致性,通过引入配额协调机制这一制度因素,构建一个能描述市场非出清状态下的动态一般逻辑分析拓展模型,使对一般均衡理论发展达到了新的理论境界,成为研究经济问题的方法论基础。     

从字形演变透视“射箭”的文化内涵

射箭是我国一项传统的体育项目,历史十分悠久。从其字形的演变,可以透视出特定的文化内涵。射箭曾经是先民们生存的手段和军事技能,被列为教育内容。在周代,成为一种礼制的载体,被赋予丰富的人文内涵。     

语言形式与语义的隐喻认知解释及其对英语教学的启示

认知语言学家认为,每一种特定的语言形式,都有其自身的含义,不同的语言形式表达的语义也有所不同。语言表达形式与语义在量和距离上的关系表现为:一方面,语符(即形式)量越多,语义(即内容)信息量也越多(MORE OF FORMIS MORE OF CONTENT);另一方面,语符间距离越近,语义效果越强(CLOSENESS IS STRENGTHOF EFFECT)。这是人们把语言形式空间化,并通过空间化隐喻去认识语言表达形式和语义的结果。语言形式与语义间的关系对外语教学具有启发意义。     

翻译学视角中形式的表现意义

在翻译运作过程中,形式与意义是互为依存、相辅相成的关系。然而,由于中西语言文字的异质性、思维和文化形式的差异性,使汉英两种语言不能共享一个表达机制,这就构成了翻译过程中形式和意义对应的潜在障碍。本文从翻译学意义理论的视角探讨在翻译中语言形式变异的必要性、形式适度异化的可行性和形式意义丧失的不可避免。