中国逻辑学家、书法家。字竹园，号北山。浙江绍兴人。早年曾在南京支那内学院学习因明唯识学，后毕业于厦门大学，曾任该校副教授、教授。建国后，任中国佛学院教授，中国社会科学院哲学研究所研究员，并为中国佛教协会理事、中国逻辑史研究会顾问等。一生从事中国名学、印度因明学研究。用逻辑概念译释因明术语，进行了因明与逻辑的比较研究。主要著作有《因明学》、《印度逻辑》、《中国名学》、《书法心理》等。