一、论证图式的用语及其研究传统