Melvin Fitting, lógico estadounidense
Melvin Fitting (nacido el 24 de enero de 1942) es un lógico con intereses especiales en la lógica filosófica y los sistemas de prueba de tablas. Fue profesor en la Universidad de la Ciudad de Nueva York, Lehman College y Graduate Center.: 723–724 de 1968 a 2013. En el Graduate Center estuvo en los departamentos de Informática, Filosofía y Matemáticas, y en Lehman College estaba en el departamento de Matemáticas e Informática. Ahora es profesor emérito.
Fitting nació en Troy, Nueva York. Su título universitario es del Instituto Politécnico Rensselaer y su doctorado es de la Universidad Yeshiva, ambos en matemáticas. Su director de tesis fue Raymond Smullyan.
En junio de 2012, Melvin Fitting recibió el premio Herbrand de CADE, por contribuciones distinguidas a la deducción automática. Una motivación vaga para gran parte del trabajo de Melvin Fitting se puede formular sucintamente de la siguiente manera. Hay muchas lógicas. Nuestros principios de razonamiento varían según el contexto y el tema. La multiplicidad es una de las glorias de la lógica formal moderna. El hilo común que une las lógicas es una preocupación por lo que se puede decir (sintaxis), lo que eso significa (semántica) y las relaciones entre los dos. Se ha demostrado que una posición filosófica que puede incorporarse a una lógica formal es coherente, no correcta. La lógica es una herramienta, no un maestro, pero es una herramienta agradable de usar.