王浩（1921年5月20日—1995年5月13日）<a href="./?mention=数理逻辑">数理逻辑</a>学家。祖籍山东省德州市<a href="./?mention=齐河县">齐河县</a>，生于山东省<a href="./?mention=济南市">济南市</a>。1939年毕业于现<a href="./?mention=山东省济南第一中学">山东省济南第一中学</a>，进入西南联大数学系学习，师从<a href="./?mention=金岳霖">金岳霖</a>先生。1943年获学士学位后又入<a href="./?mention=清华大学研究生院">清华大学研究生院</a>哲学部学习，1945年以《论经验知识的基础》的论文获硕士学位。王浩在中学时代就对哲学有兴趣，念初中时他在父亲的建议下阅读过<a href="./?mention=恩格斯">恩格斯</a>的著作《<a href="./?mention=反杜林论">反杜林论</a>》和《路德维希·费尔巴哈与德国古典哲学的终结》。1946年，王浩前往美国<a href="./?mention=哈佛">哈佛</a>大学，在那里见到了当代美国著名哲学家、逻辑学家<a href="./?mention=奎因">奎因</a>（W.V.Quine），并随即开始学习他创立的<a href="./?mention=形式公理系统">形式公理系统</a>。两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯（Paul Bernays）一起工作。1954-1956年，在<a href="./?mention=牛津大学">牛津大学</a>任第二届约翰-洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学基础讨论班。1961-1967年，任<a href="./?mention=哈佛大学">哈佛大学</a>教授。1967-1991年，任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士，后又被选为不列颠科学院外国院士。1983年，被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”，以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。