M. Fitting

Melvin Fitting ist ein Logiker mit besonderem Interesse an philosophischer Logik und Tableau-Beweissystemen. Seine Arbeit wird durch die Erkenntnis motiviert, dass Logik vielfältig ist und sich an Kontext und Thema anpasst. Er vertritt die Ansicht, dass Logik ein Werkzeug zur Untersuchung von Kohärenz ist, nicht zur Feststellung absoluter Wahrheit. Fitting bemüht sich, philosophische Positionen in formale Systeme zu integrieren, um deren innere Konsistenz zu demonstrieren. Er betrachtet Logik als ein dynamisches und erfreuliches Denkwerkzeug.