高阶、低阶（）是在逻辑学及计算机科学相关领域中，与「推论的一种技术：抽象化」有关的概念。由于不同的人类在思考时，偏好「将特定命题抽象化或具体化成自己容易思考的程度」。「高阶、低阶」就是指称「命题抽象化的程度」。命题越抽象，就越高阶。越具体而不抽象，就越低阶。「高阶、低阶」在权能的概念里，指称的是权能的大小及多寡。