Melvin apropiado (nacido el 24 de enero de 1942) es un lógico con intereses especiales en lógica filosófica y sistemas de prueba de cuadros . [1] Fue profesor en Lehman College y en el Graduate Center de la City University of New York de 1968 a 2013. [2] En el Graduate Center estuvo en los departamentos de Informática, Filosofía y Matemáticas, y en Lehman En la universidad estaba en el departamento de Matemáticas e Informática. Actualmente es profesor emérito .
Fiting 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, la Conferencia sobre Deducción Automatizada otorgó a Melvin Fitting el Premio Herbrand por sus destacadas contribuciones a la deducción automatizada . [3]
Una vaga motivación para gran parte del trabajo de Melvin Fitting puede formularse 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 la preocupación por lo que se puede decir (sintaxis), lo que eso significa (semántica) y las relaciones entre ambos. Se ha demostrado que una posición filosófica que puede encarnarse en una lógica formal es coherente, no correcta. La lógica es una herramienta, no un maestro, pero es una herramienta agradable de utilizar. [ cita necesaria ]