高低級

由於不同的人類在思考時，偏好“將特定命題抽象化或具體化成自己容易思考的程度”。“高階、低級”就是指稱“命題抽象化的程度”。命題越抽象，就越高階。越具體而不抽象，就越低級。

“高階、低級”在權能的概念裏，指稱的是權能的大小及多寡。 ^[1] 

抽象化（英語：Abstraction）是指以縮減一個概念或是一個現象的資訊含量來將其廣義化（Generalization）的過程，主要是為了只保存和一特定目的有關的資訊。例如，將一個皮製的足球抽象化成一個球，只保留一般球的屬性和行為等資訊。相似地，亦可以將快樂抽象化成一種情緒，以減少其在情緒中所含的資訊量。

抽象化主要是為了使複雜度降低，以得到論域中，較簡單的概念，好讓人們能夠控制其過程或以綜觀的角度來了解許多特定的事態。 ^[2] 

在數學上，推論（也稱為系、系理）指能夠“簡單明瞭地”從前述命題推出的論斷，推論往往在定理後出現。如果命題B能夠被簡單明瞭的從命題A推導出，則稱B為A的推論。

推論、定理、命題等術語的使用區別往往是比較主觀的，因為“簡單明瞭”的定義本來就與作者及上下文相關。當然，推論一般被認為不如定理重要。 ^[2] 

邏輯（古希臘語：λογική；德語：Logik；法語：logique；英語：logic；意大利語、西班牙語、葡萄牙語: logica），又稱理則、論理、推理、推論，是對有效推論的哲學研究。邏輯被使用在大部分的智能活動中，但主要在哲學、心理、學習、推論統計學、腦科學、數學、語義學、法律和計算機科學等領域內被視為一門學科。邏輯討論邏輯論證會呈現的一般形式，哪種形式是有效的，以及其中的謬論。

邏輯通常可分為三個部分：歸納推理、溯因推理和演繹推理。

在哲學裏，邏輯被應用在大多數的主要領域之中：形而上學/宇宙論、本體論、知識論及倫理學。

在數學裏，邏輯是指形式邏輯和數理邏輯，形式邏輯是研究某個形式語言的有效推論。主要是演繹推理。 在辯證法中也會學習到邏輯。數理邏輯是研究抽象邏輯關係和數學基本的問題。

在心理、腦科學、語義學、法律裏，是研究人類思想推理的處理。

在學習、推論統計學裏，是研究最大可能的結論。主要是歸納推理、溯因推理。

在計算機科學裏， 是研究各種方法的性質，可能性，和實現在機器上。主要是歸納推理、溯因推理，也有在歸納推理的研究。

從古文明開始（如古印度、中國和古希臘）都有對邏輯進行研究。在西方，亞里斯多德將邏輯建立成一門正式的學科，並在哲學中給予它一個基本的位置。 ^[1]