经典逻辑

摘要： 新兴学科以及传统学科的新发展,促成了逻辑的新转向或新逻辑观。按照新逻辑观,人们的目标任务及其相应的环境条件,决定了不仅论证是多样化的,评估标准也是多元的。这个基本观点是关注和探究第三推理方式——论证型式的自然结果。它不仅消解了逻辑和经验的对立,也为法律逻辑的两难提供了解决之道。以论证型式为中枢的新逻辑——“型式逻辑”,为法律逻辑提供了合适框架。法律适用、法律事实证明和法律解释的论证型式,构成以论证型式为中枢的法律逻辑的三个主要方面。

摘要： 当经典逻辑的基本原则与真之透明性冲突时,非经典真理论坚持“以真为先”,取透明性而舍经典逻辑。其中,舍经典逻辑关于联结词的某些原则,可以形成亚完全方案和亚相容方案;舍经典逻辑关于推理结构的某些原则,可以形成非传递方案和非收缩方案。非经典真理论的方案不仅可行,而且能取得很多在经典真理论看来是意想不到的结果,但它们也会因放弃经典逻辑而承受必要的代价。

摘要： 弗雷格用实质蕴涵来刻画条件句导致了"实质蕴涵怪论",因此实质蕴涵不断受到批判.然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵.弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称.仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值.他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式?x(P(x)→ ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达.弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义.

摘要： 弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵。弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称。仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值。他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式x(P(x)→ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达。弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义。

摘要： 作为龙树中观思想重要的方法论,四句的应用非常广泛.它描述的是对任一命题X,都存在四种(是、否、双是、双否)可能性,从表面看四句违背了矛盾律与排中律,无法进行逻辑语义化解释.现代逻辑的介入,为四句形式语义解释提供了可能,但也带来新的困惑,双重否定律与推理规则面临失效.对否定的二重语义解释是解决问题的关键,谓词否定与语句否定的区分使四句不违背矛盾律、排中律,习俗否定与胜义否定的区分使四句不违背双重否定律.如此,四句的语义解释在经典二值逻辑下成为可能,四句不违背逻辑规律与推理规则.

摘要： Beall与Restall提出了基于后承关系考虑的逻辑多元论.后承关系的一般模式含有参数x-情形.对x做不同解释,就获得不同的后承关系,也即不同的逻辑.这种观点基于"真"概念.如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观.由此区别出经典逻辑与直觉主义逻辑.这是第一层次的区分.这种区分源自对何为正确推理的解答不同.其差别是哲学观的不同.而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解.这造成第二层次的多元.其他众多非经典逻辑即属此层次.第二层次的多元是不争的事实,多元论与一元论的争论可以消解.真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解.

摘要： 舒国滢教授在《逻辑何以解法律论证之困?》中,基于约根森难题所揭示的经典逻辑在规范推理中遭遇的难题,提出了逻辑何以解法律论证之困的问题。他指出道义逻辑提供了一种新的逻辑手段和研究工具,并且指出法律规范适用的难题仍然需要建构出更为精致、实用的逻辑操作技术。接下来值得讨论的问题是,道义逻辑能解法律论证之困吗;进一步的问题是"更为精致、实用的逻辑操作技术"能解法律论证之困吗;更为一般的问题是逻辑能解法律论证之困吗。

摘要： 从逻辑的角度出发,阐述逻辑在法律中的重要作用不容忽视,针对法律逻辑的特点,提出何谓法律逻辑的具有代表性的几种观点,分别是形式逻辑、经典逻辑、道义逻辑,和本文作者所认为法律逻辑应该归结于非形式逻辑以及这些观点在法律中的应用.

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 一种具有逻辑阵列块(LAB)互连线的可编程逻辑器件(PLD)，所述LAB互连线跨越该阵列中的相邻LAB并且具有互连不同LAB中的两个逻辑单元的能力。该PLD包括以阵列排列的多个以及互连该阵列的LAB的多条LAB间线。每个所述LAB包括预定数量的逻辑元件，在所述LAB中的所述预定数量的逻辑元件之间分配的一个或更多个控制信号，和跨越该阵列中不同LAB内的逻辑元件之间的LAB线。在不同的实施例中，LAB线被排列成交错排列模式，其中这些线之间存在一预定间距。在其他实施例中，相邻LAB的控制信号可以重叠，以允许控制信号被路由到相邻LAB的逻辑元件。

摘要： 本发明的课题是提供一种可实现从微细化和功耗的观点可达到凌驾于现在的CMOS技术的性能且与使用了现有的时序电路的经典计算机的安装不矛盾的方式的逻辑电路的技术。解决方法是具备：在z方向上封闭了载流子的xy平面中具有二维电子气的第1传导构件(101a、101b)和第2传导构件(102a、102b)；生成给予对第1传导构件(101a、101b)的影响的电场的第3传导构件(103a、103b)；容易流过第1传导构件(101a、101b)与第2传导构件(102a、102b)之间的隧道电流的绝缘构件(104)；以及难以流过第1传导构件(101a、101b)与第3传导构件(103a、103b)之间的隧道电流的绝缘构件(105)，利用由对第3传导构件(103a、103b)给予的电位产生的电场对第1传导构件(101a、101b)的子能带给予影响。

摘要： 本发明公开了量子与逻辑门、逆量子与逻辑门及逻辑运算线路生成方法，其中，上述量子与逻辑门根据以下步骤进行量子比特的与逻辑运算：获取两个输入量子比特；基于上述输入量子比特，通过预设的量子操作获取第一输出量子比特和第二输出量子比特，其中，上述第二输出量子比特用于保存两个上述输入量子比特的与逻辑运算结果，上述第一输出量子比特用于指示两个上述输入量子比特的量子态。与现有技术相比，本发明方案中提供的量子与逻辑门可以应用到量子计算场景下，实现量子比特的与逻辑运算，且可以实现运算结果可逆。有利于实现对量子比特进行快速简便的与逻辑运算操作，且有利于提升对量子比特进行运算的简便性和量子计算过程的效率。

摘要： 本申请涉及光学逻辑元件技术领域，特别涉及一种光电数字逻辑运算的光学逻辑元件及其逻辑运算方法，其中，该元件包括：驱动件，用于为光电集成件提供驱动，产生光电集成件能够识别的数字调制信息以及读取光电集成件输出的电信号；光电集成件，用于利用相干光信号搭载驱动件输入的数字调制信息，并在预设光学衍射神经网络中对相干光信号进行数字逻辑运算，得到运算结果，并将运算结果基于数字逻辑映射关系生成电信号，并利用驱动件读取电信号后输出运算结果。本申请实施例具有更高的单位能耗计算性能，可以重构、批量地设计不同的专用逻辑运算，运算规模大，调制速率高。

摘要： 提供高速并且高精度地对S型函数进行秘密计算的技术。秘密S型函数计算系统将g(x)设为能秘密计算的函数，根据输入值x的份额[[x]]计算对于输入值x的S型函数的值的份额[[σ'(x)]]，包括：第一比较单元，生成第一比较结果[[c]]＝less_than([[x]],t1)；第二比较单元，生成第二比较结果[[d]]＝greater_than([[x]],t0)；第一逻辑计算单元，生成第一逻辑计算结果[[e]]＝not([[c]])；第二逻辑计算单元，生成第二逻辑计算结果[[k]]＝and([[c]],[[d]])或者[[k]]＝mul([[c]],[[d]])；以及函数值计算单元，计算份额[[σ'(x)]]＝mul([[k]],[[g(x)]])+[[e]]。

摘要： 一种秘密S型函数计算系统，将mapσ设为由表示S型函数σ(x)的定义域的参数(a0,…,ak‑1)和表示值域的参数(σ(a0),…,σ(ak‑1))(a0,…,ak‑1为满足a0k‑1的实数)定义的秘密批量映射，所述秘密S型函数计算系统由3个以上的秘密S型函数计算装置构成，从输入向量x→的份额[[x→]]，计算对于输入向量x→的S型函数的值y→的份额[[y→]]，所述秘密S型函数计算系统包含通过[[y→]]＝mapσ([[x→]])＝([[σ(af(0))]],…,[[σ(af(m‑1))]])计算份额[[y→]]的秘密批量映射计算单元，其中，f(i)是成为aj≤xij+1的j，0≤i≤m‑1。

摘要： 本公开提供了一种逻辑块、逻辑板及拼版式逻辑编程系统，包括至少一个逻辑板和多个逻辑块，所述逻辑板上设有多个逻辑格，所述逻辑块上设有固定阻值的电阻和第一逻辑触点，每个逻辑格内设有第二逻辑触点，不同阻值代表不同逻辑功能，所述逻辑块与逻辑格通过第一逻辑触点和第二逻辑触点电路连接，所述逻辑板上设有处理器模块，所述处理器模块通过测量逻辑块的电阻值以识别不同的逻辑功能，仅通过测量电阻的阻值，即可实现动作指令的识别，极大的降低了实物化编程工具的制作成本，提高了逻辑功能识别的准确率。