分类:逻辑学

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