《基本逻辑学:思维与表达正确性问题探究》旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。《基本逻辑学:思维与表达正确性问题探究》将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析与理论解释,形式逻辑以及逻辑电路实现,形式逻辑系统的有效性、可靠性和完备性,适用于解决现实问题的代名词逻辑,代名词逻辑的有效性、可靠性和完备性以及作为优美的概念文字的基本集合理论。《基本逻辑学:思维与表达正确性问题探究》还将向读者解释理性思考过程中出发点选择的自由以及一致性的含义。
作者希望《基本逻辑学:思维与表达正确性问题探究》是一本介于现有形式逻辑教材以及数理逻辑专业教材之间的自学读物。尽管《基本逻辑学:思维与表达正确性问题探究》事实上将数理逻辑的基本内容以代名词逻辑的形式展现出来,但《基本逻辑学:思维与表达正确性问题探究》的着眼点不是数学和数学基础,而是哲学、法学、经济学以及其他社会科学,因为作者真心希望这些领域中的许多青年读者可以从中得益。作者甚至还希望在诸多理科领域中也会有不少的青年读者可以从本《基本逻辑学:思维与表达正确性问题探究》得益。
“工欲善其事,必先利其器”。“心之官则思”,思者宜用利器。