数理逻辑修养

数理逻辑修养

谋略主体自我修炼的一个重要内容。数理逻辑，又称符号逻辑。一般认为是数学的一个分支，又是逻辑学发展的高级形态，数理逻辑的创始者是德国的数学家兼哲学家莱布尼茨。数理逻辑方法，指借助数学中常用的形式化语言方法，来确定推理中前提和结论之间的形式关系的符号逻辑方法。数理逻辑主要包括模型论、递归论、集合论和证明论四大分支。而数理逻辑的基础是由命题逻辑和谓词逻辑构成的。

数理逻辑方法可以使我们从定性研究走向定性和定量研究相结合的方向，数理逻辑所揭示的数学中的思维规律、思维技术与思维方法以及运用数学符号描述、表达特定思维过程及使用电子元件物质手段实现其思维过程等，都为开拓我们的思维视野、探求思维规律奠定了方法论基础。

谋略学家使用数理逻辑方法，最根本的在于学懂会用“数理逻辑”基础理论、原则和方法。同时，还必须付诸于智能机的开关线路、自动化系统和电子计算机设计的实践应用之中。