张清宇，男，1944年4月1日生于上海，祖籍江苏南通。
　　1966年毕业于上海师范学院数学系。
　　1968年至1978年，于云南省电力工业局汽车运输队任修理工、采购员。
　　1978年考取中国社会科学院研究生院哲学系逻辑专业，师从我国现代逻辑学沈有鼎教授。
　　1981年研究生毕业获硕士学位，留于中国社会科学院哲学研究逻辑室工作。
　　1992年到美国休斯顿大学，作为期半年的高级访问学者；回国途中，应日本科学哲学会和早稻田大学之邀，作了自己关于弗协调逻辑和名辞逻辑最新研究成果的学术报告。
　　曾任中国逻辑学会理事，符号逻辑专业委员会主任，中国社会科学院哲学所学术委员会委员，逻辑室副主任。现为中国社会科学院哲学所研究员，中国社会科学院研究生院哲学系教授、博士生导师。
　　 1981年以来，主持或参与了多项国家社会科学基金项目和中国社会科学院研究课题；目前主持国家社会科学基金项目"逻辑哲学导论"和中国社会科学院重大课题"现代逻辑及其在哲学、语言学和人工智能等领域中的应用"。1986年，被评为国家级有突出贡献中青年专家。2000年，专著《哲学逻辑研究》（与郭世铭、李小五合作）获中国社会科学院第三届优秀科研成果一等奖；该书论述了哲学逻辑领域的重要分支，也阐述了作者近年取得的新成果。另有，参与撰写的专著《逻辑：正确思维和有效交际的理论》和《中国逻辑史》获国家社会科学基金优秀成果三等奖，《逻辑百科辞典》获中国社会科学院第二届优秀科研成果奖。第二届优秀科研成果奖。

业务范围与研究方向：为现代逻辑


主要科研成果：

已发表论著的主要篇目有：

1、《数理逻辑》（与胡耀鼎合作），中国标准出版社，1985年；
2、《现代逻辑科学导引》（王雨田主编，参与撰写），中国人民大学出版社，1987年；
3、《中国逻辑史》（五卷本）（李匡武主编，参与撰写），甘肃人民大学出版社，1989年；
4、《逻辑：正确思维和有效交际的理论》（周礼全主编），人民出版社，1994年；
5、《逻辑百科辞典》（周礼全主编），四川教育出版社，1994；
6、《哲学逻辑研究》（与郭世铭、李小五合作），社会科学文献出版社，1997年；
7、"A week paraconsistent conditional logic"，The Journal of Nonclassical Logic，vol.8，1991；
8、"Paraconsistent modal logics CnG'，new"，Boletim da Sociedade paranaense de Matem'atica，vol.12/13，1991-1992；
9、"The week paraconsistent conditional logic CnW"(合作)，Boleim Sociedade Paranaense de Matem'atica，vol.14，1993-1994；
10、"极小的弗协调G'、H'时态逻辑"，载张锦文主编《数理和应用逻辑文集》，北京大学出版社，1992年；
11、"所有非Z-类的类的悖论"，载《哲学研究》1993年第10期；
12、"弱条件句逻辑W的自然推理系统"，载《哲学动态（逻辑学研究专辑）》1994年增刊；
13、"名辞逻辑"，载《中国哲学史》1994年第1期；
14、"易图的内涵格解释"，载《哲学研究》1994年第3期；
15、"弗协调逻辑系统Zn和ZnUS"，载逻辑室编《理有固然》，社会科学文献出版社，1995年；
16、"不用联结词和量词的一阶逻辑系统"，载《哲学研究》1996年第5期；
17、"经典命题逻辑的一个公理系统"，载《哲学研究》1997年第8期；
18、"六十卦方图和周易卦序分析"，载《哲学研究》1998年第7期；
19、"系统Z中的范式和插入定理"，载《哲学研究》1999年第12期；
20、"错综不变组和散卦卦序结构"，载《哲学研究》2000年第12期。