傳統邏輯與現代邏輯

邏輯這門學問可以說歷史悠久，源遠流長。在西元前第四世紀，亞里斯多德（Aristotle, 384-322 B.C.）的「工具論（Organon）」已為這門學問奠下相當深厚而穩固的根基。因此亞氏也就被公認為邏輯的開山祖師。自他以後，經過中世紀哲人的詮釋，十九世紀及廿世紀許多邏輯家和數學家的革新，邏輯的領域已大為擴展，精確度也大為加深。廿世紀以來，邏輯不但進步神速；而且由於它的影響，更帶動其他學術的突飛猛進。