1960-1970，中國人民大學哲學系任教。從1971到1979，調入清華大學哲學教研室。1980調入中國人民大學哲學學院。教授在1993。1995作為博士生導師。1998中國人民大學被評為邏輯學科學術帶頭人。曾任邏輯教研室主任，學位與學術委員會委員。臺灣省東吳大學客座教授。中國墨子學會副會長，原中國邏輯學會副會長。主要研究邏輯學、中國哲學、百家爭鳴、國學、中國傳統文化。
著有《中國大典》、《哲學經典》、《百家分支》、《邏輯哲學講義》、《中國邏輯史》、《中國邏輯》、《中國邏輯研究》、《百家的邏輯智慧》、《中國古代哲學家的思維藝術》、《詭辯與邏輯名著欣賞》、《墨家通論》、《墨家的智慧》。《現代邏輯的翻譯問題》、《邏輯:知識的基礎》、《東方的理性思想》、《明代的謬誤論》。200多篇論文。