Melvin Fitting, logicien américain
Melvin Fitting (né le 24 janvier 1942) est un logicien qui s'intéresse particulièrement à la logique philosophique et aux systèmes de preuve par tableau. Il a été professeur à la City University of New York, au Lehman College et au Graduate Center. était dans le département de mathématiques et d'informatique. Il est maintenant professeur émérite.
Fitting est né à Troy, New York. Son diplôme de premier cycle est de l'Institut polytechnique Rensselaer et son doctorat est de l'Université Yeshiva, tous deux en mathématiques. Son directeur de thèse était Raymond Smullyan.
En juin 2012, Melvin Fitting a reçu le prix Herbrand du CADE, pour ses contributions distinguées à la déduction automatisée. Une motivation lâche pour une grande partie du travail de Melvin Fitting peut être formulée succinctement comme suit. Il y a plusieurs logiques. Nos principes de raisonnement varient selon le contexte et le sujet. La multiplicité est l'une des gloires de la logique formelle moderne. Le fil conducteur qui relie les logiques est le souci de ce qui peut être dit (syntaxe), de ce que cela signifie (sémantique) et des relations entre les deux. Une position philosophique qui peut s'incarner dans une logique formelle s'est avérée cohérente et non correcte. Logic est un outil, pas un maître, mais c'est un outil agréable à utiliser.