数理逻辑在我国获得较广泛的传播,大约是在80年代中后期。[①a]作为一种形式系统,数理逻辑所特有的那种严密和精致,确实让国内的逻辑学者大开眼界。一时间,用数理逻辑“取代”普通逻辑似乎成了大势所趋。然而事实并不象设想的那么简单和顺利。本文无意于全面、系统=探讨这种“取代”的得失和原因,而只是想就西方,尤其是北美所存在的非形式逻辑(Informal Logic)运动这一事实,谈谈对我国逻辑学发展方向的一些看法..