查看“︁分类:逻辑学”︁的源代码

逻辑学是哲学的分支学科，狭义上指研究推理和论证的形式科学。朴素逻辑学，或者说[[:分类:古典逻辑]]，发祥于古希腊<ins>亚里士多德</ins>、中国名家为主的名辩学、古印度因明学等多个源流。这些源流中，有的基于语言分析形式逻辑，有的则侧重内容逻辑而不抽象为形式。直到近代，逻辑学与数学方法相结合，逐渐衍生出了符号化、数学化的[[:分类:数理逻辑]]，研究数学中[[证明]]和计算的直观概念的符号化系统。