高低級

高階、低級（英語：High and low level）是在邏輯學及計算機科學相關領域中，與推論有關的一種技術，是抽象化有關的概念。

基本介紹

• 中文名：高低級
• 外文名：High and low level
• 特點：抽象化
• 領域：計算機

簡介

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

“高階、低級”在權能的概念里，指稱的是權能的大小及多寡。

套用

• 在計算機科學中，軟體通常分為兩種類型：高級終端用戶套用軟體（如文字處理器，資料庫，視頻遊戲等）和低級系統軟體（如作業系統，硬體驅動程式等等。）。因此，高級應用程式通常依賴於低級應用程式來運行。在編程方面，高級程式語言是具有相對高級抽象的語言，並且以結構化方式操縱概念功能。一個低級語言是一個像彙編語言，包含基本的微處理器命令
• 在形式方法中，高級形式規範可以與低級可執行實現相關（例如，通過使用形式驗證技術的數學證明正式）。
• 在社會學和社會人類學中，高級描述將是經濟和政治結構等術語，低級描述將是個體人的動機和工作。
• 在神經科學中，低水平將涉及細胞（或細胞或分子的一部分）的功能，並且與神經系統的整體功能或活性有關。
• 在文檔中，高層次的檔案包含了執行摘要中，低一級的檔案，技術規範。
• 在企業中，企業戰略是一個高級別的描述，一個列表，誰做什麼工作是低級別的描述。

抽象化

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

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

推論

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

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

邏輯學

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

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

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

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

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

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

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

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