逻辑学：关于推理和论证的科学
可以认为主要包含形式逻辑和辩证逻辑，又以形式逻辑为主要的研究内容
古希腊的形式逻辑：亚里士多德
古中国：墨翟
古印度：因明论
逻辑学的发展：
德谟克里特《论自然》
亚里士多德《工具论》
莱布尼茨-引进人工符号表示逻辑法则（思维计算化），构造形式系统
康德提出辩证逻辑；黑格尔/马克思正式建立辩证逻辑学科
布尔《逻辑的数学分析》建立布尔代数
罗素《数学原理》等，确立现代数理逻辑体系
逻辑学分类：基本逻辑、应用逻辑、广义逻辑
基本逻辑：
经典逻辑：命题逻辑、谓词逻辑、关系逻辑、同一逻辑、词项逻辑（三段论）等
非经典逻辑：多值逻辑、模糊逻辑、直觉主义逻辑等
元逻辑
归纳逻辑
论证和推理的区别：
论证：论点/论据/论证过程
