薩·德·米蘭達，F.de

[拼音]：Wang Xianjun

中國現代邏輯學家。出生於江蘇省南京市。1933年清華大學哲學系畢業。1933～1935年為清華大學研究生。1936～1938年在奧地利維也納大學、德國敏士特大學從事研究工作。1938年回國後歷任西南聯大哲學系講師、教授，清華大學哲學系教授、代理系主任，北京大學哲學系教授、邏輯教研室主任，北京大學學術委員會委員。1979年後歷任中國邏輯學會理事、副理事長、名譽理事長，北京市哲學學會常務理事。

王憲鈞40多年來從事數理邏輯的教學和研究工作，培養了一批中國數理邏輯研究工作者。對中國數理邏輯的發展起了一定的推動作用。他的主要論著有《論蘊涵》(論文，1940)、《批判邏輯實證主義的意義理論》（論文，1950）、《判斷及其種類》（論文，1961）、《數理邏輯引論》(1982)。