高低级

高阶、低级（英语：High and low level）是在逻辑学及计算机科学相关领域中，与推论有关的一种技术，是抽象化有关的概念。由于不同的人类在思考时，偏好“将特定命题抽象化或具体化成自己容易思考的程度”。“高阶、低级”就是指称“命题抽象化的程度”。命题越抽象，就越高阶。越具体而不抽象，就越低级。