Мелвин Фитинг, американский логик
Мелвин Фитинг (родился 24 января 1942 г.) - логик, проявляющий особый интерес к философской логике и системам табличных доказательств. С 1968 по 2013 год он был профессором Городского университета Нью-Йорка, Леман-колледжа и Аспирантуры: «723–724». В Аспирантуре он работал на факультетах информатики, философии и математики, а в Леман-колледже он находился на кафедре математики и информатики. Теперь он почетный профессор.
Фитинг родился в Трое, штат Нью-Йорк. Он получил степень бакалавра в Политехническом институте Ренсселера, а докторскую степень — в Университете Йешива по математике. Его научным руководителем был Рэймонд Смаллиан.
В июне 2012 года Мелвин Фиттинг получил премию Хербранда от CADE за выдающийся вклад в автоматическую дедукцию. Свободную мотивацию большей части работы Мелвина Фитинга можно кратко сформулировать следующим образом. Есть много логики. Наши принципы рассуждений различаются в зависимости от контекста и предмета. Множественность — одно из достоинств современной формальной логики. Общая нить, связывающая логику воедино, касается того, что можно сказать (синтаксис), что это означает (семантика) и отношений между ними. Философская позиция, которая может быть воплощена в формальной логике, оказалась последовательной, а не правильной. Логика — это инструмент, а не мастер, но пользоваться им приятно.