逻辑(logic)是一种研究有效(或正确)推理的学科,也是对论证的分析和评估。[1] 在人工智能、心理学、学习、哲学等领域中都有广泛应用。逻辑可分为形式逻辑和非形式逻辑两种形式,其中形式逻辑是基于规则和符号系统的推理,而非形式逻辑则更强调人类日常推理过程的解析和评估。逻辑研究的是思维活动的规律性,能够帮助我们分析和评估思考过程,提高思维效率和质量。