Ich untersuche in meiner Dissertation den Begriff der deduktiv logischen Folgerung. Hierzu muss auch der Begriff der logischen Konstante diskutiert werden und eine Antwort auf die Frage gegeben werden, in welchem Sinne Logik formal ist. Es wird sich zeigen, dass alle bisherigen Ansätze zur Charakterisierung der logischen Folgerung Probleme mit Folgerungen haben, die bloß notwendig wahrheitserhaltend sind, in der klassischen Logik jedoch nicht logisch gültig. Meine Arbeitshypothese ist, dass dies zeigt, dass wir andere Adäquatheitsbedingungen an die Analyse des Begriffs der logischen Folgerung anlegen sollten: Wir sollten alle notwendig wahrheitserhaltenden Folgerungen auch als logisch anerkennen. Dies wird sich aus der Diskussion ergeben, in welchem Sinne Logik formal ist. Somit ist ein Begriff der logischen Folgerung, der alle notwendig wahrheitserhaltenden Folgerungen als logisch gültig anerkennt, durchaus philosophisch adäquat. Abschließend muss ein formales logisches System formuliert werden, das einer solchen Auffassung der logischen Folgerung gerecht wird.
