智能教育软件《数学实验室之一——立体几何》

有了自动推理功能的教育软件会是什么样子？本文主要介绍智能教育软件《数学实验室之一--立体几何》的总体设计思想,系统结构和功能等。     

民事司法中的经验推理

本文从法学和逻辑学的角度研究了民事司法中的经验推理.主要观点是:经验是人们所认同的基本常识,是社会生活中反复出现的常态现象,当法官运用经验性命题为推理理由,以确定案件事实和寻找法律依据的时候,法官就在使用经验推理;民事司法中,法官认定案件事实的"自由心证"、法律适用中的"类推适用"和"判例法"都是经验推理的运用.     

文学他化论——关于文学的三悖论考察

文学他化,是文学非文学思想的一个重要方面,即文学是己非己的复杂原因.这样一个命题包含着文学非文学、文学反文学和文学化文学的悖论推理.这三个悖论揭示出一串危机重重的话题:文学蘖生,文学蜕变,文学消亡.当然,其中也孕育着一种全新的文学观念,诸如文学潜移,文学辟合,文学默化.为了论述的方便,笔者从以下三个方面解析处于三悖论征候群中的文学他化问题.它们是文学思想的悖论式推理,文学自身的悖论性生发.文学跨界的悖论化去留.     

阳明格竹:中国古代认识论史上的一桩公案

"阳明格竹"是中国古代认识论史上一个典型案例,王阳明未能找到其格竹失败的真正原因,由此得出错误结论,从逻辑上终结了朱熹所提倡的客观外求式"格物致知"活动的必要性与可能性。沈括提供了"格物致知"活动的成功经典案例。沈括的案例表明:要想获得关于外在对象客观而又深刻的认识,人们必须以积极、动态的操作性实验活动为基础,完善的"格物致知"活动是一个由感性的观察实验与理性的推理分析双向互动的过程。阳明格竹失败的根本原因在于其只有感性、消极的对象静观,没有积极的操作性实验,以及理性推理分析支撑,故而其格竹活动只能无果而终。     

文化缺省及关联理论下的京剧剧本翻译研究

中国京剧发展至今已经有二百多年的历史,京剧中承载着丰富的中国文化,在向海外传播的过程中,引起外国观众的极大兴趣。京剧剧本翻译是京剧走向世界的重要环节之一。此次研究探讨的是京剧剧本翻译过程中文化缺省问题。访谈结果表明,剧本翻译可以采取关联理论对文化缺省进行补偿。此次研究以《霸王别姬》剧本为例,探讨了京剧剧本英文翻译的有效途径及方法。     

论法律推理及其在中国司法改革中的作用

所谓法律推理,就是将法律和事实作为前提条件,借助科学的方式和规定,在法律的范畴之内进行逻辑判断的一种活动,在中国的司法改革过程中扮演着非常重要的角色。本文将在详细阐述法律推理的历史演变过程以及其具体的功能表现的基础之上,进一步分析法律推理对于我国的司法改革的现实作用,希望能够更加深入的了解法律推理这一概念、内容和精神。     

经营活动现金流量主要项目的参考公式探析

经营活动现金流量主要项目的参考公式数量较多 ,内容也较复杂 ,让学生机械记忆是很难掌握的。若在教学过程中采用数学推理法对其进行逐个推导 ,可使学生在领悟的基础上真正掌握经营活动现金流量主要项目的填列方法     

形式逻辑与批判性思维

批判性思维在当今世界发达的教学与研究体系中已经占据了极为重要的地位,在国内亦呈现方兴未艾之势。批判性思维是一门逻辑课程,这就要求我们准确把握批判性思维与逻辑学的关系,以避免由于可能的误解而妨碍了批判性思维教育的顺利推行,而且,这对于把握逻辑学的学科价值,拓展逻辑学的生存空间也会产生积极意义。     

从关联理论看对等原则的局限性

对等原则是翻译理论中的一个基本问题。翻译是否能真正实现对等是当前翻译研究的热点。但是等值翻译不是绝对的,而只能是相对的、近似的。运用关联理论从三个方面分析对等原则,从而论述了对等原则的局限性。首先,对等原则视角下的翻译本质即“二元论”无法解释翻译的“交际性”特征;其次,翻译是一种语际转换活动,由于文化的不同,势必存在翻译上的“缺省”现象,从而使得翻译无法实现完全对等;最后,对等原则认为翻译是静态的,因而无法解释翻译的动态特征。     

化理论为方法:“以得自现实之道还治现实”

"化理论为方法"与"化理论为德性"一起,是冯契智慧说的核心命题.任何理论都内在地具有方法论功能.概念转化为方法是化理论为方法的逻辑依据.从辩证逻辑的角度考察,"化理论为方法"的过程为一个辩证思维推理的过程."推理"与"推行"是贯穿其中的两个基本环节.从方法论展开的角度考察,化理论为方法的过程主要经历了分析与综合的三个环节--开始、进展和目的.在作为认识世界和认识自我的交互作用的人类认识过程中,化理论为方法和化理论为德性互相联系、不可分割.化理论为德性的过程越突显,化理论为方法的层次也就越高.德性的自证是化理论为方法的最高境界.