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

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

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

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

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

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

试论法律逻辑的学科性质

目前,学界对法律逻辑的学科性质众说纷纭,莫衷一是.归纳起来,主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种.在我国,虽然理论法学分支论最近才有个别学者以模糊的语气谈及,并且一经提出便遭到许多学者的质疑,但经过分析,就会发现,理论法学分支应该是法律逻辑的最佳归宿.     

法律关系及其逻辑模型的建构

法律关系是法学的基本范畴。但长期以来,我国法学界对作为分析工具的法律关系疏于研究,法律关系的方法论功能在理论上没有得到充分的展示。要进一步提升法律关系的方法论功能、完善法律关系理论模型,需要理论法学界与法律逻辑学界的共同努力。一个成熟的对法律人有影响力的法律关系模型对法治建设有积极的意义。     

法律逻辑教与学

目前的法律逻辑教学应配合法学素质教育和职业教育进行以下必要改革:应明确法律逻辑教学对象主要为法学院学生、法官、检察官和律师等法律职业人员;应紧紧围绕训练法律人的法律思维方式来选择教学内容,突出办案思维的逻辑和大陆法系法律推理模式;教学方法宜采用案例教学法或苏格拉底问答法,以培养学生分析问题和解决问题的批判性思维能力.     

试论法律逻辑的学科性质

目前，学界对法律逻辑的学科性质众说纷纭，莫衷一是。归纳起来，主要有形式逻辑分支论、应用逻辑分支论和理论法学分支论3种。在我国，虽然理论法学分支论最近才有个别学者以模糊的语气谈及，并且一经提出便遭到许多学者的质疑，但经过分析，就会发现，理论法学分支应该是法律逻辑的最佳归宿。     

法律逻辑教与学

目前的法律逻辑教学应配合法学素质教育和职业教育进行以下必要改革：应明确法律逻辑教学对象主要为法学院学生、法官、检察官和律师等法律职业人员；应紧紧围绕训练法律人的法律思维方式来选择教学内容，突出办案思维的逻辑和大陆法系法律推理模式：教学方法宜采用案例教学法或苏格拉底问答法，以培养学生分析问题和解决问题的批判性思维能力。     

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

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

试论法律逻辑的品质

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

蕴函逻辑函数和蕴函逻辑门的研究

本文引出蕴函逻辑函数和蕴函逻辑门的新概念,利用蕴函逻辑门作为大规模数字集成电路的基本单元可以简化电路,减小电路的功耗。文中列举了采用蕴函门实现的各种基本逻辑电路,并简要叙述它们的优缺点。     

可拓逻辑与中智逻辑的内在关联初探

本文对可拓逻辑与模糊逻辑、中智逻辑等的内在联系进行分析,探讨矛盾发生时,可拓逻辑与3值中智逻辑、4值中智逻辑和n值中智逻辑的关联。发现可拓逻辑与中智逻辑有内在的相似性。     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对<下近似,上近似)表示,通过改进基于rough集的逻辑系统(C)的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数.其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数).最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系.     

论逻辑语言的现代化转向

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对<下近似,上近似)表示,通过改进基于rough集的逻辑系统(C)的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数.其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL...     

逻辑学在中国

以严复为界,译介逻辑学到中国,大体分为两个阶段:严复之前,属传教士或教徒不系统、不计名家之所为;严复之后,属有识之士为救国图强之所为。但不管怎样,逻辑学在中国可谓命运不济,起伏不定。究其原因,乃是多种多样的。在当今与未来之中国,逻辑学的命运应该是:中国人高度、持久地重视逻辑并普及逻辑知识,以期提高国民逻辑素养。     

面向对象的逻辑程序设计

逻辑程序设计是通过使用逻辑规则来解决问题，面向对象的程序设计是通过定义与使用对象的方法来解决问题。逻辑程序设计使开发者集中精力于问题而面向对象的方法提倡代码重用。面向对象的逻辑程序设计可结合这两种设计的优点。先简单介绍prolog程序设计，然后重点论述面向对象的Prolog程序设计方法。     

用可编程逻辑器件开发高集成度的逻辑电路

分析了可编程逻辑的设计技术，通过给聘个用通用阵列逻辑芯片ＧＡＬ开发二进制比例乘法器的事例，详细介绍了用ＧＡＬ芯片发高集成度逻辑电路的方法，该方法就用在微机数控缠绕机上，取得了很好的效果。     

消错逻辑

本文主要讨论建立消错逻辑的必要性和可能性;消错逻辑的研究对象、内容和方法,消错逻辑的结构和体系,最后讨论消错逻辑的研究方向．     

模糊粗糙逻辑的语义

通过将粗糙逻辑模糊化,建立了模糊粗糙逻辑系统WR．然后在该系统中定义了模糊粗糙命题的运算,给出了该系统的语义及其广义重言式的概念。