中國邏輯學傢。祖籍山東福山。生於江蘇南京,卒於北京。1933年於清華大學哲學系畢業。1933~1935年為清華大學研究生。1936~1938年在奧地利維也納大學、德國敏士特大學從事研究工作。1938年回國後歷任西南聯合大學、清華大學、北京大學教授。他畢生從事邏輯教學和研究,培養瞭一批邏輯工作者。在數理邏輯史的研究中發表瞭許多獨到的見解:①將數理邏輯史劃分為初始階段、奠基階段、過渡階段和發展階段。②對G.康托爾的實無窮理論作出瞭科學的評價。③對實質公理學和形形式公理學的本質作瞭科學說明。④全面評述瞭G.弗雷格和B.A.W.羅素的邏輯成就。⑤認為關於數學基礎的“直覺主義”和“形式主義”兩名詞很不妥當,區分瞭構造主義、直覺主義和構造傾向,認為D.希爾伯特不是形式主義。⑥科學地評價瞭K.哥德爾的客觀主義。王憲鈞的主要著作有《數理邏輯引論》(1982)。