逻辑演算与形式化方法

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

《红楼梦》中《癞头僧嘲甄士隐诗》的语篇纯理功能试析

本文以Halliday的系统功能语法为理论工具,尝试对《红楼梦》中《癞头僧嘲甄士隐诗》的五个英译本进行逻辑语义关系、主位结构和衔接系统的对比分析,以展示在翻译中考虑语篇纯理功能的重要性。     

裂变与重建：大众媒介语境下的文学场研究

在大众媒介的强势渗透下,文学场的自主性原则遭到沉重打击,文学场的裂变难以避免,重建媒介时代的文学场,应该将文学场视为一个以媒介为中心的开放场域。媒介时代的文学研究需要突破本质主义和二元对立思维模式,将封闭的文学理论开放,加强对大众媒介语境下文学经验和文学现象的研究,利用媒介,利用文学,丰富我们的文化生活,提升我们的文化品位,从而提高整个社会的精神质量,这正是重建媒介时代文学场的目的和意义所在。     

公有制经济主体地位的逻辑反思:前提还是结果

受经典作家的理论影响,我们始终强调公有制经济的主体地位,但这是一个伪命题.在市场经济体制下,公有制经济与民营经济、外资经济都是平等的市场主体,不存在主次贵贱之分,如果有主次之分,只能是市场公平竞争的结果,而不是前提.决策者应当顺应市场逻辑,放弃主体地位提法,遵循市场法则,唯此才有利于资源的优化配置.     

斯洛文尼亚语中的逻辑因素——作为时态与体态的施行性

1955年,奥斯汀提出了他的施行式理论("言与行理论")。在比英语拥有更丰富、更歧异的词法的斯洛文尼亚语中,发现(甚至可以说发明)施行性的道路是截然不同的。而且在原则上,这对讲其它多种斯拉夫语的人们来说也是如此。首先,本文介绍了一位斯洛文尼亚19世纪的语言学家斯克拉贝(Stanislav Skrabec,1844～1918)的对于这个理论的贡献。之后,我们解释了他在什么样的基础上发起了一场关于斯洛文尼亚语中完成式现在时与未完成现在时的使用差异的争论。     

公民社会产生与发展的内在逻辑

公民社会理论在当代已发展成为一种重要的政治思想范式和学术研讨领域,它为人们构建理想社会的努力提供指南。然而,从目前研究的总体情况看,与公民社会理论兴起相伴随的,却是普遍存在着的规范主义和目的论,从而削弱了其实践指导功能。为此,运用新制度主义方法,通过探讨公民社会形成与发展的内在动因,廓清公民社会产生与发展的内在逻辑,将使对公民社会的经验分析成为可能。     

黑格尔与经典作家论哲学体系的逻辑展开

我国改革开放以来,马克思主义哲学的体系创新逐渐成为马克思主义哲学的研究重点之一,作者认为重温黑格尔、马克思、恩格斯和列宁关于构建科学的哲学体系的思想对于推动这个问题的研究是有重要意义的。在作者看来,他们构建科学的哲学体系的主要原则是逻辑与历史一致,其具体表现是哲学范畴、原理从抽象到具体的过程。文章重点论述了列宁构建科学的哲学体系的思想。     

超越抑或回归:论撤销权的法律效果

我国合同法及其司法解释未对撤销权行使的法律效果作出明确规定,学界争论颇多.有学者认为应当沿用传统大陆法的"入库规则",也有学者主张应当由撤销权人优先受偿.文章从制度构建中的逻辑贯彻与利益衡平两个角度展开讨论,证成"入库规则"的合理性.     

汉语时间概念隐喻的认知分析

隐喻不仅是一种语言现象,更是一种思维现象。人类通过其他具体概念来认知时间这一抽象概念。认知过程中,汉民族通过多种意象图式对时间概念进行建构。汉语中的时间概念隐喻分为时间是空间;时间是实体;时间是金钱。形成方位隐喻、实体隐喻、结构隐喻三种隐喻方式。汉语时间概念隐喻在人类语言尤其是在日常语言中占有重要地位。     

诗歌变异语言及其实质

本文主要分析诗歌作品中实际存在的变异语言的种类、实质及其划分的标准.通过分析,我们可以看到,诗歌变异语言尽管怪诞不经,甚至晦涩难懂,但都是对世界的新理解和原初命名.它有如一道闪电,在刹那间照亮世界.在语言局限无不存在的现实面前,表达变异是反映无穷新知的必需的客观存在.变异语言常有的怪诞,并非诗人的乖戾,而恰恰是其深刻智慧的闪光.