高低级

高阶、低级（英语：High and low level）是在逻辑学及计算机科学相关领域中，与推论有关的一种技术，是抽象化有关的概念。

简介由于不同的人类在思考时，偏好“将特定命题抽象化或具体化成自己容易思考的程度”。“高阶、低级”就是指称“命题抽象化的程度”。命题越抽象，就越高阶。越具体而不抽象，就越低级。

“高阶、低级”在权能的概念里，指称的是权能的大小及多寡。1

应用在计算机科学中，软件通常分为两种类型：高级终端用户应用软件（如文字处理器，数据库，视频游戏等）和低级系统软件（如操作系统，硬件驱动程序等等。）。因此，高级应用程序通常依赖于低级应用程序来运行。在编程方面，高级编程语言是具有相对高级抽象的语言，并且以结构化方式操纵概念功能。一个低级语言是一个像汇编语言，包含基本的微处理器命令

在形式方法中，高级形式规范可以与低级可执行实现相关（例如，通过使用形式验证技术的数学证明正式）。

在社会学和社会人类学中，高级描述将是经济和政治结构等术语，低级描述将是个体人的动机和工作。

在神经科学中，低水平将涉及细胞（或细胞或分子的一部分）的功能，并且与神经系统的整体功能或活性有关。

在文档中，高层次的文件包含了执行摘要中，低一级的文件，技术规范。

在企业中，企业战略是一个高级别的描述，一个列表，谁做什么工作是低级别的描述。1

抽象化抽象化（英语：Abstraction）是指以缩减一个概念或是一个现象的资讯含量来将其广义化（Generalization）的过程，主要是为了只保存和一特定目的有关的资讯。例如，将一个皮制的足球抽象化成一个球，只保留一般球的属性和行为等资讯。相似地，亦可以将快乐抽象化成一种情绪，以减少其在情绪中所含的资讯量。

抽象化主要是为了使复杂度降低，以得到论域中，较简单的概念，好让人们能够控制其过程或以综观的角度来了解许多特定的事态。2

推论在数学上，推论（也称为系、系理）指能够“简单明了地”从前述命题推出的论断，推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出，则称B为A的推论。

推论、定理、命题等术语的使用区别往往是比较主观的，因为“简单明了”的定义本来就与作者及上下文相关。当然，推论一般被认为不如定理重要。2

逻辑学逻辑（古希腊语：λογική；德语：Logik；法语：logique；英语：logic；意大利语、西班牙语、葡萄牙语: logica），又称理则、论理、推理、推论，是对有效推论的哲学研究。逻辑被使用在大部分的智能活动中，但主要在哲学、心理、学习、推论统计学、脑科学、数学、语义学、法律和计算机科学等领域内被视为一门学科。逻辑讨论逻辑论证会呈现的一般形式，哪种形式是有效的，以及其中的谬论。

逻辑通常可分为三个部分：归纳推理、溯因推理和演绎推理。

在哲学里，逻辑被应用在大多数的主要领域之中：形而上学/宇宙论、本体论、知识论及伦理学。

在数学里，逻辑是指形式逻辑和数理逻辑，形式逻辑是研究某个形式语言的有效推论。主要是演绎推理。 在辩证法中也会学习到逻辑。数理逻辑是研究抽象逻辑关系和数学基本的问题。

在心理、脑科学、语义学、法律里，是研究人类思想推理的处理。

在学习、推论统计学里，是研究最大可能的结论。主要是归纳推理、溯因推理。

在计算机科学里， 是研究各种方法的性质，可能性，和实现在机器上。主要是归纳推理、溯因推理，也有在归纳推理的研究。

从古文明开始（如古印度、中国和古希腊）都有对逻辑进行研究。在西方，亚里斯多德将逻辑建立成一门正式的学科，并在哲学中给予它一个基本的位置。1

本词条内容贡献者为:

王沛 - 副教授、副研究员 - 中国科学院工程热物理研究所