數理邏輯修養

謀略主體自我修煉的一個重要內容。數理邏輯，又稱符號邏輯。一般認為是數學的一個分支，又是邏輯學發展的高級形態，數理邏輯的創始者是德國的數學家兼哲學家萊布尼茨。數理邏輯方法，指借助數學中常用的形式化語言方法，來確定推理中前提和結論之間的形式關系的符號邏輯方法。數理邏輯主要包括模型論、遞歸論、集合論和證明論四大分支。而數理邏輯的基礎是由命題邏輯和謂詞邏輯構成的。

數理邏輯方法可以使我們從定性研究走向定性和定量研究相結合的方向，數理邏輯所揭示的數學中的思維規律、思維技術與思維方法以及運用數學符號描述、表達特定思維過程及使用電子元件物質手段實現其思維過程等，都為開拓我們的思維視野、探求思維規律奠定了方法論基礎。

謀略學家使用數理邏輯方法，最根本的在于學懂會用“數理邏輯”基礎理論、原則和方法。同時，還必須付諸于智能機的開關線路、自動化系統和電子計算機設計的實踐應用之中。