以演绎推理为基本内容的逻辑系统。在欧洲，古希腊逻辑学家亚里士多德为其奠基人，其后的斯多葛学派有所发展。20世纪初数理逻辑形成一门独立的学科后，演绎逻辑发展到一个新的阶段。