古典逻辑

一般泛指数理逻辑产生之前的传统形式逻辑。主要指以亚里士多德逻辑为代表的传统逻辑。以《墨经》、《荀子·正名》等为代表的中国古代逻辑和印度因明也可视为中国和印度的古典逻辑。近代数理逻辑产生以后，由罗素和怀特海合著的《数学原理》一书建立了命题演算与谓词演算的完整体系，奠定了现代逻辑进一步发展的基础。于是，人们又在数理逻辑范围内将其称为经典逻辑，亦即古典逻辑或古典数理逻辑，或称标准逻辑，而把在此基础上进一步扩展而成的各种现代逻辑分支如模态逻辑、时态逻辑、道义逻辑、认知逻辑以及直觉主义逻辑、相干逻辑、多值逻辑、模糊逻辑、量子逻辑等统称为非经典逻辑，或称非标准逻辑。