Melvin Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems.
[1] He was a professor at Lehman College and the Graduate Center of the City University of New York from 1968 to 2013.
His undergraduate degree is from Rensselaer Polytechnic Institute, and his doctorate is from Yeshiva University, both in mathematics.
The common thread tying logics together is a concern for what can be said (syntax), what that means (semantics), and relationships between the two.
A philosophical position that can be embodied in a formal logic has been shown to be coherent, not correct.