formal und informal

Quelle: Philosophie der Logik

Die Logik und die Philosophie der Logik haben sich traditionell vor allem auf formale Argumente konzentriert, d. h. auf Argumente, die in einer formalen Sprache ausgedrückt werden. Sie umfassen aber auch das Studium informaler Argumente, die in der natürlichen Sprache vorkommen. Die formale Logik wird normalerweise als die paradigmatische Form der Logik angesehen, aber verschiedene moderne Entwicklungen haben die Bedeutung der informalen Logik für viele praktische Zwecke hervorgehoben, bei denen die formale Logik nicht in der Lage ist, alle Probleme allein zu lösen. Sowohl die formale als auch die informale Logik zielen darauf ab, die Korrektheit von Argumenten zu bewerten. Die formale Logik schränkt sich jedoch hinsichtlich der Faktoren ein, die herangezogen werden, um genaue Kriterien für diese Bewertung zu liefern. Die informale Logik versucht, verschiedene zusätzliche Faktoren zu berücksichtigen und ist daher für viele Argumente außerhalb des Bereichs der formalen Logik relevant, allerdings auf Kosten von Genauigkeit und allgemeiner Regeln. Argumente, die diese Bewertung nicht bestehen, werden als Fehlschlüsse bezeichnet. Formale Fehlschlüsse sind Fehlschlüsse im Bereich der formalen Logik, während informale Fehlschlüsse zur informalen Logik gehören.

Die formale Logik befasst sich mit der Gültigkeit von Schlussfolgerungen oder Argumenten allein aufgrund ihrer Form, d. h. unabhängig von ihrem spezifischen Inhalt und dem Kontext, in dem sie verwendet werden. Dies geschieht in der Regel durch Abstraktion, indem einzelne Argumente als Instanzen einer bestimmten Argumentform angesehen werden. Argumentformen werden dadurch definiert, wie ihre logischen Konstanten und Variablen zueinander in Beziehung stehen. Auf diese Weise können verschiedene Argumente mit sehr unterschiedlichen Inhalten dieselbe logische Form haben. Ob ein Argument gültig ist, hängt nur von seiner Form ab. Ein wichtiges Merkmal der formalen Logik ist, dass bei einem gültigen Argument die Wahrheit der Prämissen die Wahrheit der Konklusion garantiert, d. h. es ist unmöglich, dass die Prämissen wahr und die Konklusion falsch sind.

Ein schwerwiegendes Problem bei der Verwendung der formalen Logik zur Formulierung von Theorien aus verschiedenen Bereichen besteht darin, dass diese Theorien in eine formale Sprache übersetzt werden müssen, üblicherweise in die Sprache der Logik erster Stufe. Dies ist notwendig, da die formale Logik nur für eine bestimmte formale Sprache definiert ist: Sie ist daher nicht direkt auf viele anders ausgedrückte Argumente anwendbar. Derartige Übersetzungen können eine Herausforderung darstellen, da formale Sprachen oft recht restriktiv sind. Zum Beispiel fehlen ihnen häufig viele der informalen Mittel, die in der natürlichen Sprache zu finden sind. Ein wiederkehrendes Problem betrifft das Wort „ist“ in der deutschen Sprache, das je nach Kontext eine Vielzahl von Bedeutungen hat, wie Identität, Existenz, Prädikation, Klassenzugehörigkeit oder Ort.

Die informale Logik hingegen hat eine konkretere Ausrichtung, indem sie versucht zu beurteilen, ob ein bestimmtes Argument gut oder schlecht ist. Dies bringt die Notwendigkeit mit sich, nicht nur die allgemeine Form des fraglichen Arguments zu untersuchen, sondern auch die Inhalte, die als Prämissen in diesem Argument vorkommen, und den Kontext, in dem dieses Argument verwendet wird. Das bedeutet, dass dasselbe Argument sowohl gut sein kann, wenn es in einem Kontext verwendet wird, als auch schlecht, wenn es in einem anderen Kontext verwendet wird. Beispielsweise versucht ein Strohmann-Argument, die Position des Gegners zu überwinden, indem man ihm eine schwache Position zuschreibt und dann beweist, dass diese Position falsch ist. In einem Kontext, in dem der Gegner diese Position nicht vertritt, ist das Argument schlecht, während es ein gutes Argument gegen einen Gegner sein kann, der tatsächlich die Strohmannposition verteidigt. Die in der informalen Logik untersuchten Argumente werden normalerweise in natürlicher Sprache ausgedrückt.

Die informale Logik sieht sich nicht mit der Notwendigkeit konfrontiert, natürlichsprachliche Argumente in eine formale Sprache zu übersetzen, um sie bewerten zu können. Auf diese Weise vermeidet sie verschiedene Probleme, die mit dieser Übersetzung verbunden sind. Viele Probleme, die die Verwendung der natürlichen Sprache mit sich bringt, werden aber so nicht gelöst, wie Mehrdeutigkeiten, vage Ausdrücke oder die implizite Annahme von Prämissen, anstatt sie explizit anzugeben. Viele der in der informalen Logik diskutierten Fehlschlüsse ergeben sich direkt aus diesen Merkmalen. Dies betrifft beispielsweise die Fehlschlüsse der Ambiguität und der Annahme.