从计算机科学与数学研究的角度看中介系统的发展

中介系统是在中介原则观点下建立起来的，并以中介逻辑演算系统为逻辑工具的一种新的数学理论系统，中介系统在数学基础理论意义下拓宽了精确性经典数学的逻辑基础与复合论基础，并在数学基础理论意下完成了数学研究对象由精确性到模糊性的再扩充。中介系统也解决了如何修改概括原则的历史遗留问题，即在中介系统中即能排除历史已出现之种种悖论，又能保留概括原则的全部内容。