Melvin Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems.[a] He was a professor at Lehman College and the Graduate Center of the City University of New York.[1]: 723–724 from 1968 to 2013. At the Graduate Center he was in the departments of Computer Science, Philosophy, and Mathematics, and at Lehman College he was in the department of Mathematics and Computer Science. He is now Professor emeritus.
A loose motivation for much of Melvin Fitting's work can be formulated succinctly as follows. There are many logics. Our principles of reasoning vary with context and subject matter. Multiplicity is one of the glories of modern formal logic. 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. Logic is a tool, not a master, but it is an enjoyable tool to use.[citation needed]
NotesEdit
^ "Google Scholar Citations report for Melvin Fitting".
^Leading Mathematics and Computer Sciences Researcher Wins Prestigious Award
melvin, fitting, born, january, 1942, logician, with, special, interests, philosophical, logic, tableau, proof, systems, professor, lehman, college, graduate, center, city, university, york, from, 1968, 2013, graduate, center, departments, computer, science, p. Melvin Fitting born January 24 1942 is a logician with special interests in philosophical logic and tableau proof systems a He was a professor at Lehman College and the Graduate Center of the City University of New York 1 723 724 from 1968 to 2013 At the Graduate Center he was in the departments of Computer Science Philosophy and Mathematics and at Lehman College he was in the department of Mathematics and Computer Science He is now Professor emeritus Melvin FittingBorn 1942 01 24 24 January 1942 age 81 Alma materRensselaer Polytechnic InstituteYeshiva UniversityAwardsHerbrand Award by CADE June 2012Scientific careerFieldsMathematics philosophy computer scienceInstitutionsLehman CollegeCUNY Graduate CenterDoctoral advisorRaymond SmullyanFitting was born in Troy New York His undergraduate degree is from Rensselaer Polytechnic Institute and his doctorate is from Yeshiva University both in mathematics His thesis advisor was Raymond Smullyan In June 2012 Melvin Fitting was given the Herbrand Award by the Conference on Automated Deduction for distinguished contributions to automated deduction b A loose motivation for much of Melvin Fitting s work can be formulated succinctly as follows There are many logics Our principles of reasoning vary with context and subject matter Multiplicity is one of the glories of modern formal logic 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 Logic is a tool not a master but it is an enjoyable tool to use citation needed Notes Edit Google Scholar Citations report for Melvin Fitting Leading Mathematics and Computer Sciences Researcher Wins Prestigious AwardReferences Edit Jean Louis Lassez Gordon Plotkin eds 1991 Computational Logic Essays in Honor of Alan Robinson Cambridge Massachusets MIT Press ISBN 978 0 262 12156 9 External links EditMelvin Fitting official homepage The CUNY Graduate Center faculty page Mathematical Genealogy Project Retrieved from https en wikipedia org w index php title Melvin Fitting amp oldid 1175351836, wikipedia, wiki, book, books, library,
