張家龍

張家龍1961年從北京大學哲學系畢業，留校攻讀哲學係數理邏輯專業研究生。1965年8月畢業至今，在中國科學院哲學研究所（現中國社會科學院哲學研究所）工作，任中國社會科學院哲學研究所研究員、邏輯學研究室主任、社會科學研究生院教授、博士生導師，中國邏輯學會副會長兼秘書長，全國哲學規劃小組成員。

張家龍從事西方邏輯史、現代邏輯和邏輯哲學的研究，不少研究成果在國內有關領域居領先地位。其中關於直言三段論和模態三段論自然演繹系統的研究、關於從萊布尼茨到哥德爾的數理邏輯發展史的全面系統的研究等成果達到國際邏輯研究的先進水平。先後出版《公理學、元數學與哲學》、《數理邏輯發展史——從萊布尼茨到哥德爾》等個人專著。與他人合著《形式邏輯原理》、《西方邏輯史研究》、《邏輯百科辭典》。主要譯著有《簡明邏輯史》（任第一譯者）、《邏輯學的發展》（任第一譯者）。

張家龍1987年8月出席了第八屆國際邏輯學、方法論和科學哲學大會。1988年10月至1989年5月受國家教委派遣，作為高級訪問學者在加拿大阿爾伯特大學哲學系進行訪問研究。1993年8月出席第19屆世界哲學大會。1993年獲中國社會科學院第一屆優秀科研成果獎。1996年獲中國社會科學院第二屆優秀科研成果獎。