逻辑学思想发端于三大古代文明:古希腊亚里士多德创立演绎逻辑体系,著《工具论》[8;古印度陈那发展因明学;中国先秦墨子提出“辩、类、故”逻辑概念[4] 。1879年弗雷格出版《表意符号》,标志现代演绎逻辑诞生[2] 。皮尔士独立创立量词理论,推动符号逻辑发展[3] 。莱布尼茨改革形式逻辑,开创数理逻辑[5] 。现代逻辑学在基础理论与应用研究中持续演进[7] 。
亚里士多德:古希腊哲学家,首创逻辑学系统性研究,提出三段论理论,被尊为“逻辑学之父”[4][8]。
戈特洛布·弗雷格:德国逻辑学家,建立现代演绎逻辑基础,著《表意符号》[2][3]。
查尔斯·皮尔士:美国学者,现代逻辑奠基人之一,提出逻辑规范现象学基础[3]。
金岳霖:中国现代逻辑学先驱,系统引入现代逻辑,著《逻辑》[6][9]。
莱布尼茨:德国哲学家,创立充足理由律,推动盖然性逻辑发展[5]。
演绎逻辑:基于亚里士多德体系,弗雷格完善命题与谓词逻辑系统[2]。
归纳逻辑:依托现代演绎逻辑方法,研究或然性推理[2]。
辩证逻辑:发端于亚里士多德的《形而上学》及《工具论》中的《范畴篇》《论辩篇》,研究哲理范畴推演[2]。
符号逻辑:皮尔士、莱布尼茨倡导普遍字符与逻辑演算[3][5]。
因明学:古印度陈那创立佛教新因明体系[4]。
截至2022年,中国逻辑学界聚焦多主体推理、群体智能等前沿课题。张建军提出情境量化域解决蕴涵怪论,潘正华探索类比推理人工智能应用。逻辑哲学、思想史及教学研究同步推进,展现学科多维发展[7] 。