逻辑学是一门研究推理规律和思维形式的学科，它包含多种类型和分支。以下是逻辑学的主要类型：
形式逻辑
研究命题和推理形式的逻辑，包括命题逻辑和谬误逻辑。
命题逻辑关注命题之间的关系和推理规则。
谬误逻辑探讨推理中可能出现的错误。
实证逻辑
研究对现实世界进行推理和推断的逻辑，包括归纳逻辑和演绎逻辑。
归纳逻辑是从特殊到一般的推理过程。
演绎逻辑是从一般到特殊的推理过程。
现代逻辑
包含更加复杂的逻辑形式和推理模式。
考虑命题的语法形式和语义内涵。
包括模态逻辑、互动逻辑、非经典逻辑等。
具象逻辑与抽象逻辑
具象逻辑关注真实的图像场景画面。
抽象逻辑使用抽象概念、判断、推理来反映事物的本质特征。
对称逻辑
研究对称的思维规律和思维方式。
辩证逻辑
形式逻辑思维的进一步发展，强调对立面的统一和斗争。
其他逻辑类型
包括数理逻辑、哲学逻辑、模糊逻辑、非形式逻辑、制约逻辑等。
逻辑学不仅是哲学的基础，也是科学研究和日常生活中推理的重要工具。它广泛应用于数学、计算机科学、语言学等多个领域