Areas of Philosophy

Philosophie der Logik

Einführung

Die Logik befasst sich mit dem Schlussfolgern. Insbesondere befasst sie sich mit der Unterscheidung zwischen gutem und schlechtem Schlussfolgern. Eines ihrer Ziele ist es, völlig allgemeine Kriterien für diese Unterscheidung zu formulieren. Dies ist größtenteils eine Frage der Präzisierung der Bedingungen, unter denen ein Argument gültig ist. Es ist auch eine Frage zu sagen, was Gültigkeit ist. Letzteres ist das Vorrecht der Philosophie der Logik. Die Philosophie der Logik ist der philosophische Kern der Logik, in dem die Essenz des Rests der Disziplin auf den Prüfstand kommt. Da ein Großteil unseres Schlussfolgerns, wenn nicht sogar alles, untrennbar verbal ist, befasst sich ein großer Teil der Philosophie der Logik mit Fragen zur Sprache. Dieses Kapitel zeichnet einen Weg durch solche Fragen und andere nach, wobei es von einer Charakterisierung der Logik ausgeht, die von P. F. Strawson angeboten wird. Aufgrund der Natur von Strawsons Charakterisierung dienen zwei Ideen zur Strukturierung der gesamten Diskussion: die Idee einer Proposition, d. h. die Idee dessen, was wahr oder falsch ist; und die Idee der Möglichkeit.

P. F. Strawson charakterisierte die Logik einst als „die allgemeine Theorie der Proposition“ (Strawson 1967: 1). Auf dieser Abstraktionsebene können wir es nicht besser machen. Aber was ist eine Proposition? Und was ist eine solche Theorie? Eine erste Antwort könnte lauten: Eine Proposition ist die Art von Ding, das wahr oder falsch ist. Die Logik befasst sich primär mit bestimmten Relationen, die zwischen Propositionen bestehen, nämlich jenen, die davon abhängen, welche Kombinationen von Wahrheit und Falschheit möglich sind. Diese Relationen werden logische Relationen genannt. Zwei, die von zentraler Bedeutung sind, sind Konsistenz und Konsequenz. Eine Proposition ist mit anderen konsistent, wenn es möglich ist, dass sie alle kollektiv wahr sind. (Die Wahrheit der anderen lässt die Wahrheit dieser zu.) Eine Proposition ist eine Konsequenz von anderen, wenn es nicht möglich ist, dass alle anderen wahr sind und diese dennoch falsch ist. (Die Wahrheit der anderen erfordert die Wahrheit dieser: Wenn sie alle wahr sind, dann muss auch diese wahr sein.) Konsequenz ist die Relation, die zwischen den Prämissen und der Konklusion eines gültigen Arguments besteht.

Jeder Teil dieser Antwort bedarf der Klärung. Insbesondere richtet sich die Aufmerksamkeit auf die drei Schlüsselbegriffe „wahr“, „falsch“ und „möglich“. Das Interessante ist, dass, weil die Logik auch eine philosophische Komponente hat, der Prozess der Bereitstellung einer solchen Klärung selbst Teil der Logik ist. Genauer gesagt, ist er Teil der philosophischen Logik. Die Logik unterteilt sich in zwei Bereiche: die formale Logik und die philosophische Logik. Die formale Logik befasst sich mit der Kodifizierung dieser logischen Relationen. Die philosophische Logik oder die Philosophie der Logik – im Gegensatz zu anderen Autoren beabsichtige ich keine Unterscheidung zwischen diesen Begriffen – befasst sich allgemeiner damit, was diese Relationen zu den Relationen macht, die sie sind. Die philosophische Logik verhält sich also zur formalen Logik ungefähr so wie die PHILOSOPHIE DER WISSENSCHAFT zur Wissenschaft. Man beschäftigt sich mit Ersterer, wenn man sich nach dem Charakter, dem Umfang und den Voraussetzungen der Letzteren erkundigt.

Nun denn; machen wir uns daran, die grobe, oben dargelegte Darstellung der Logik zu klären, beginnend mit der Idee einer Proposition.