1) logic license
逻辑证书
1.
Research on dynamic expression model of digital rights based on logic license
基于逻辑证书的数字权利动态描述模型研究
2) Dialectical logic
辩证逻辑
1.
On the advanced stage of the development of logic science ——dialectical logic;
论逻辑科学发展的高级阶段——辩证逻辑
4) proof logic
证据逻辑
1.
This paper introduces a new logic-based formal method called proof logic which analyzes the security protocols by reasoning about the proofs of the principles.
形式化分析技术对于安全协议的正确设计至关重要,考虑到现有信仰逻辑分析方法的不足,文章提出了一种新的安全协议形式化分析方法——证据逻辑,即通过对协议主体证据的推理来实现安全协议的形式化分析。
5) authentication logic
认证逻辑
6) logical verification
逻辑验证
1.
This paper introduces the payment process of SET (secure electronic transactions) protocol, and extends the logical framework of NDL to fit the purpose of logical verification of SET.
在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 。
补充资料：辩证逻辑
| 辩证逻辑 dialectical logic 研究人类辩证思维的科学，即关于辩证思维的形式、规律和方法的科学。它把概念的辩证运动以及如何通过概念反映现实矛盾的问题作为自己的主要研究对象，是认识科学中一门关于思维辩证运动的逻辑。恩格斯最早明确地把这种逻辑称之为辩证逻辑。辩证逻辑通过概念、判断、推理等发生于思维中的抽象形式，对外部世界作出概括的、近似的然而却是本质的反映。它的基本特征是把对象看作一个整体，从其内在矛盾的运动、变化及其各个方面的相互联结中考察对象。这种逻辑既不同于把对象看作是静止、孤立的形而上学思维方式，也有别于以既成的、确定的思维形式从静态角度认识对象的传统逻辑（见形式逻辑）。科学的辩证逻辑的产生既是对形而上学思维方式的革命，也是对传统逻辑观念的突破。它与马克思主义的辩证法、认识论（见辩证唯物主义认识论），与形式逻辑，既相互区别又相互联系，由此构成它自身所特有的性质和作用。 辩证逻辑与辩证法、认识论之间有着不可分割的联系。辩证逻辑是唯物辩证法在思维领域中的具体运用，它通过自身的范畴表现唯物辩证法的基本规律。辩证逻辑又是逻辑科学本身发展的结果，它在研究辩证思维如何反映外部世界的运动、变化和发展时，侧重于揭示辩证思维本身所特有的规律性。辩证逻辑与认识论既统一又相区别，一方面，它所研究的辩证思维的形式、规律和方法，是从人类认识的历史中总结出来的，从这点上说，辩证逻辑就是认识论；另一方面，它主要是研究理性思维的辩证运动，如概念、判断、推理等的辩证关系，而不包括感觉、知觉、表象的形成以及它们与概念的关系在内的整个认识的辩证运动。 辩证逻辑与形式逻辑两者从不同的侧面以不同的方式研究思维。形式逻辑主要从形式结构上研究思维的形式和规律，是对既成的、凝固的、间断的认识成果进行概括和总结，只是反映客观对象间最普通、最简单的关系。辩证逻辑并不纯粹研究思维的形式结构，而是从形式与内容的有机结合上，从表现在思维形式之中的认识内容、结合人类的认识过程来考察思维形式的联系、运动、发展和转化的规律。辩证逻辑与形式逻辑具有不同的逻辑功能，各有其适用范围。这就需要形式逻辑和辩证逻辑互相配合、互相补充，共同作用于人类思维的过程。 历史发展 辩证逻辑的产生是与人类辩证思维从自发到自觉的发展相伴随的。科学和哲学的发展，人们对辩证思维的研究也从古代的自发阶段，逐渐地发展到近代的自觉阶段。中国古代朴素的辩证法思想，不仅表现在对自然界的认识上，也表现在对思维本身的认识上。先秦时期的许多哲学家十分重视思维与现实的关系，已经在一定程度上意识到概念与现实相符合及其流动性和灵活性的问题。《老子》中关于“正言若反”的提法，就包含着对立概念相辅相成的思想。惠施已注意到概念的可变性、相对性。公孙龙则比较强调概念的确定性、绝对性。荀子提出概念和实在的统一问题，指出概念既“静”又“动”，包含着矛盾而且在不断发展。他关于“辩合”、“符验”和“解蔽”的方法，在一定程度上具有分析与综合的统一、归纳与演绎的统一的意义。古代印度哲学在生与灭、断与常、有与无、一与异等概念及其相互关系的探讨中，反映出对概念辩证法的认识和研究成果。古希腊对辩证思维的认识，主要表现在论辩术中，一些哲学家通过揭露辩论中的矛盾以探求真理，从而提出了关于概念之中存在矛盾的思想。古希腊哲学家，从考察外部世界的辩证运动转向考察人类思维自身的概念运动，是从爱利亚学派开始的。爱利亚的芝诺在对运动可能性的诘难中，从反面揭示了作为矛盾现象的客观运动与思维如何反映运动这两者之间的矛盾。柏拉图继承、发展了苏格拉底关于普遍概念的思想和论辩术，他把“理念”看作独立于感性事物的普遍的实体，并从对立统一的关系中考察了概念与范畴之间的区别、联系和转化的问题。亚里士多德在创立传统逻辑的同时，为后人研究辩证逻辑范畴体系留下了许多有价值的材料，如关于范畴的相互联系和流动的思想等等。从15世纪下半叶起，近代自然科学逐渐兴起，人们开始对各种自然现象进行分门别类的研究。但在这个阶段由于哲学上形而上学思维方式盛行，因而妨碍了对辩证思维的研究。到18世纪末和19世纪初，随着科学的发展，要求对自然现象和科学各部门之间的联系进行综合考察，这就向人们提出了自觉运用辩证思维的任务。德国古典哲学家真正开始了对辩证思维理论的探讨，其中I.康德尤其是G.黑格尔最为突出。从这时起，辩证思维研究才进入自觉发展的阶段。 康德认为，传统的形式逻辑是分析的，它以不出现矛盾为基础，因而不能提供真理的充分条件。他提出自己的先验逻辑，认为它是综合的，是能够提供真理的逻辑。康德的“二律背反”学说，实际上涉及到思维如何把握世界的有限与无限、简单与复杂、自由与必然等辩证矛盾的问题。但由于康德哲学存在二元论的不可知论的缺陷，这类问题也不可能真正得到解决。黑格尔从理论上对人类的辩证思维作了系统的论述。他批评康德把范畴看作与内容相脱离的纯粹的主观形式的观点，认为思维形式、逻辑的概念和范畴是有内容的，人的理性是能够认识真理的。逻辑必须进到辩证思维的理性逻辑阶段去把握多样的、包含内部矛盾的具体同一的整体，把握变动不居的发展过程。这种逻辑就是运用辩证思维所建立的理性逻辑。黑格尔在客观唯心主义一元论的基础上，把辩证法、认识论和逻辑统一起来，把辩证法运用于认识过程，运用于人的逻辑思维，解决了康德提出的“二律背反”问题，揭示了思维形式、规律和方法研究的新的方面和方向。他在哲学史上第一个明确地提出逻辑的与历史的统一和从抽象上升到具体的方法，阐述了归纳与演绎、分析与综合的辩证关系。尽管黑格尔的逻辑体系是头足倒置的，而且其中有不少牵强附会的地方，但他关于理性逻辑的许多合理思想乃是科学的辩证逻辑的重要思想来源。 随着马克思主义哲学的产生，科学的辩证逻辑才真正建立起来。马克思和恩格斯在创立辩证唯物主义和历史唯物主义的过程中，全面地改造了黑格尔的唯心主义逻辑体系，吸取了他关于理性逻辑的许多合理思想，提出科学的辩证逻辑的基本原理。马克思、恩格斯从辩证法、认识论和逻辑在唯物主义基础上相统一的立场出发，把客观世界的运动及其反映在人的认识中的思维运动看作是自然历史过程，阐明了思维辩证法与客观辩证法、思维规律与人的认识发展历史的关系，指出主观辩证法即辩证的思维乃是客观外界到处盛行着的辩证运动的反映。强调只有以对概念的辩证本性的研究为前提的逻辑，才能正确把握外部世界的运动和变化。列宁在新的历史条件下发展了马克思、恩格斯关于辩证逻辑的思想。他在《哲学笔记》中，通过对黑格尔《逻辑学》的研究和对马克思《资本论》逻辑的概括、提炼，在阐述唯物辩证法理论体系的同时，阐明了辩证逻辑的许多重要原则。列宁论述了辩证法、认识论和逻辑三者相一致的思想，强调辩证逻辑应该建立在对人类思维发展史的总结上面，并着重指出逻辑的主要内容在于研究概念的矛盾关系，研究概念的联系和转化以及概念的灵活性和具体性问题。毛泽东在中国革命的实践和理论活动中 ，对辩证逻辑作出了新的贡献 。他所著的《实践论》、《矛盾论》，在阐述认识论和辩证法的一般原理的同时，丰富了辩证逻辑的一般原理。 基本内容 辩证逻辑研究概念、判断、推理等思维形式在推演、变化中的规律性、特点及其体现在思维方法上的辩证关系，它通过自身特有的逻辑范畴建立逻辑体系。辩证逻辑的基本内容包括基本规律、形式、方法以及逻辑范畴等。 ①规律。辩证逻辑的基本规律是唯物辩证法的基本规律在思维中的具体表现。辩证逻辑的基本规律贯穿于辩证思维过程的始终，表现为概念、判断、推理的矛盾运动。概念的联系、转化达到具体的同一，就是辩证逻辑的基本规律在概念中的体现；具体概念的展开，就是判断的肯定和否定的矛盾运动；判断从肯定到否定，再从否定到肯定，以至最后得出结论的统一运动过程，就是判断展开为推理和论证的运动。在思维中所进行的概念、判断、推理的推演和变化等一系列矛盾运动，达到主观和客观的统一，最终是由实践来证明的。因此，辩证逻辑的基本规律不仅要求辩证思维的逻辑进程必须以客观现实的矛盾运动为前提和出发点，而且要求辩证思维过程的每一步都用实践来检验。实践是逻辑思维的基础，也是检验思维正确与否的标准。逻辑思维本身随着实践的发展而发展。辩证思维遵循着逻辑的基本规律而展开，在反映客观现实矛盾的基础上不断前进。 ②形式。辩证逻辑把思维形式看作是与内容，即与思维所反映的在现实中客观存在着的事物不可分割地联系着的形式。概念是辩证思维的最基本形式，辩证逻辑把对概念的辩证本性的研究作为前提和基本任务，它研究概念的形成、发展及其内在的矛盾运动。概念在反映客观现实时，具有一个从抽象向具体发展的过程，只有在概念从抽象上升到具体，真正反映了事物的本质及其内在的必然联系时，才会达到主观与客观、普遍与特殊的辩证统一，从而形成具体概念。从抽象概念到具体概念及概念之间逻辑联系的过程，是概念展开为判断、推理的运动。原先蕴涵在概念中的矛盾，在判断中以进一步展开的形式显露出来。辩证逻辑正确区分了思维中的逻辑矛盾和客观现实中存在的辩证矛盾，认为判断必须反映客观现实中的辩证矛盾，把判断看作是反映这种矛盾的必要的思维形式。判断形式由单一性判断到特殊性判断和普遍性判断的运动，是思维为了认识事物客观过程的规律性的一种运动形式，从而也是科学认识的一般规律。辩证逻辑从认识内容的变化、发展的实际过程为依据去研究推理。它并不否定在人类思维的发展中形成的并为形式逻辑所概括的精确、严密的推理形式，但它同时认为，归纳与演绎在人类思维过程中是辩证统一的。思维借助于这些推理形式，从已知到未知，获得关于事物的具体真理性的知识。在确定推理结论的真实性时，辩证逻辑则要求用实践去检验。在辩证逻辑中，逻辑证明和实践证明是相统一的。辩证逻辑推理的一个主要特点，是把推理过程看作分析矛盾和解决矛盾的过程。 ③方法。辩证逻辑的方法是辩证思维的逻辑工具，是人们对辩证逻辑基本规律的认识和运用，是科学研究中不可缺少的理论思维手段。辩证逻辑的基本方法主要有：从抽象上升到具体、归纳与演绎的统一，分析与综合的统一，以及逻辑的与历史的统一。这些方法既不能相互代替，又相互联结，共同作用于人类辩证思维的全过程。 ④逻辑范畴。逻辑范畴是从各门具体科学中概括出来的最一般的概念，是思维把握真理的必不可少的手段。辩证逻辑的范畴，如归纳、演绎、分析、综合、抽象、具体等等，是辩证思维的基本环节，也是构成辩证逻辑体系的纽带。它具有认识与思维方法的功能和特点，是在各门科学中发挥着普遍有效的逻辑方法和工具的作用。辩证逻辑的范畴是对客观世界辩证运动的本质反映，又体现着辩证思维的基本特性，同时还标志着人类认识的深化。因此，要立足于辩证法、认识论、逻辑三者一致的基础上考察逻辑范畴。辩证逻辑主要从逻辑功能这一侧面研究范畴，说明三者之间的联系和区别。它既研究各门科学所共同使用的范畴，又研究自身的范畴体系，揭示客观现实的最一般联系以及人们对其认识发展的最一般途径。建立辩证逻辑的范畴体系是科学发展的需要，它有利于科学研究和科学理论的系统化。 辩证逻辑是一门发展中的科学。一方面，它需要不断总结人类思维发展的材料，认真研究整个人类认识史，研究个体思维发展史，概括、总结各门具体科学的新成果；另一方面，它又起着指导和帮助人们自觉进行辩证思维的作用。辩证逻辑的方法是各门科学普遍适用的方法，它的各个范畴和规律都具有普遍的方法论意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条