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