亦稱古典邏輯，指從古希臘亞裡斯多德開創至19世紀進入現代發展階段以前所發展起來的形式邏輯體系和理論。（見形式邏輯）。