技术逻辑

出处：按学科分类—社会科学总论 中国青年出版社《社会科学学科辞典》第143页（683字）

研究将逻辑应用于各种技术系统、特别是应用于自动化机器的综合分析的理论，

一个复杂的技术系统的逻辑模式，如具有错综复杂的联络线路的自动化车间、复杂的调车场等的逻辑模式，对最近的发展所预示的意义，与模式飞机和风道在某种程度上对古典气体动力学所预示过的意义是一样的。

因此，逻辑在下述三项关系内是有效的：构造的或分析的复合技术系统、在思想上对这种系统的逻辑刻画以及这种系统的技术逻辑模式。在这里，逻辑模式的行为方式能够代替对这个问题的逻辑思维。技术逻辑主要以逻辑演算为基础，其中特别是布尔代数。

在这里，命题演算是作为事件(事实)的计算来解释的；谓词演算则作为包含事实的函数的计算来解释的；事件(事实)相应于真命题，未发生的事件(事实)相应于假命题。

关于逻辑在技术中的应用，现在早成为事实。比如，任何一本现代自动化教科书，至少都包括一篇命题逻辑。

此外，关于电子计算机的构造理论的任何阐述，都以某种方式研究到算法论，这样便通过算法论而与逻辑的更高领域结合起来了。

在技术中自觉地应用现代逻辑，是完成信息量生产的最重要的标志之一。

苏联很早就认识到现代逻辑在技术上应用的巨大可能性。

哲学家T·H·鲍瓦洛夫1959年就曾着文对在技术中应用逻辑作了综合报导。

民主德国学者克劳斯在1961年发表《论技术逻辑的哲学意义》，对技术逻辑作了哲学分析和论证。我国学者对技术逻辑问题也在进行深入探讨。