逻辑演算与形式化方法

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

道德与道德教育

通过对道德含义的剖析 ,指出道德属于关系范畴 ,并从道德起源的角度阐明道德产生的一般条件 ,进而指出我国当前道德教育存在的一些问题 ,得出道德教育应选择的途径。     

老子的独语与对话

老子是先秦重要的思想人物,他表面上用《老子道德》的独语体来表述一位孤独者的心语,但实际上这本书蕴涵着潜在的对话精神。老子的人文智慧主要通过对话的方式来与世界交流,与人民沟通,与孔子的教喻有所不同,分属中国古代思想不同的言说与表述方式,从思想对话的角度去理解老子,是很有意义的。     

关于社会主义新农村建设时空定位问题的探讨

在新农村建设时间、空间定位上的不同认知反映的是在这一问题的理论预设、价值取向、发展战略方面的重大差别.在时间定位方面,激进取向会导致政策体系的制定和供给不考虑和照顾农村地区的独特性,而倾向于以城市生产生活内容为标准,会以工业化的甚至是后工业化的观念框架和概念系统去定义和解释农村社会的现象.空间定位包括两个方面:其一,统一的中央政策如何在经济社会发展水平差距巨大、地域文化差异也十分明显的不同区域得到全面的贯彻实施;其二,社会主义新农村建设的建设单位在空间上应当定位于具体的"村庄"还是县域视野中的"农村".     

试论通过法律解释及漏洞填补等方法实现个案正义

法律解释和漏洞填补等方法可以调和法律的普遍规定与特殊调整和具体适用之间的尖锐矛盾,在个案审理中发挥了重要的工具作用。尤其在法律相对滞后的情况下,如何使当事人各方利益都得到体现,如何使法律正义、程序正义得以体现是每一个法律工作者毕生追求的目标。     

浅析格式合同及其解释、效力

随着市场经济的发展 ,格式合同应用越来越普遍 ,随之带来的是法律对其规定的日益完善。文章通过对格式合同历史发展过程的简要分析 ,阐述了对格式合同的解释存在歧义时 ,应作不利于提供格式合同一方的解释 ,格式合同的条款无效的效力也限于提供合同的一方 ,另一方不承担相应的无效责任     

建立计量经济模型时解释变量的筛选

正确选择解释变量是计量经济模型建立好坏的一个关键。解释变量太多,会造成模型庞大,计算 复杂,还可能会包含一些不重要的因素,影响模型估计的效果;太少,有可能会使模型丢失一些重要变量,影响 模型的代表性。     

无诤与圆融——《维摩诘经》的核心义理及其对宗教对话的贡献

佛教从诞生之初,即面临着如何妥善处理宗教间的关系的问题.佛陀圆满地处理了种种复杂的关系,对今日的宗教对话仍有启发.本文试图以<维摩诘经>为中心探讨佛教(尤其大乘佛教)在宗教对话中表现出的两大特色:无诤与圆融,并进一步讨论佛教如何基于自身的理论特色在今日的全球宗教对话中发挥独特的作用.文章认为实相(真理)是全体展现,世问存在的一切皆有其合理性,一种宗教只有既认识到自身和他者存在的合理性,才有可能趋近最高的善与实相.任何一种存在都既是作为终极意义上的全体,又是作为现实中的部分存在着,共同构成全体.同时,大乘空观可以理解为是对骄傲与固执,或自我中心主义的一种彻底的治疗.互即互入,这也是诸法平等,心、佛、众生平等的深义所在.这样一种理念--"不二"成为当代宗教对话的重要思想资源.最后,面对现代世俗社会的不舍理现象,如何塑造人生的意义、价值与生活目标,是各传统宗教、文化的主要课题.也正是在这一维度上,各宗教之间的对话才有可实质性的展开,乃至发展出真诚的友谊.     

谈听力教学中的口语训练

本文根据成人学习第二语言的特点，阐述了初级阶段听力教学中日语训练的重要性，对听力教学中口语训练的一些方法做了说明，并对口语训练与口语课的异同也做了详细地论述。     

举证责任分配理论之重构

从法律解释学的角度重新分析举证责任分配的本质。分析了举证责任分配的理论依据,阐释举证责任分配的理由;运用法律行为的相关理论证明举证责任分配的实体法解释的本质;从法律解释学的角度重新构造了举证责任分配。