法律逻辑分型论：信念区别与方法论的划分

单纯的逻辑学和有题材特征的方法论逻辑，是信念研究的两种不同形式抽象，后者对信念形式的研究要兼顾题材的特性。法律逻辑属于后一种方法论逻辑，它的理论结构是3种方法论（法律推理、案情论证、修辞论证）与两种信念（恰当性、合情性）的对应。     

法律论证的逻辑——试论法律逻辑的定位

法律逻辑作为法律实践中极其重要的法学方法论,我国的理论与实务界对其定位与研究方法都存在一定的争论.回顾了西方近现代法哲学界对法律与逻辑关系的探讨,这些探讨,特别是20世纪70年代以来在西方法哲学界所兴起的法律论证理论,为中国法律逻辑的定位提供了新的视角与维度,中国的法律逻辑应定位为法律论证的逻辑;20世纪中后期在西方逻辑学界所兴起的非形式逻辑思想,为中国法律逻辑的理论研究与实践提供了新的方法与理论基础.     

法律论证的逻辑——试论法律逻辑的定位

法律逻辑作为法律实践中极其重要的法学方法论，我国的理论与实务界对其定位与研究方法都存在一定的争论。回顾了西方近现代法哲学界对法律与逻辑关系的探讨，这些探讨，特别是20世纪70年代以来在西方法哲学界所兴起的法律论证理论，为中国法律逻辑的定位提供了新的视角与维度，中国的法律逻辑应定位为法律论证的逻辑；20世纪中后期在西方逻辑学界所兴起的非形式逻辑思想，为中国法律逻辑的理论研究与实践提供了新的方法与理论基础。     

试论法律逻辑的品质

法律逻辑的品质就是法律逻辑这种逻辑所具备的一些个性或者特征,是法律逻辑不同于"普通逻辑"之处.法律逻辑所具有的自身品质是:突出实践性,带有题材性,其推理的结论可以有效性和合理性两个标准共存,其逻辑基础是非形式逻辑等.     

逻辑固法:对法律逻辑作用的感悟

虽然在近百年的西方法学中,逻辑的功能受到了一些学者的批判,但必须看到,法律与逻辑有着不可分割的联系.从法律方法论的角度看,逻辑规则在解释法律、论证法律的时候有固定法律意义的功能.所以,法律学人必须认真地对待逻辑尤其是形式逻辑.这对法律思维方式的形成、法制建设、法学教育等有着重要的意义.     

法律逻辑与公民理性笔谈——法律逻辑与批判性思维

在现代法治社会，法学家通常是以价值灌输和价值批判方式来推动公民理性发展的，但是，法律解释、法理论证、个案认知和司法公正性的评判，不仅仅依赖于价值分析，事实上远非价值论述能够消解理性问题：在法律规范领域里，价值追问与逻辑分析纠缠在一起，倘若缺乏相对独立的逻辑方法论研究，则在这种纠缠中产生价值迷失和逻辑误导是极可能的；在事实认知领域里，司法领域的个案真相，不简单归结为真和假的还原，司法证据规则带有价值倾向，真和善是纠缠的，倘若没有专门的诉讼逻辑理论，则可能得出“真即伪”、“善则假”的印象……这些正是困扰法学家，也是困扰公民社会的法律逻辑问题。我们可以得出这么一个假定。在同样的价值认同情况下，有法律逻辑方法和没有法律逻辑方法，可能会使公民对一个法律现象或者案件得出态度不同的结论，或者得出质量不一样的结论。当前社会存在的不少法律争论和态度对立，有时候不是因为价值取向的原因引起的，而是逻辑不理性造成的，例如：关于辛普森案的争议，就是大家混淆了哲学标准和诉讼标准造成的；又如，关于无罪推定的误解，最能说明我国学人逻辑思维的欠缺；再例如，李惠娟事件其根源在于她所受之法律逻辑理论教育太少，以至一个好的判决被人抓了把柄……在这组参与笔谈的文章中，《法律逻辑与批判性思维》谈到了借助非形式逻辑框架，把法律逻辑与批判性思维有机地结合在一起。《认知理性与价值理性》拟界定一下法律逻辑学之事实论证研究的理论特征，期望将方法论学者的深刻性贯注到诉讼法学和证据法学研究中去。《以论证逻辑为基础架构的法律逻辑》谈到与批判性思维和合理性密切相关的是论证逻辑，而不是作为蕴涵理论的形式逻辑。《法律逻辑研究的三个纬度》论述了要以普通逻辑学理论、非形式逻辑理论、现代逻辑（主要是以近几十年来发展起来的广义模态逻辑为理论基础的道义逻辑）为基础进行研究。《司法独立与逻辑方法论的自治性》谈到司法独立的核心是审判独立，其内涵包括“逻辑方法论的自治性”。[编者按]     

逻辑固法：对法律逻辑作用的感悟

虽然在近百年的西方法学中，逻辑的功能受到了一些学者的批判，但必须看到，法律与逻辑有着不可分割的联系。从法律方法论的角度看，逻辑规则在解释法律、论证法律的时候有固定法律意义的功能。所以，法律学人必须认真地对待逻辑尤其是形式逻辑。这对法律思维方式的形成、法制建设、法学教育等有着重要的意义。     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括“贵有创见”、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

逻辑学论证实践中的法律逻辑

在学界对法律逻辑共识的基础上,从认识论的角度探讨论证实践中的法律逻辑问题。主要探讨了论证实践的划分、论证实践的重点及法律逻辑在论证实践意义与有限性等问题。作为一门动态发展的工具,法律逻辑的根本旨要就在于对论证实践的贡献。     

法律逻辑是训练法律思维能力的必要的有效的工具

法律逻辑是训练法律思维的必要的、有效的工具。法律逻辑有助于准确掌握和运用法律概念,合乎逻辑地建立和把握命题并进行法律推理,对即将作出的法律裁决或法律意见进行逻辑论证。为达到将逻辑理论知识转化为法律思维能力之目的,法律逻辑学应在教学内容和教学方法等方面进行改革。     

自动微分的基本思想与实现

科学计算及其应用常常需要多变量函数的有关偏导数问题的计算,通常使用的计算方法是符号微分或差分近似.对于中大规模问题来说,使用符号微分方法,成本往往非常昂贵,有时甚至不可行,在计算函数的方向梯度时,利用差分方法虽然可以降低计算成本,但得到的是近似值,而且确定恰当的差分区间也很困难.自动微分技术能以较低的成本精确计算中大规模问题函数的导数,在科学计算、工程计算及其应用领域中有着广泛的应用.     

泛线性广义函数及其微分

将一类非线性映射即解剖映射作用在基本函数空间上,定义了泛线性广义函数,从而将线性广义函数推广到泛线性广义函数上.在此基础上,研究了泛线性广义函数的具体表现形式、构造以及微分性质等.     

不同类型生产要素密集产业的定量划分

从我国产业结构调整和产业政策制定的实际需要出发,本文对不同类型生产要素密集型产业的定量划分进行了理论探索.笔者首先概述了国内外同类研究的基本现状,指出了产业划分的多样化趋势和本项研究的重大意义,并归纳出产业划分的八大原则.其次重点讨论了生产要素密集型产业划分的理论依据,进而给出了基于Fuzzy 聚类的产业划分方法,所得计算结果令人满意。     

基于Fortran90的自动微分算法

为了得到高效准确的数值微分运算工具,根据自动微分技术的基本原理,利用Fortran90语言开发了自动微分计算模块MADF（Moduleof Automatic Differentiation with Function）,引入ADF（Automatic Differentiation with Function）数据类型,按照求导规则对运算符及基本函数进行重载,在计算函数值的同时实现了其导数值的自动计算。利用此方法计算了长柱形天然气储运罐的应力对载荷和材料特性参数的导数,其结果与解析解完全一致。     

使用自动微分的分类算法

解决支持向量机中的分类算法需要计算多变量函数的有关偏导数问题,通常使用的计算方法符号微分和差分近似．对于中大规模问题来说,使用符号微分方法,成本昂贵,有时甚至不可行,在计算导数的方向梯度时,利用差分方法虽然可以降低计算成本,但得到的是近似值,而且确定恰当的差分区间也很困难．本文将自动微分技术与分类算法相结合,以较低的成本精确计算了中大规模问题函数的导数,建立并研究了使用自动微分的分类算法．并用数值试验验证了这一算法的有效性．     

常用周期信号的分数阶微分运算

分数计算——分数阶微分与分数阶积分受到众多领域的广泛关注。从信号处理的观点来考察分数阶微分问题。首先，在频域中将微分算子分解为幅度算子和相位算子，导出正弦、余弦和复指数信号的分数阶微分表达式；然后考察矩形、三角形、梯形等常用周期信号的分数阶微分。给出了一些常用周期信号分数阶微分的解析形式，同时也研究了周期序列的分数阶微分运算的数字实现。结果表明分数微分运算确实存在，它同时改变了信号的幅度和相位，可以对之进行非线性分析。     

微分算子的一类重要性质

给出了无界算子成为非游荡算子的充分条件,运用特征向量的方法研究了在Bargmann空间上无界加权后移位算子的非游荡性,由此得出了微分算子在Bargmann空间上是非游荡算子;最后讨论了微分算子在Hardy空间上的非游荡性．     

外微分在电动力学中的应用

用外微分处理场论问题,给出了真空中电磁场的势、场和场方程的外微分表述,介绍了电荷连续分布情况下洛仑兹力的外微分式。     

Fuzzy赋范空间上算子的微分

本文给出了Fuzzy赋范空间上算子的Fuzzy Frechet微分、Fuzzy Gateaux微分的定义,讨论了它们的一些性质。     

二元函数可微的一个充分条件

对高等数学和数学分析中二元函数可微的充分条件进行了研究,将条件减弱,得到了新的二元函数可微的充分条件,它揭示了二元函数偏导数存在与可微性之间的关系,并通过实例说明了函数可微的判定方法。