Melvin Fitting，美国逻辑学家

Melvin Fitting（生于 1942 年 1 月 24 日）是一位逻辑学家，对哲学逻辑和画面证明系统有特殊兴趣。 1968 年至 2013 年，他在纽约城市大学、雷曼学院和研究生中心担任教授。： 723–724  从 1968 年到 2013 年。在研究生中心，他在计算机科学、哲学和数学系工作，在雷曼学院，他在数学和计算机科学系。他现在是名誉教授。

Fitting 出生于纽约的特洛伊。他的本科学位来自伦斯勒理工学院，他的博士学位来自叶史瓦大学，都是数学专业。他的论文导师是 Raymond Smullyan。

2012 年 6 月，Melvin Fitting 被 CADE 授予 Herbrand 奖，以表彰其对自动演绎的杰出贡献。Melvin Fitting 的大部分工作的松散动机可以简明扼要地表述如下。有很多逻辑。我们的推理原则因上下文和主题而异。多重性是现代形式逻辑的荣耀之一。将逻辑联系在一起的公共线程关注的是可以说什么（语法），这意味着什么（语义）以及两者之间的关系。可以体现在形式逻辑中的哲学立场已被证明是连贯的，而不是正确的。逻辑是一种工具，而不是大师，但它是一种使用起来令人愉快的工具。