逻辑演算与形式化方法

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

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

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

冲突与和谐:个人权利和国家权力视野下的非关税壁垒

对非关税贸易壁垒的传统分析大多选择经济学的视角,通过此类措施对社会福利以及个人效用的影响评判其合理性.本文另辟蹊径,从个人权利和国家权力的角度采取一种不同于传统的法律诠释,就国家权力通过非关税壁垒对社会财富的再分配可能引起的对个人权利的侵犯,指出国家掌握的社会财富分配权的滥用以及对个人权利保护位序的错乱是非关税壁垒缺乏正当性的重要原因.为此,政府应尽量少实施涉及个人积极权利和在不同社会利益集团中产生显著财富转移效应的非关税壁垒;对涉及个人消极权利的非关税措施,则应在承认目标合理性的基础上,遵循合理的公共决策规则来确定,并重点防范实施中国家权力的滥用.     

对哈耶克法学思想的二点反思

作为西方古典自由主义的思想大师，哈耶克的思想在中国具有巨大的影响力，甚至形成了一股热潮。本文是在这股热潮中的一点反思，这个反思集中在两点：第一，“文化进化论”思路的内在冲突。第二，内部规则与外部规则的划分是否能成立。     

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

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

现代归纳逻辑性向解释面临的困境与发展

性向解释是在频率解释不能解决单个事件概率的情形下由波普尔提出来的。虽然波普尔的性向解释也没有解决为单个事件引入客观概率的问题，但与频率解释相比，它对概率论应用的情形提供了有用的扩展，并且“性向”这个术语并不仅仅适用于他自己的观点。由此，后期波普尔、米勒和费塞特发展了单个事例性向解释，吉利斯发展了长趋势性向解释。     

对航空运输延误的法律思考

航空运输延误引发了一系列的法律问题。正确认定航空运输延误的含义、确认航空运输延误的责任构成,对于处理承运人和旅客、托运人之间的纠纷具有重要的意义。航空运输延误纠纷也体现出我国相关法律规则和法律观念的缺位。     

话说李瑞环立遗嘱

1998年，李瑞环同志郑重地委托他的部下方放同志，把一封遗嘱信转交天津市委。信中说，他对天津人民有深厚的感情，他身后的事要委托天津办理，他逝世后留下来的东西孩子们都不继承，全家商量好了，统统变现资助天津贫困学生。     

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

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

汉语量词"把"的意义、分类及用法--面向第二语言教学的认知解释与功能研究

根据意义和功能,现代汉语的量词"把"分为两类3种:个体量词"把1",集合量词"把2",动量词"把3"。研究发现,量词的使用是一种范畴确认或语法归类,最初使用量词的对象的认知原型,在相当程度上制约着同类对象的量词选取;围绕动词"把"及其有关项所形成的意义,是制约量词"把"的类型和使用的重要因素。