内容简介
本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。本书将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析和理论解释、形式逻辑以及逻辑电路实现、形式逻辑系统的有效性、可靠性和完备性、适用于解决现实问题的代名词逻辑、代名词逻辑的有效性、可靠性和完备性以及作为优美的概念文字的基本集合理论。
评分
本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。本书将向读者解释该系统工具由什么组成、具有怎样的功能以及可以怎样应用。这包括关于“数”和“计算”的概念分析和理论解释、形式逻辑以及逻辑电路实现、形式逻辑系统的有效性、可靠性和完备性、适用于解决现实问题的代名词逻辑、代名词逻辑的有效性、可靠性和完备性以及作为优美的概念文字的基本集合理论。