控制論邏輯

控制論邏輯是套用邏輯的一種。主要指關於自動機描述和研製中涉及的邏輯。控制論最早由美國維納在《控制論》中提出，是研究動物和機器中的控制和通訊的科學，後來被用於任何系統（包括工程技術系統、自然系統、社會系統、智慧型系統）。維納強調數理邏輯在控制論中的基礎作用。因為任何一種控制系統在從輸出端接收反饋信息後，必須根據輸出值和目標值的差，進行判斷、推理，並據之作出決策，再將相應的信息再輸入，從而進行調節、控制。於是就產生了與控制有關的邏輯概念、方法和系統，構成控制理論的邏輯。

控制論邏輯起初涉及數理邏輯的基礎部分和計算機硬體，以後又涉及可以給出算法的能行性理論，包括圖靈機理論和遞歸函式論等。為了研究控制論中自動機的可靠性等問題，馮·諾伊曼研究了多端網路、概念邏輯，由於自動機要對智慧型進行模擬，單用演繹理論還不夠，因此控制論邏輯還需歸納推理。20世紀60年代後，控制論得到廣泛套用，滲透到生物學、生理學、化學、數學、工程技術、經濟、哲學等領域，從而進入對複雜大系統的研究。