形容逻辑的词语
形容逻辑的词语：1. 合理的；2. 严密的；3. 透彻的；4. 有条理的；5. 有逻辑的；6. 严谨的；7. 精准的；8. 高效的；9. 明晰的；10. 有理性的；11. 有说服力的；12. 有连贯性的；13. 有条不紊的；14. 有透视力的；15. 有结构性的；16. 有分析性的；17. 有系统性的；18. 有推理性的；19. 有证明性的；20. 有演绎性的
形容逻辑的词语 相关词语和解释
| 词语 | 拼音/解释 |
|---|---|
| 逻辑 | 逻辑 （思维的规律和规则）狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维(包括抽象思维与具象思维)的逻辑。 逻辑指的是思维的规律和规则，是对思维过程的抽象。 从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的抽象思维的逻辑；广义来讲，逻辑还包括具象逻辑，即人的整体思维的逻辑。 |
| 传统逻辑 | 传统逻辑 传统逻辑是指数理逻辑产生以前的形式逻辑。与“现代逻辑”相对。包括古典演绎逻辑和古典归纳逻辑，即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。传统逻辑主要研究性质命题(主宾式语句)及其推理——三段论。传统逻辑缺乏对关系命题及其推理的研究，也缺乏对量词的研究。到19世纪，不少逻辑学家意识到了传统逻辑的这些缺点与不足，要求进行改革，从而导致了数理逻辑的建立和发展。 |
| 符号逻辑 | 符号逻辑 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 |
| 数理逻辑 | 数理逻辑 （用数学方法研究逻辑或形式逻辑的学科）形式逻辑形式上符号化、数学化的逻辑，本质上仍属于知性逻辑的范畴。 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。 |
| 辩证逻辑 | 辩证逻辑 辩证逻辑是研究人的认识理性阶段思维规律的学说，含矛盾逻辑与对称逻辑两大类型或两个阶段。 辩证逻辑（dialectical logic）作为逻辑学的辩证法，研究反映客观世界的辩证发展过程的人类思维的形态，即关于辩证思维的形式、规律和方法的科学。辩证逻辑产生在形式逻辑之后，19世纪初黑格尔第一次建立了一个唯心主义的辩证逻辑的体系，马克思主义哲学产生后．才有了科学的辩证逻辑。辩证逻辑是人类思维的历史发展到了自觉的辩证思维阶段的产物，是现代科学理论思维的工具。 |
| 逻辑电路 | 逻辑电路 逻辑电路是一种离散信号的传递和处理，以二进制为原理、实现数字信号逻辑运算和操作的电路。分组合逻辑电路和时序逻辑电路。前者由最基本的“与门”电路、“或门”电路和“非门”电路组成，其输出值仅依赖于其输入变量的当前值，与输入变量的过去值无关—即不具记忆和存储功能；后者也由上述基本逻辑门电路组成，但存在反馈回路—它的输出值不仅依赖于输入变量的当前值，也依赖于输入变量的过去值。由于只分高、低电平，抗干扰力强，精度和保密性佳。广泛应用于计算机、数字控制、通信、自动化和仪表等方面。最基本的有与电路、或电路和非电路。 |
| 形式逻辑 | 形式逻辑 （逻辑学术语）形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。人的认识在理性阶段要实现对客观世界的反映，就要实现思维内容和思维形式的统一，否则，就不能实现这个反映。思维内容就是思维所反映的对象及其属性，形式就是对某个对象反映的方式，也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。 |
| 发射极耦合逻辑集成电路 | 发射极耦合逻辑集成电路 是晶体管导通时工作在非饱和区的一种逻辑集成电路。 |
| 邏輯 | 逻辑 （思维的规律和规则）狭义上逻辑既指思维的规律，也指研究思维规律的学科即逻辑学。广义上逻辑泛指规律，包括思维规律和客观规律。逻辑包括形式逻辑与辩证逻辑，形式逻辑包括归纳逻辑与演绎逻辑，辩证逻辑包括矛盾逻辑与对称逻辑。对称逻辑是人的整体思维(包括抽象思维与具象思维)的逻辑。 逻辑指的是思维的规律和规则，是对思维过程的抽象。 从狭义来讲，逻辑就是指形式逻辑或抽象逻辑，是指人的抽象思维的逻辑；广义来讲，逻辑还包括具象逻辑，即人的整体思维的逻辑。 |
| 符號邏輯 | 符号逻辑 符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法，包括使用符号和公式，已有的数学成果和方法，特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨，他认为经典的传统逻辑必须改造和发展，是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之，数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代，而数理逻辑在其中将会起到很关键的作用。 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 |
| 傳統邏輯 | 传统逻辑 传统逻辑是指数理逻辑产生以前的形式逻辑。与“现代逻辑”相对。包括古典演绎逻辑和古典归纳逻辑，即由亚里士多德创立、经过中世纪和近代的演变而一直发展到19世纪的形式逻辑。传统逻辑主要研究性质命题(主宾式语句)及其推理——三段论。传统逻辑缺乏对关系命题及其推理的研究，也缺乏对量词的研究。到19世纪，不少逻辑学家意识到了传统逻辑的这些缺点与不足，要求进行改革，从而导致了数理逻辑的建立和发展。 |
| 悖论 | 悖论 悖论是表面上同一命题或推理中隐含着两个对立的结论，而这两个结论都能自圆其说。悖论的抽象公式就是：如果事件A发生，则推导出非A，非A发生则推导出A。悖论是命题或推理中隐含的思维的不同层次、意义（内容）和表达方式（形式）、主观和客观、主体和客体、事实和价值的混淆，是思维内容与思维形式、思维主体与思维客体、思维层次与思维对象的不对称，是思维结构、逻辑结构的不对称。悖论根源于知性认识、知性逻辑（传统逻辑）、矛盾逻辑的局限性。产生悖论的根本原因是把传统逻辑形式化、把形式逻辑普适性绝对化，即把形式逻辑当做思维方式。所有悖论都是因形式逻辑思维方式产生，形式逻辑思维方式发现不了、解释不了、解决不了的逻辑错误。所谓解悖，就是运用对称逻辑思维方式发现、纠正悖论中的逻辑错误。 |
| 悖論 | 悖论 悖论是表面上同一命题或推理中隐含着两个对立的结论，而这两个结论都能自圆其说。悖论的抽象公式就是：如果事件A发生，则推导出非A，非A发生则推导出A。悖论是命题或推理中隐含的思维的不同层次、意义（内容）和表达方式（形式）、主观和客观、主体和客体、事实和价值的混淆，是思维内容与思维形式、思维主体与思维客体、思维层次与思维对象的不对称，是思维结构、逻辑结构的不对称。悖论根源于知性认识、知性逻辑（传统逻辑）、矛盾逻辑的局限性。产生悖论的根本原因是把传统逻辑形式化、把形式逻辑普适性绝对化，即把形式逻辑当做思维方式。所有悖论都是因形式逻辑思维方式产生，形式逻辑思维方式发现不了、解释不了、解决不了的逻辑错误。所谓解悖，就是运用对称逻辑思维方式发现、纠正悖论中的逻辑错误。 |
| 辯證邏輯 | 辩证逻辑 辩证逻辑是研究人的认识理性阶段思维规律的学说，含矛盾逻辑与对称逻辑两大类型或两个阶段。 辩证逻辑（dialectical logic）作为逻辑学的辩证法，研究反映客观世界的辩证发展过程的人类思维的形态，即关于辩证思维的形式、规律和方法的科学。辩证逻辑产生在形式逻辑之后，19世纪初黑格尔第一次建立了一个唯心主义的辩证逻辑的体系，马克思主义哲学产生后．才有了科学的辩证逻辑。辩证逻辑是人类思维的历史发展到了自觉的辩证思维阶段的产物，是现代科学理论思维的工具。 |
| 复合三段论 | 复合三段论 复合三段论(polysyllogism)亦称“前后三段论”、“三段论的复杂式”、“三段论的复合形式”，指几个三段论联结起来构成的推理。前一个三段论的结论是后一个三段论的前提之一(大前提或小前提)，由于它们紧密连接，因此后者省略，以免重复。如： “科学是有用的，逻辑学是科学，所以逻辑学是有用的。一切有用的东西都应该学习，因此逻辑学应该学习。”其中“逻辑学是有用的”是前一个三段论的结论，又是后一个三段论的小前提。为避免表达上的重复，在后一个三段论中予以省略，而且在前一个三段论中也予以省略，那就是复合三段论的省略形式，称为联锁三段论。 |
| 逻辑学 | 研究思维规律的科学。已有两千多年历史。基本的分支是形式逻辑、数理逻辑和辩证逻辑。常用作形式逻辑的同义词。联合国教科文组织公布的学科分类，曾将逻辑学列为七大基础科学的第二位，仅次于数学。 |
| 辩学 | 辩学 辩学亦作“辨学”。(1)“逻辑学”的旧译。明末来中国的意大利传教士利玛窦的《辨学遗牍》，介绍亚里士多德的逻辑，首先使用“辨学”这一译名。(2)中国古代逻辑学的代称。《墨子·小取》：“夫辩者，……以名举实，以辞抒意，以说出故。…‘辩”是运用概忿（名）和判断（辞）进行推理论说。即今之所谓“逻辑”。故后人用以称古代逻辑学，如郭湛波著《先秦辩学史》。(3)中国古代以“辩”（辩说、论辩）为研究对象的一种学问。具体涉及辩的界说、目的和作用，辩的类型，辩的原则和要求，辩的方法、技巧，辩的论说组织、论据支持、语言表达，以及辩者的态度、素质等内容。 |
| 形式邏輯 | 形式逻辑 （逻辑学术语）形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。人的认识在理性阶段要实现对客观世界的反映，就要实现思维内容和思维形式的统一，否则，就不能实现这个反映。思维内容就是思维所反映的对象及其属性，形式就是对某个对象反映的方式，也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。 |
| 辯學 | 辩学 辩学亦作“辨学”。(1)“逻辑学”的旧译。明末来中国的意大利传教士利玛窦的《辨学遗牍》，介绍亚里士多德的逻辑，首先使用“辨学”这一译名。(2)中国古代逻辑学的代称。《墨子·小取》：“夫辩者，……以名举实，以辞抒意，以说出故。…‘辩”是运用概忿（名）和判断（辞）进行推理论说。即今之所谓“逻辑”。故后人用以称古代逻辑学，如郭湛波著《先秦辩学史》。(3)中国古代以“辩”（辩说、论辩）为研究对象的一种学问。具体涉及辩的界说、目的和作用，辩的类型，辩的原则和要求，辩的方法、技巧，辩的论说组织、论据支持、语言表达，以及辩者的态度、素质等内容。 |
| 运算器 | 运算器 运算器：arithmetic unit，计算机中执行各种算术和逻辑运算操作的部件。运算器的基本操作包括加、减、乘、除四则运算，与、或、非、异或等逻辑操作，以及移位、比较和传送等操作，亦称算术逻辑部件（ALU）。 |
| 排中律 | 排中律 排中律(law of excluded middle)是形式逻辑的基本规律之一，排中律指同一个思维过程中，两个相互矛盾的思想不能同假，必有一真，即“要么A要么非A”。排中律要求在同一思维过程中，不能对不能同假的命题(矛盾关系、反对关系)同时加以否定。比如有一块空地可以种庄稼，甲、乙两人讨论这块地该种什么庄稼好。甲一会儿说应该种玉米，一会儿又说不应该种玉米。针对甲的说法，乙说： “你的两种意见，我都不同意。”在这里，甲的说法就违反了矛盾律的要求，犯了“自相矛盾”的错误，因为他同时肯定了这块空地“应该种玉米”和“不应该种玉米”这两个相互矛盾的判断。而针对甲的说法，乙的说法就违反了排中律的要求，因为排中律认为两个互相矛盾的判断不能同假，而乙恰好断定上述两个判断都是假的。也就是说：这块地要不就是应该种玉米，要不就是不应该种玉米，二者必有其一。 |
| 反对判断 | 反对判断 不能同真但可以同假的两个判断。如“逻辑学是无用的”和“逻辑学是万能的”就是反对判断。对于反对判断，可以由一个判断之真推出另一个判断之假，但不能由一个判断之假推出另一个判断之真。 |
| 矛盾律 | 矛盾律 矛盾律（contradiction，law of）是传统逻辑基本规律之一。。它通常被表述为A必不非A（A一定不是非A），或A不能既是B又不是B。要求在同一思维过程中，对同一对象不能同时作出两个矛盾的判断，即不能既肯定它，又否定它。在传统逻辑里 ，矛盾律首先是作为事物规律提出来的，意为任一事物不能同时既具有某属性又不具有某属性。它作为思维规律，则是任一命题不能既真又不真。 |
| 三段論式 | 三段论式 三段论式属于逻辑名词，也叫三段论、三段论法。形式逻辑间接推理的基本形式，由大前提、小前提、结论三部分组成，故称。 |
| 三段论式 | 三段论式 三段论式属于逻辑名词，也叫三段论、三段论法。形式逻辑间接推理的基本形式，由大前提、小前提、结论三部分组成，故称。 |
| 病句 | 病句 病句，就是有毛病的句子。凡是违反语法结构规律或客观事理的句子都是病句，前者叫语法错误，后者叫逻辑错误。 常见的病句种类有：（1）语序不当；（2）搭配不当；（3）成分残缺或赘余；（4）结构混乱；（5）表意不明；（6）不合逻辑 （7）歧义（8）句式杂糅 |
| 因明 | 因明 因明，梵文 Hetuvidyā 的意译，指古印度的逻辑学。它与声明（语言文字学）、工巧明（工艺历算学）、医方明（医学）、内明（各学派自己的学说，对佛教来说则指佛学）合称“五明”，为古印度的五门学科。因，指推理的根据、理由、原因。明，指显明、知识、学问。 |
| 类型 | 类型 （技术名词）类型（type）以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中，就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束，也就是一种逻辑公式。而在对类型的研究过程中产生多种方法，比如【C&W 1985】等。而代数方法（algebraic approach）是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素，在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中，类型被认为是一系列满足确定约束条件的元素，更抽象的方式可以把一个类型当作规定一个约束条件，如果我们规定的约束条件越好，相对应的被定义元素的集合就越精密，所以逻辑公式（logical formulas）就成为描述类型特征的最合适工具。在这里，我们不想深入的探究对于类型理论的各种不同的数学模型，我们需要明白的是类型（type）以及类型理论这个在编程语言中经常应用到的概念的内涵是极其丰富的，而其自身理论的发展并非局限于OOP之中，但当两者相结合的时候就对我们的程序观产生了巨大的影响。 类型 （汉语词语）类型，指包含由各特殊的事物或现象抽出来的共通点的抽象概念；在 .NET 框架中，类型(type)又被称作组件(component)。通常情况下，应用程序既包括我们自己创建的类型，也包括微软和其他一些组织创建的类型。 |
| 逻辑思维 | 逻辑思维 （抽象思维能力）逻辑思维是指将思维内容联结、组织在一起的方式或形式。思维是以概念、范畴为工具去反映认识对象的。这些概念和范畴是以某种框架形式存在于人的大脑之中，即思维结构。这些框架能够把不同的范畴、概念组织在一起，从而形成一个相对完整的思想，加以理解和掌握，达到认识的目的。因此，思维结构既是人的一种认知结构，又是人运用范畴、概念去把握客体的能力结构。 |
| 類型 | 类型 （技术名词）类型（type）以及类型系统的起源以及研究与发展是独立于OOP的。早在五十年代的FORTRAN语言编译器实现中，就已经采用类型系统作为类型检查的一种手段。广义的类型一般被定义为一种约束，也就是一种逻辑公式。而在对类型的研究过程中产生多种方法，比如【C&W 1985】等。而代数方法（algebraic approach）是一种非常好的建立类型的形式化规范的方法。代数中的一个类型对应于一系列元素，在它们之上定义代数操作。同时在此基础上二阶λ演算已经被用于继承和模板所支持的模型。在上面两种方法中，类型被认为是一系列满足确定约束条件的元素，更抽象的方式可以把一个类型当作规定一个约束条件，如果我们规定的约束条件越好，相对应的被定义元素的集合就越精密，所以逻辑公式（logical formulas）就成为描述类型特征的最合适工具。在这里，我们不想深入的探究对于类型理论的各种不同的数学模型，我们需要明白的是类型（type）以及类型理论这个在编程语言中经常应用到的概念的内涵是极其丰富的，而其自身理论的发展并非局限于OOP之中，但当两者相结合的时候就对我们的程序观产生了巨大的影响。 类型 （汉语词语）类型，指包含由各特殊的事物或现象抽出来的共通点的抽象概念；在 .NET 框架中，类型(type)又被称作组件(component)。通常情况下，应用程序既包括我们自己创建的类型，也包括微软和其他一些组织创建的类型。 |
| 推理 | 推理 （推理）推理，逻辑学指思维的基本形式之一，是由一个或几个已知的判断（前提）推出新判断（结论）的过程，有直接推理、间接推理等。（《现代汉语词典第6版》第1323页） |
| 推导 | 推导 【词语】：推导 【注音】：tuī dǎo 【释义】：根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。 【例句】：他甚至连最复杂艰深的数学推导都记得一清二楚。 |
| 选言判断 | 选言判断 选言判断是判断的一种，是断定在几种可能情况下，至少有一种情况存在的判断。康德在《逻辑学讲义》中这么给选言判断下定义：“如果一所与概念的范围的诸部分，在全体中互相规定，或作为补充（complementa）互相规定为一全体，那么这判断是选言的。” |
| 名学 | 名学 名学，由姓名学与名称学、扬名学与命名学和名势学、名利学组成。名学是中华民族文化中的精髓，是中华国学中的一部分，名学中的部分学术融入易学象理，是学术应用从《周易》象数理论中衍生出来的新派数理体系，名学文化博大精深，源远流长。 名学，在当代社会科学中的名学定义（古代名学见“发展史”部分）：名学今天是人与社会的表达、传播、交流的应用信息工具，是能量场的信息储存载体，是研究人、物、事、业的价值能量延续，是载体之间的逻辑思想的学术分类、来源历史、型态改变、地理分布、文化意涵等的一门综合学科，为anthroponymy的中译，一般又翻译为人名学，与地名学（toponymy）同属专名学（onomastics）的下属领域。早期名学以人名、物名、事名、业名的来源和变化为主要研究对象，以词源学etymology）为基本工具，对语言学有所贡献，后来因为对地理分布、文化意涵的研究，也影响了历史学、民俗学、人口学，甚至与心理学、社会学、法学都有关连。 |
| 命题 | 命题 在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。 |
| 命題 | 命题 在现代哲学、数学、逻辑学、语言学中，命题是指一个判断（陈述）的语义（实际表达的概念），这个概念是可以被定义并观察的现象。命题不是指判断（陈述）本身，而是指所表达的语义。当相异判断（陈述）具有相同语义的时候，他们表达相同的命题。在数学中，一般把判断某一件事情的陈述句叫做命题。 |
| 名學 | 名学 名学，由姓名学与名称学、扬名学与命名学和名势学、名利学组成。名学是中华民族文化中的精髓，是中华国学中的一部分，名学中的部分学术融入易学象理，是学术应用从《周易》象数理论中衍生出来的新派数理体系，名学文化博大精深，源远流长。 名学，在当代社会科学中的名学定义（古代名学见“发展史”部分）：名学今天是人与社会的表达、传播、交流的应用信息工具，是能量场的信息储存载体，是研究人、物、事、业的价值能量延续，是载体之间的逻辑思想的学术分类、来源历史、型态改变、地理分布、文化意涵等的一门综合学科，为anthroponymy的中译，一般又翻译为人名学，与地名学（toponymy）同属专名学（onomastics）的下属领域。早期名学以人名、物名、事名、业名的来源和变化为主要研究对象，以词源学etymology）为基本工具，对语言学有所贡献，后来因为对地理分布、文化意涵的研究，也影响了历史学、民俗学、人口学，甚至与心理学、社会学、法学都有关连。 |
| 推導 | 推导 【词语】：推导 【注音】：tuī dǎo 【释义】：根据已知的公理、定义、定理、定律等经过演算和逻辑推理而得出新的结论。 【例句】：他甚至连最复杂艰深的数学推导都记得一清二楚。 |
| 悖理 | 悖理 ◎悖理bèilǐ [paralogism;contrary to reason] 违反逻辑规则或公式的推理 同‘背理’。 contrary to reason; irrational |
| 辨学 | 辨学 biàn xué 辨学（辨学） 1.即辩学。逻辑学的旧称。辨﹐通"辩"。 |
| 充足理由律 | 充足理由律 通常把这条规律表述为﹕任何判断必须有（充足）理由。充足理由律的提法源于17世纪末﹑18世纪初的德国哲学家莱布尼茨﹐G.W.。他在《单子论》中说：“我们的推理是建立在两个大原则上﹐即是﹕(1)矛盾原则﹐……(2)充足理由原则﹐凭着这个原则﹐我们认为﹕任何一件事如果是真实的﹐或实在的﹐任何一个陈述如果是真的﹐就必须有一个为什么这样而不那样的充足理由﹐虽然这些理由常常总是不能为我们所知道的”。不过﹐莱布尼茨本人并未把充足理由原则当作逻辑规律。 |
| 大共名 | 大共名 《荀子》中的逻辑术语。指反映普遍性最高的类的概念。如“物”这一概念既大共名。《荀子-正名篇》：“物也者，大共名也。推而共之，共则有共，至于无共然后止。” |
| 大别名 | 大别名 《荀子》中的逻辑术语。指反映普遍性较低的类的概念。《荀子·正名篇》：“鸟兽也者，大别名也。” |
| 电子器件 | 电子器件 （汉语词语）电子器件是指在真空、气体或固体中，利用和控制电子运动规律而制成的器件。分为电真空器件、充气管器件和固态电子器件。在模拟电路中作整流、放大、调制、振荡、变频、锁相、控制、相关等作用；在数字电路中作采样、限幅、逻辑、存储、计数、延迟等用。充气管器件主要作整流、稳压和显示之用。固态电子器件如集成电路。 |
| 分晓 | 分晓 分晓，指以逻辑或推理为根据所达到的东西、解答等意思。见宋 赵彦卫《云麓漫钞》卷一：“此《尚书》疏义《禹贡》之三江也，但说得不分晓。” |
| 封建论 | 封建论 《封建论》是唐代文学家柳宗元创作的一篇政治论文。文章对“分封制”进行了全面的历史的分析，雄辩地论证了郡县制的巨大优越性。肯定了郡县制代替分封制是历史发展的必然，任何人也无力改变这一历史发展的趋势，痛斥了各种鼓吹分封制的谬论。这篇文章从理论上有力地抨击了维护分封制的谬论，打击了藩镇们的气焰，具有强烈的现实性和鲜明的战斗性。全文观点明确，重点突出，结构严谨，条理清晰；既有正面论述，也讲反面教训，具有不容置辩的逻辑力量；且多用排偶句子，骈散相间，语言凝练，语气清峻。 |
| 恒等 | 恒等 恒等héngděng [identical] 完全相等的；产生或实现同一的——主要指逻辑命题和数学的方程与演算所表示、产生或实现的方面 |
| 计算机 | 计算机 计算机（computer）俗称电脑，是现代一种用于高速计算的电子计算机器，可以进行数值计算，又可以进行逻辑计算，还具有存储记忆功能。是能够按照程序运行，自动、高速处理海量数据的现代化智能电子设备。 由硬件系统和软件系统所组成，没有安装任何软件的计算机称为裸机。可分为超级计算机、工业控制计算机、网络计算机、个人计算机、嵌入式计算机五类，较先进的计算机有生物计算机、光子计算机、量子计算机等。 计算机发明者约翰·冯·诺依曼。计算机是20世纪最先进的科学技术发明之一，对人类的生产活动和社会活动产生了极其重要的影响，并以强大的生命力飞速发展。它的应用领域从最初的军事科研应用扩展到社会的各个领域，已形成了规模巨大的计算机产业，带动了全球范围的技术进步，由此引发了深刻的社会变革，计算机已遍及一般学校、企事业单位，进入寻常百姓家，成为信息社会中必不可少的工具。 计算机的应用在中国越来越普遍，改革开放以后，中国计算机用户的数量不断攀升，应用水平不断提高，特别是互联网、通信、多媒体等领域的应用取得了不错的成绩。1996年至2009 年，计算机用户数量从原来的630万增长至6710 万台，联网计算机台数由原来的2.9万台上升至5940万台。互联网用户已经达到3.16 亿，无线互联网有6.7 亿移动用户，其中手机上网用户达1.17 亿，为全球第一位。 |
| 理性 | 理性 （汉语词语）理性是指人在正常思维状态下时为了获得预期结果，有自信与勇气冷静地面对现状，并快速全面了解现实分析出多种可行性方案，再判断出最佳方案且对其有效执行的能力。 理性是基于现有的理论，通过合理的逻辑推导得到确定的结果。反之就是反理性。理性的本质就是否定与怀疑。 |
| 两刀论法 | 两刀论法 词语解释 【拼音】liǎng dāo lùn fǎ 【解释】1.即二难推理。逻辑上称假言推理和选言推理联合起来的推理。大前提是两个假言判断，小前提是选言判断。 |
| 内涵意义 | 内涵意义 内涵意义，是汉语词汇，读音为nèi hán yì yì，释义是一个字或词的逻辑内涵；一个术语的意义；一个正确定义所表示的内容。 |
| 求知欲 | 求知欲 求知欲，强烈要求得到满足的欲望。如：它使人们熟悉了亚里斯多德逻辑学的方法和概要并增强了他们的求知欲。 |
| 五明 | 五明 五明 是指 工巧明(工艺学)、声明(语言学)、医方明（医学）、外明(天文学)和内明(佛学)源于古老的象雄雍仲本教。据《西藏王统记》《朵堆》等典籍记载：象雄人幸饶弥沃如来佛祖对过去原始本教进行了许多变革，创建雍仲本教，被称为西藏最古老的古象雄佛法。幸饶弥沃如来佛祖首先创造了象雄文字，并传授了“五明学科”：工巧明(工艺学)、声明学(语言学)、医方明、因明：即逻辑学、认识论和内明学(佛学)。古象雄文明就以“雍仲本教”的传播为主线而发展起来的。 五明学科是象雄文化的精粹。“古象雄文明的所有权在我们这里，但其话语权和解释权却长期落在外国人手里。”目前，国际上不少国家正在对本教大藏经进行翻译，中国尚缺少对本教的基础研究。乃至古象雄文字、语言、天文学、医学、哲学等领域的研究都要展开，这是对中国文化史的一大贡献，更是对世界文化史的贡献。 |
| 演绎 | 演绎 演绎是铺陈、表现的意思。其基本意义是 从前提必然地得出结论的推理；从一些假设的命题出发，运用逻辑的规则，导出另一命题的过程，由一般原理推演出特殊情况下的结论。 |
| 系词 | 系词 系词，中文词汇之一，意思是逻辑上指一个命题的三部分之一，连系主词和宾词来表示肯定或否定。 |
| 界定 | 界定 界定，原指以地理区域划分事物性质，后引申为划分决定，逻辑学中指下定义。 |
| 语病 | 语病 语病是指语文中措词失当或不合逻辑的毛病 宋 欧阳修 《六一诗话》：“诗人贪求好句，而理有不通，亦语病也。如‘袖中谏草朝天去，头上宫花侍宴归’，诚为佳句矣，但进谏必以章疏，无有用稿草之理。” 明 胡应麟 《诗薮·六朝》：“ 休文 ‘夕行闻夜鹤，晨征听晓鸿’，当句自犯，尤为语病。” 鲁迅 《热风·估》：“《渔丈人行》的起首道：‘ 楚王 无道杀 伍奢 ，覆巢之下无完家。’这‘无完家’虽比‘无完卵’新奇，但未免颇有语病。” |
| 断按 | 断按 断按是一个汉语词语，读音是duàn àn ，是指形式逻辑三段论法中的结论。 |
| 斷按 | 断按 断按是一个汉语词语，读音是duàn àn ，是指形式逻辑三段论法中的结论。 |
| 线性表 | 线性表 线性表是最基本、最简单、也是最常用的一种数据结构。线性表（linear list）是数据结构的一种，一个线性表是n个具有相同特性的数据元素的有限序列。 线性表中数据元素之间的关系是一对一的关系，即除了第一个和最后一个数据元素之外，其它数据元素都是首尾相接的（注意，这句话只适用大部分线性表，而不是全部。比如，循环链表逻辑层次上也是一种线性表（存储层次上属于链式存储），但是把最后一个数据元素的尾指针指向了首位结点）。 |