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 . [1] Fue profesor en el Lehman College y el Centro de Graduados de la City University de Nueva York de 1968 a 2013. [2] En el Centro de Graduados estuvo en los departamentos de Ciencias de la Computación, Filosofía y Matemáticas, y en el Lehman College estuvo en el departamento de Matemáticas y Ciencias de la Computación. Actualmente es profesor emérito .
Fitting nació en Troy, Nueva York . Se licenció en matemáticas en el Instituto Politécnico Rensselaer y se doctoró en la Universidad Yeshiva . Su director de tesis fue Raymond Smullyan .
En junio de 2012, Melvin Fitting recibió el Premio Herbrand de la Conferencia sobre Deducción Automatizada por sus destacadas contribuciones a la deducción automática . [3]
Una motivación vaga para gran parte de la obra 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 conductor 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 se puede plasmar en una lógica formal es coherente, no correcta. La lógica es una herramienta, no un maestro, pero es una herramienta agradable de usar. [ cita requerida ]