演算

---

一种用符号进行运算的规则体系，它能扩大有内容的思维在解题方面、在证明用该演算之手段(即用“语言”)来表达的各种判断方面的可能。

演算的特点在于：对其施行运算的客体是物质客体(数字、字母及其他符号)，这些客体在对其运用演算规则的过程中实际上是不变的。历史上，演算是在数学(例如：微分和积分演算等)范围内产生和发展的。后来，构成演算的方法被推广到逻辑学上，于是便出现了各种逻辑演算和逻辑—数学演算，因而就形成了用演算结构来表示逻辑形式的数理逻辑或称符号逻辑这样一门科学。通过现代逻辑学的方法而建立起来的演算形式来表示某些知识领域(特别是演绎科学的某些领域)，这是使相应的知识领域形式化的最彻底的形式，而这种形式化的有效性正为现代计算技术的实际应用和控制论的发展所证实(参见逻辑斯提的方法)。