人工智能视域下的非形式逻辑

非形式逻辑研究人们日常生活中的论证实践,关注论证的论辩性、程序性和语用特点。基于人工智能的形式论证理论研究人工主体间的抽象论证活动,它在吸收非形式逻辑特性的基础上重构了非形式逻辑的诸多理论,这间接导致非形式逻辑的学科作用和理论诉求遭受质疑。然而,这种观点并没有把握非形式逻辑的本质,它与人工智能并不冲突,两者是互相补充的关系。非形式逻辑启发了人工智能的发展,为其提供了理论源泉和哲学辩护;人工智能使得非形式逻辑的理论得到了更好的推广和应用,而且一些重要概念和研究对象在人工语言的形式表达下得到了更准确的刻画。