王浩曾发表100多篇论文．主要著作有：《数理逻辑概论》(ASurveyofMathematicalLogic，l962)，其中收集了他在l947年至1959年期间写的关于数学基础、形式公理系统、计算机理论和数学定理机械化证明的一些研究论文和其它文章．《从数学到哲学》(FromMathematicstoPhlcosophy，1974)，作者试图用实事求是论(Substantialfactualism)的观点阐述对一系列哲学问题，特别是数学哲学问题的看法，并对当今在西方世界影响甚大的分析哲学进行批判，书中还包括大逻辑学家哥德尔一些未发表的哲学观点，极有研究价值．《数理逻辑通俗讲话》，有中英文两种版本，这是根据作者在1977年在中国科学院作的6次关于数理逻辑的广泛而通俗的讲演整理而成的．《超越分析哲学--公平对待我们具有的知识》(BeyondAnalyticPhilosophy--DoingJusticetoWhatweKnow，l986)，作者对分析哲学的代表人物罗素、维特根斯坦、卡纳普和奎因等人的思想观点作了详细介绍，并给予镇密的分析和有力的批判，主要论据是他们的哲学无法为人类现有的知识，特别是数学知识，提供基础．由于作者非常熟悉这四人的工作，甚至与其中一些人有直接交往，所以他的批判十分深刻．牛津大学的彼特・斯特苏森爵士(SirP．Strawson)评论到：哲学家们对于王浩此书的主要的、深厚的兴趣在于，它记录了一位极富才智、卓越和敏锐的哲学家对所谓'分析'或'英一美'哲学在本世纪经历的发展过程的看法．王的书是对现代哲学史和元哲学的丰富、迷人的贡献．
王浩是美国艺术与科学学院院士，英国科学院外藉院士和符号逻辑学协会会员．1983年在美国丹佛召开的，由人工智能国际联合会会议(LnternationalJointConfernceonArtificialinteIIigence)和美国数学会共同主办的，自动定理证明(AutomatedTheoremProving)特别年会上，王浩被授予首届里程碑奖(MilestonePrize)，以表彰他在数学定理机械证明研究领域中所作的开创性贡献．提名时列举的主要贡献有：强调发展应用逻辑新分支--推理分析(inferentialanalysis)，其对于数理逻辑的依赖关系类似于数值分析(numericalanalysis)对于数学分析的依赖关系；坚持谓词演算和埃尔布朗(Herbrand)与根岑(Gentzen)形式化的基本作用；设计了证明程序，有效地证明了罗素与怀特海(Whitehead)的《数学原理》中带集式的谓词演算部分的350多条定理；第一个强调在埃尔布朗序列(Herbrandexpansion)中预先消去无用项的算法的重要性；提出一些深思熟虑的谓词演算定理，可用作挑战性问题来帮助判断新的定理证明程序的效能．
怎样通俗理解逻辑学中的语义规则
逻辑语义学，是一门新兴的学科，为分析哲学的一大支派。逻辑观的进步是逻辑语义学发展的内在动力。古典逻辑观向现代数理逻辑观的转化促成了塔斯基逻辑语义学的产生，但对形式系统的过分注
重使它局限于外延层面。随着逻辑观的进一步发展，对由自然语言所承栽的日常推理的刻画成为逻辑研究的重心，这种趋势使语义学研究由外延意义向内涵意义的过渡成为可能，卡尔纳普的外延一内涵方法和蒙太古语法的建立是这种可能的现实实现。它的兴起，由于推动了计算机识别自然语言的研究，为现代语言学研究提供了基础；有助于对西方哲学、特别是科学哲学的分析研究、借鉴、批判，因此受到了广泛的关注，获得了迅速的发展。短短几十年就形成了。