法律推理中的辩证推理与实践推理刍议

共识认为，在法律推理时仅仅依靠形式法律推理是不够的。但不同的法学家对如何弥补“不够”并不一致。本文针对辩证推理与实践推理两个理论的要义进行比较，以期找到在中国法律制度下的法律推理的理论模式。     

加强法律推理在审判实践中的运用

法律推理作为逻辑学界和法学界共同关注的问题,正在受到越来越多学者的重视。在司法实践中法律推理的作用日益突出,审判中法官正确恰当地运用法律推理无疑能够增强司法判决的一致性和正当性。对法律推理的深入研究,特别是与审判实践紧密结合能够使法官加强法律推理能力及运用逻辑思维进行理性、科学的司法裁判。熟练地掌握和运用法律推理,会对法官裁判案件大有帮助。但目前,我国的法律推理研究还不够深入,在司法实践中尤其是与法官裁判活动的结合不够紧密,未取得令人乐观的实质性进展,加强法律推理在审判实践中的运用不仅是必要的而且是必需的。     

论审判活动中的法律假言推理

法律假言推理是诉讼活动中的重要推理，分析和探讨审判活动中法律假言推理的特征及其结构形式，旨在阐明为了获得可靠，准确的审判结论；除了要具备相关的法律知识以外，还需具备法律逻辑的基础知识，在逻辑的层面上来理解和把握法律规定，进行有效的法律推理，力审判结论提供思维保证。     

法律推理研究述评

近年来,随着法学研究的转向,有关法学方法、法律方法的研究逐渐成为法学研究中的“显学”。而在法律方法研究中,法律推理越来越受到学者的关注。本文就我国学者对法律推理问题的研究进行评述,目的是清晰人们对法律推理的认识。     

论实质法律推理对司法的意义

司法推理是法官在具体的案件中,通过适用法律,认定案件事实,进行综合考虑,从而得出司法判决的过程。其中包括多种推理形式,如形式推理和实质推理等。纯粹的形式法律推理具有很多缺陷,在实践中,司法活动为谋求法律效果、政治效果和社会效果的统一,实质法律推理备受司法者的重视。司法的实践理性、司法的不确定性,决定了实质法律推理的核心地位。     

论法律推理的有效性特征

法律推理是以法律规定和事实材料为前提推导和论证法律结论的过程.这一过程在司法实践中广泛应用,而法律推理的有效性问题一直被理论界所关注,本文就其进行了探讨.     

情绪推理:一种独立于理性推理的推理形式

情绪推理(Emotional Reasoning)是基于情绪体验而做出的主观性判断,它具有两面性:一方面它能完善人们的思维能力,尤其是理性推理难以发挥作用时更是如此,另一方面它又会因为缺乏客观依据而导致认知偏见。研究基于文献分析法、理论思辨法和德尔菲技术等方法,对国内外有关情绪推理的相关研究进行了综合梳理,结果发现,国内研究主要集中在基于逻辑推理范围内深入考察情绪对逻辑推理的影响,而国外更倾向于视情绪推理为一种独立于基于逻辑的理性推理而存在的推理形式。此外,研究还发现,情绪推理的发生机理是以一种与理性推理的累加式结构不同的乘方式结构而展开的。     

一种基于证据推理的似然推理算法

似然推理是知识工程研究的主要课题之一。目前已有计多似然推理体系被应用在各种专家系统中。证据理论是八十年代被引入到知识工程研究中的似然推理理论,现己受到高度重视。本文提出一种基于证据理论的似然推理算法,它可以充分发挥证据理论的优点。     

裁判推理的四种有效模式——以否定式裁判推理为中心

当前的主流理论把裁判推理的有效模式刻画为一个充分条件假言推理,其缺陷在于忽视了法律规定的多样性和事实不明的可能性,特别是不能说明否定式裁判推理之有效性。重建裁判推理的有效模式,须以整体适用的思维反映裁判推理的实际,将所有那些或明或暗地起着实际作用的法律规范都纳入大前提之中,并且注意证明责任对裁判的特殊影响。由此,可以确立以充要条件假言规范命题为大前提的四种裁判推理有效模式。     

事实、规范与价值——法律推理体系重心定位

法律推理常处于一个由外部推理和内部推理织就的复杂网络中。法律推理作为一种有目的的实践活动,必须以法律事实为逻辑起点、以法律规范为准则、以法律价值为衡平,要求具备客观性、可预见性和一致性。法律事实认定、法律规范识别、法律价值论证是一个系统化的进程,价值原则始终作为主线贯串其中,不仅制约着推理体系的内在结构和逻辑关联,而且事关法律方法的活力与法治技术的发展。法律推理体系重心应定位于对案件事实的认定、对法律规范的选择以及在合法性与合理性张力下对法律价值的追寻。     

基于弹簧系统的飞机结构扣重技术

飞机强度验证试验中,为保证集中大质量结构扣重的准确性,提高卸压安全性,基于弹簧系统提出了一种新的飞机结构扣重技术。解决了作动器扣重方式卸压后扣重载荷消失以及反配重扣重方式摩擦力使扣重量值不够准确两项技术难点问题。通过验证试验对该扣重装置进行测试,结果表明:弹簧刚度数据与设计预期吻合良好;试验状态,载荷施加正常;卸压时刻,试验载荷和扣重载荷转换平稳;停机状态,扣重载荷施加准确。成功应用于某型飞机疲劳试验发动机假件扣重,实现了飞机集中大质量结构试验状态和停机状态的准确扣重,同时降低了卸压瞬间载荷冲击。     

卢瑟福散射公式推导

许多书籍中对卢瑟福散射公式的推导是不完整的，在本文中从动量和角动守恒出发推导出公式。     

企业R&D费用加计扣除研究综述

从RD费用的界定与归集、加计扣除政策的作用等方面对国内外RD费用加计扣除的相关研究进行梳理和评述,在此基础上可以看出:企业普遍对RD费用加计扣除政策的理解和掌握不够、不能准确地界定与归集企业RD费用、对加计扣除政策的作用认识不足、对RD费用的会计核算与税务处理不规范等。这导致企业不能很好地运用该激励政策。     

计量逻辑学中的形式化推演方法

基于经典逻辑系统中的计量逻辑学,探讨了计量逻辑学中的形式化推理问题.结果表明,在注重数值计算的计量逻辑学中同样存在类似于语构理论的形式化推演方法,并给出了形式化推演的性质.     

命题逻辑等值演算的计算机求解方法

探讨了利用数据结构中广义表的特性来设计命题逻辑表达式在计算机上的逻辑结构和存储结构，以及在这种结构上如何实现它的基本操作，进而实现其它复杂的等值演算。     

PROLOG线性归结的研究与设计

本文研究了 Horn 子句的形式描述,分析了 PROLOG 语言的归结机制,探讨了有选择线性归结及其不完备性,提出的改进技术引入了宽度优先搜索机制,并在理论上作了探讨,解决了使搜索陷入无穷分枝的问题。     

"混凝土温度收缩应力基本公式"推导过程值得商榷

《工程结构裂缝控制》一书中“混凝土温度收缩应力基本公式”推导过程有误。根据数学、力学理论给出了正确的推导。     

判定多值逻辑推导问题的代数方法

本文证明了对于给定的多值逻辑系统中的命题公式，存在有理数域上的多项式与之对应从而判定一个命题公式能否以一组命题公式推出，我们只需判定某一多项式是否在一代数值上消失通过代数簇的分解，给出了判定这一问题的算法。     

一种基于模糊推理的神经网络学习算法

提出了一种新的神经网络学习算法．相对于其他学习算法，该算法侧重于网络参数的调整，通过对样本集的模糊推理、调整和分类学习来实现自适应的神经网络学习．结果表明，该算法能大大提高神经网络的学习速度和学习效率，并能从样本集中得到反常样本和小概率事件样本，对小概率事件样本有很好的学习能力．