当代逻辑的发展趋势

　　陈波在《学术界》2004年第5期撰文，从《哲学逻辑手册》英文第2版的出版看当代逻辑的发展趋势，认为，当代逻辑的发展更多地受计算机科学和人工智能研究的驱动，从上世纪80年代左右开始，逻辑学发展又进入一个新的高峰期，经典的逻辑理论得到应用和发展，许多新的逻辑分支大量涌现，逻辑研究在观念、对象、范围、方法、手段诸方面都在发生新的变革，它有可能回到一个古老的传统：比较全面地研究人的思维活动中存在的程序、模式、方法和准则，而不仅仅局限于有效推理。