技術邏輯

研究如何將邏輯套用於各種技術系統和構造的問題，特別是套用於自動化機器的綜合分析。這種邏輯主要以邏輯演算特別是布爾代數為基礎。在技術邏輯中，命題演算是作為事件的計算來解釋的，謂詞演算則作為包含事件的函式的計算來解釋；其中已發生的事件相當於真命題，未發生的事件相當於假命題。