Melvin Fitting, lógico americano
Melvin Fitting (nascido em 24 de janeiro de 1942) é um lógico com interesses especiais em lógica filosófica e sistemas de prova de tabela. Foi professor na City University of New York, Lehman College e Graduate Center.: 723–724 de 1968 a 2013. No Graduate Center, ele estava nos departamentos de Ciência da Computação, Filosofia e Matemática, e no Lehman College ele estava no departamento de Matemática e Ciência da Computação. Atualmente é professor emérito.
Fitting nasceu em Troy, Nova York. Possui graduação pelo Rensselaer Polytechnic Institute e doutorado pela Yeshiva University, ambos em matemática. Seu orientador de tese foi Raymond Smullyan.
Em junho de 2012, Melvin Fitting recebeu o Prêmio Herbrand do CADE, por contribuições diferenciadas à dedução automatizada. Uma motivação solta para grande parte do trabalho de Melvin Fitting pode ser formulada sucintamente da seguinte forma. Existem muitas lógicas. Nossos princípios de raciocínio variam de acordo com o contexto e o assunto. A multiplicidade é uma das glórias da lógica formal moderna. O fio comum que une as lógicas é uma preocupação com o que pode ser dito (sintaxe), o que isso significa (semântica) e as relações entre os dois. Uma posição filosófica que pode ser incorporada em uma lógica formal tem se mostrado coerente, não correta. A lógica é uma ferramenta, não um mestre, mas é uma ferramenta agradável de usar.