论证逻辑

摘要： 学术批评应建立基于社会交往伦理原则的学术规范:应坚持真诚、友好商榷的态度;应以学术为中心,以文本为依据,以理服人;应建立在对批评者文本、理论、方法、目的和思想完整理解和严密逻辑思考之上,而不是非理性地对被批评者进行“扣帽子”和“打棍子”,超越文本,任意发挥;学术批评者应有与被批评者“比肩思维”的能力;应超越二元对立偏见,以一种超政治、跨国界的学术共同体的学术视野和格局,对学术事实本身进行客观评价,而非先入为主地以有色眼镜看待一切西方理论,进行主观性人身攻击和政治站位;学术批评不是吵架,不是只看缺点,不见优点,一味情绪化、概念化单向定性输出,而应是有理有据理性地双向交互式探讨。希望能为学术批评正常、理性、友好地开展提供借鉴与参考。

摘要： 在高中阶段论述类文体写作训练中学生暴露出较为明显的两个问题:(1)紧抓话题,但忽视材料情境;(2)论据充分,但欠缺论证逻辑。与部编版必修教材设置的思辨表达三个专题相对应,立足于“思维发展与提升”这一语文学科核心素养,在论述类文体的写作中,教师要引导学生处理好核心话题和具体情境、合理观点和自我观点、丰富论据和论证逻辑三个方面的关系,以提升学生的思辨能力。

摘要： 对于《乡土中国》的《系维着私人的道德》一章,《论语》等儒家典籍也是解读的关键。文章用《论语》引出“公私之争”的问题,提炼核心观点;分类理解《论语》等儒家典籍,通过对“仁”“忠”的反驳,建构起驳论逻辑;最后以《论语》中的“父为子隐”为理论依据,辨析公私冲突中的价值选择,印证中国乡土社会是系维着私人的道德体系,从而完成对中心论点的最后论证。

摘要： 《圣经文学研究》追求发表高质量的原创性论文,采用双向匿名方式对来稿进行评审和筛选。◎所谓“双向匿名”,是指论文作者与其评审者之间彼此匿名,二者不发生任何利益关系或信息交流,从而保证评审结果的客观公正。◎按照程序,熟悉该课题的同行专家对来稿观点的新颖程度,论证逻辑、材料使用、语言表达的合理性等进行判断,并就该稿件是否适合发表、如何修订或改进提出建议。

摘要： 2021年3月,陈景辉教授发表《宪法的性质:法律总则还是法律环境?从宪法与部门法的关系出发》一文(以下简称"陈文"),对张翔教授在2019年提出的宪法和部门法"三重关系说"提出批评。其从部门法理论的初步反省,再到法理学层面的釜底抽薪,最终彻底否定了宪法具体化理论。然而,陈文在概念界定、理论预设、论证逻辑等方面疑义甚多,亟待澄明。

摘要： 恩格斯在《社会主义从空想到科学的发展》中从事实描述与价值规范相统一的向度研究社会主义的"科学性"。从事实与价值的二元悖论批判社会主义的哲学形态和新变种,找到了社会主义从空想到科学的切入路径;从现实的人的经济过程出发揭露无政府状态下的秩序危机并确立自由王国的价值规范,实现了社会主义从空想到科学的逻辑论证;从早期文本和最新实践出发作出了无产阶级专政的主体转向和制度转向,提供了社会主义在新形势下坚持科学性的基本策略。由此恩格斯提示出一种在实践中发展科学社会主义的方法论,对今天坚持和完善中国特色社会主义具有启示意义。

摘要： 高中生经过一段时间的写作学习和训练,能基本做到审题没有问题、立意正确、论证逻辑基本合理,总之,在基本面没有大问题。但总是觉得“缺一口气”,一篇议论文最后就落入平平的状态。这种现象在同学们的作文中极为普遍,成为写作上的一大瓶颈,似乎很难突破。很多同学也觉得非常困惑。

摘要： 这里刊出的,是我对所指导的博士学位论文《法学范畴分类的主体性认知研究》所提的修改建议,同时,也附录了我对所指导的硕士学位论文《从防卫到正当防卫——关于正当防卫制度的知识考古学》和《德国"文化斗争"时期政教分离法律研究》两文初稿所提的修改建议。这些修改建议,在我的微信朋友圈分期发出后,引起不少朋友的兴趣。承蒙侯欣一和夏纪森两位教授之不弃,向我约稿,说整理一下发表在《法律与伦理》上,考虑到它可能对文科导师们探讨如何指导学生撰写学位论文有一定帮助,故欣然应允。为了保持我"修改建议"的原貌,除了形式加工外,内容基本未加改动,只是增加了我给学生单独写的一段话:如何看待学位论文和导师研究领域、方向、课题以及导师学术思想的关系。如上的处理,可能会给读者阅读带来一些不便,因为毕竟"修改建议"是直接针对论文初稿的,而读者手头又没有初稿。为此给读者带来的阅读负担和困惑,我先行在这里表示抱歉了!

摘要： 一种具有逻辑阵列块(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。

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