王浩,(1921-1995),美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学,师从蒯因(W.V.0.Qulne),两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯(Paul Bernays)一起工作。1954-1956年,在牛津大学任第二届约翰·洛克讲座主讲,又任逻辑及数理哲学高级教职,主持数学基础讨论班。1961-1967年,任哈佛大学教授。1967-1991年,任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士,后又被选为不列颠科学院外国院士。1983年,被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”,以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。
徐英瑾,复旦大学哲学学院副教授,专攻维特根斯坦哲学、心灵哲学、认知科学哲学。
展开