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

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

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

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

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

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

分子逻辑门

分子逻辑门是目前非常活跃的研究领域,有可能解决电子计算机发展的瓶颈问题.本文以单输入分子逻辑门为例对基于分子设计的逻辑门进行了介绍。     

可逆逻辑综合的研究及进展

本文分析了可逆逻辑综合的意义、研究现状和进展,指出了当前可逆逻辑综合研究中存在的主要问题,并基于可逆逻辑门的优化设计,提出最小量子代价、垃圾位数、可逆逻辑综合的规模等关键技术的解决思路。     

法律逻辑学科的法治意义及教学改革对策研究

法律逻辑学科在最近三十多年中获得了长足发展,但也面临着知识体系不够完整、学与用相脱节的问题。法律逻辑属于交叉学科,也属于应用学科,其知识体系中包含的形式逻辑发挥着"固法"的价值,实质逻辑发挥着"活法"的价值,二者相辅相成。这就决定了在教学过程中,应当站在法治建设的高度,合理安排教学内容,必须保证法律逻辑知识体系的完整性,兼顾形式逻辑与实质逻辑,同时,以锻炼学生的法律思维能力为主旨,改革教学方法。     

教育逻辑学研究对象的选择

如何明确教育逻辑学的研究对象关系着这门学科的独立性。从教育学研究内容出发对此做出的划分只是把逻辑知识当作工具,且囿于传统逻辑范畴,使得这门学科成为教育学的子集。现代逻辑方法使用的划分主张逻辑服务于教育教学,实则暗含着逻辑教育的目的。杜威的教育逻辑实践对划分有重要借鉴意义。产生于西方的教育和逻辑在东渐过程中失去了应有的联系,教育逻辑学研究对象对应于教育与逻辑结合过程中的现实问题,这正是教育逻辑学产生于当代中国的必然性所在。     

一位量子逻辑门的物理实现

作者研究了自旋为1／2的粒子在随时间变化的磁场中的运动情况．该系统哈密顿量具有SU(2)代数结构．用代数动力学方法对此系统进行求解,得到了严格的解析解．基于严格解,就可构造一位量子逻辑门．通过调节磁场强度和频率,可以控制该量子逻辑门,实现一位量子逻辑门的任何操作．     

基于分子信标的逻辑门的计算模型

基于DNA计算的布尔电路的模拟是DNA计算研究中的一个非常具有应用前景的潜在的研究方向。利用分子信标和三链核酸分子的高度特异性及稳定性,提出了一个逻辑与、逻辑或门的DNA计算模型。基于分子信标的二种状态,将逻辑门的信息处理过程分为计算和输出二个子过程,从而使得这种基于DNA分子的逻辑门具有重复可用性,为构建基于DNA分子的大规模集成电路奠定了基础。     

在现代教育中开展逻辑教育的意义

逻辑是一种方法也是一种能力,逻辑教育已成为一项至关重要的公民素质教育。传统逻辑教学现代化问题,是一个与我国逻辑教学和研究密切相关的问题。本文通过对逻辑学的特点及其有用性进行了分析,强调了在科教兴国的今天,逻辑学以及逻辑教育应该受到重视。     

法律逻辑案例教学与批判性思维

法律案例教学的提出和应用为我国法律逻辑教学改革开启了一个重要的突破口。就此探讨案例教学在法律逻辑教学中的应用与创新,论述体现在法律逻辑案例教学中的批判性思维的特点,以及法律逻辑案例教学与批判性思维的双重互动关系。     

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

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

论法律翻译中逻辑分析的不可缺性

法律翻译是不同语言的转换也是不同法系之间的转换。在转换为另一种语言的过程中，为了保持法律严谨、准确的精神，译者必须具备一定的逻辑知识。在转换为另一种法系的过程中，译者充当了法律起草者的身份，熟悉法律的逻辑构造就更是译者必须具备的条件。     

基于ISWAP逻辑门的量子计算和纠缠态制备

研究在多体系统中实现普适量子逻辑门以及制备量子纠缠态,从实验中最为常用的相互作用出发,通过控制两比特之间的耦合,直接构建ISAWP逻辑门,基于这个基本的逻辑操作,可以实现量子计算中最为普适的两比特逻辑门,同时还利用这种相互作用制备了多比特的W态和Cluster态.     

非马可夫环境中的量子逻辑操作

研究了非马可夫环境中单量子比特逻辑门的性质,发现量子过程的非马可夫性有助于抑制环境产生的错误,更好地保护逻辑门的质量.同时也发现,当噪声逻辑门的操作时间略小于理想逻辑门所规定的时间时,逻辑操作的质量更好.     

高扇入与/或逻辑的设计与实现

针对高性能浮点乘加部件中的应用需求,全定制设计了高性能52位或门和108位与门.设计中使用HSPICE工具进行电路模拟,模拟时使用CSM 0.13 μm最慢工艺参数,电源电压为1.2 V,温度为25℃.根据各种实现方式的电路特性,使用相应的理论上电路最大延时的输入激励进行模拟,输入激励的频率为1.25 GHZ,斜率为输入激励周期的10%.输出延时是每个输入周期中输入电压的50%到输出电压的50%之间的时间,最大延时是所有输入数据中的最长延时.根据不同的逻辑类型,设计实现了5种52位或门;选取了静态互补CMOS逻辑、np-CMOS逻辑两种直接实现的108位与门,并选取了多米诺逻辑间接实现方式.对比模拟结果可以得到,全定制设计实现的52位或门和108位与门在速度、功耗和面积方面都具有较优的综合性能.     

量子电路可逆逻辑综合的研究及进展

分析了量子电路可逆逻辑综合的意义、研究现状和研究进展,给出了相关的研究方法和目前量子可逆逻辑综合研究中存在的主要问题,提出了量子可逆逻辑综合中的最小量子代价、最小化垃圾信息位、最小化门的数量和可逆逻辑综合的规模等关键技术问题的解决思路.     

用微波-超导量子比特系统实现一位通用量子逻辑门

该文研究了二能级射频超导量子干涉仪量子比特与经典微波脉冲的相互作用.研究结果表明,当微波场的角频率接近于系统二能级|0〉|1〉跃迁频率时,即ω1-ω0≈ωm,可以得到一位通用量子逻辑门.通过调节控制微波场的角频率ωm,幅度Vm和脉冲作用时间t,可以得到不同的一位量子逻辑门.     

量子逻辑门及其研究进展

量子信息代表了当代量子物理学的最新进展,代表着信息时代最具有潜力的发展方向,量子逻辑门是实现量子计算的最基本的逻辑单元。文章介绍量子信息技术中量子逻辑门的基本特点、方法以及实现量子门的物理实验进展。     

量子逻辑门及其研究进展

量子信息代表了当代量子物理学的最新进展,代表着信息时代最具有潜力的发展方向,量子逻辑门是实现量子计算的最基本的逻辑单元。文章介绍量子信息技术中量子逻辑门的基本特点、方法以及实现量子门的物理实验进展。