亚里士多德是形式逻辑的奠基人。