1. 形式逻辑

形式逻辑是研究推理有效性的学科，它关注推理过程中形式结构的正确性，而不关心推理内容的具体含义。形式逻辑包括命题逻辑、谓词逻辑、模态逻辑等分支，它们为我们提供了分析推理结构、识别逻辑谬误和构建有效论证的工具。

2. 非形式逻辑

与形式逻辑不同，非形式逻辑更侧重于实际推理中的具体应用，它关注推理内容的合理性和论证的质量。非形式逻辑通过分析论证中的前提、假设、结论以及它们之间的逻辑关系，帮助我们评估论证的可靠性和说服力，提高我们的批判性思维能力。

3. 归纳逻辑与演绎逻辑

归纳逻辑是从个别到一般的推理方法，它通过观察特定实例或数据，概括出一般性的结论。演绎逻辑则是从一般到个别的推理方法，它基于已知的前提和逻辑规则，推导出必然的结论。归纳和演绎在认知过程中相互补充，共同构成了人类推理能力的两大支柱。

三、认知与逻辑的相互作用

认知与逻辑不是孤立存在的，它们之间存在着紧密的联系和相互作用。一方面，认知为逻辑提供了必要的心理基础和信息输入；另一方面，逻辑则作为认知的高级功能，对认知过程进行规范和指导。

1. 认知对逻辑的影响

认知过程，如感知、记忆、思维等，都直接或间接地影响着逻辑推理的能力。例如，记忆能力的强弱直接影响到我们能否准确回忆和利用过去的经验进行推理；思维能力的灵活性则决定了我们能否从不同角度审视问题，发现潜在的逻辑联系。

2. 逻辑对认知的促进作用

逻辑不仅是我们理解和解释世界的工具，也是提升认知能力的关键。通过逻辑推理，我们能够识别信息之间的逻辑关系，揭示隐藏在现象背后的本质和规律；我们还能够评估论证的合理性和可靠性，避免被误导或欺骗。此外，逻辑训练还能够提高我们的批判性思维能力，使我们更加善于分析和解决问题。