Philosophie der Logik und philosophische Logik

Der Begriff „Logik“ geht auf das griechische Wort λόγος logos zurück, das mit verschiedenen Bedeutungen in Verbindung gebracht wird, wie „Vernunft“, „Diskurs“ oder „Sprache“. Es gibt viele Meinungsverschiedenheiten darüber, was Logik ist und wie sie definiert werden sollte. Im Allgemeinen werden der Logik verschiedene Eigenschaften zugeschrieben, wie zum Beispiel, dass sie die Beziehung zwischen Prämissen und Konklusionen untersucht und dass dies auf eine themenneutrale Weise geschieht. Eine wichtige Aufgabe der Philosophie der Logik ist es, die Kriterien zu untersuchen, nach denen ein formales System als Logik gelten soll. Verschiedene Auffassungen von Logik verstehen sie entweder auf der Grundlage gültiger Schlussfolgerungen oder logischer Wahrheit. Die Kriterien des gültigen Schließens und der logischen Wahrheit können ihrerseits auf unterschiedliche Weise spezifiziert werden: basierend auf syntaktischen oder semantischen Überlegungen.

Die Philosophie der Logik ist der Bereich der Philosophie, der die Natur der Logik untersucht. Wie viele andere Disziplinen beinhaltet auch die Logik verschiedene philosophische Vorannahmen, mit denen sich die Philosophie der Logik befasst. Sie kann in Analogie zu anderen disziplinspezifischen Zweigen der Philosophie verstanden werden: Derart wie die Philosophie der Wissenschaft philosophische Probleme untersucht, die von der Wissenschaft aufgeworfen werden, so untersucht die Philosophie der Logik philosophische Probleme, die von der Logik aufgeworfen werden.

Eine wichtige Frage, mit der sich die Philosophie der Logik befasst, ist, wie die Logik zu definieren ist, beispielsweise im Hinblick auf gültige Schlussfolgerungen oder logische Wahrheit. Dazu gehört auch die Frage, wie logische von nicht-logischen formalen Systemen zu unterscheiden sind. Dies ist besonders wichtig, um die Beziehung zwischen den verschiedenen vorgeschlagenen logischen Systemen, sowohl klassischen als auch nicht-klassischen, zu klären und um zu beurteilen, ob alle diese Systeme tatsächlich als logische Systeme gelten. Die Philosophie der Logik untersucht auch, wie die grundlegenden Begriffe der Logik zu verstehen sind, wie Wahrheit, Prämisse, Konklusion, Schlussfolgerung, Argument und Gültigkeit. Sie versucht, die Beziehung zwischen der Logik und anderen Bereichen wie der Ontologie, der Mathematik und der Psychologie zu klären.

Die Philosophie der Logik ist eng mit der philosophischen Logik verwandt, aber es besteht keine allgemeine Übereinstimmung darüber, wie diese Disziplinen zueinander stehen. Einige Theoretiker verwenden diese beiden Begriffe für ein und dieselbe Disziplin, während andere sie als unterschiedliche Disziplinen betrachten. Nach letzterer Auffassung unterscheidet sich die philosophische Logik von der Philosophie der Logik insofern, als sie gewöhnlich als Anwendung logischer Methoden auf philosophische Probleme betrachtet wird, häufig durch die Entwicklung abweichender oder erweiterter Logiken. In diesem Sinne ist die philosophische Logik ein Forschungsbereich innerhalb der Philosophie der Logik, d.h. ein Teil der allgemeinen Untersuchung philosophischer Probleme, die durch die Logik aufgeworfen werden. Diese Form der Unterscheidung ist jedoch nicht allgemein anerkannt, und einige Autoren haben andere Charakterisierungen vorgeschlagen. Die enge Verbindung zwischen Logik und Philosophie spiegelt sich auch in der Tatsache wider, dass viele berühmte Logiker auch Philosophen waren. Die Philosophie der Logik ist eng mit der Metalogik verwandt, aber nicht identisch mit ihr. Die Metalogik untersucht die Eigenschaften formaler logischer Systeme, etwa ob ein gegebenes logisches System konsistent oder vollständig ist. Sie umfasst in der Regel das Studium der Semantik und Syntax formaler Sprachen und formaler Systeme.

Die Philosophie der Logik ist der Zweig der Philosophie, der sich mit dem Geltungsbereich und der Natur der Logik befasst. Sie untersucht die philosophischen Probleme, die durch die Logik aufgeworfen werden, wie die Vorannahmen, die oft implizit in Theorien der Logik und in ihren Anwendungen beteiligt sind. Dabei geht es um Fragen, wie Logik zu definieren ist und wie sich verschiedene logische Systeme zueinander verhalten. Dazu gehört auch die Untersuchung der Natur der grundlegenden Begriffe, die von der Logik verwendet werden, und der Beziehung der Logik zu anderen Disziplinen. Nach einer gängigen Charakterisierung ist die philosophische Logik der Teil der Philosophie der Logik, der die Anwendung logischer Methoden auf philosophische Probleme untersucht, oft in Form erweiterter logischer Systeme wie der Modallogik. Andere Theoretiker ziehen die Unterscheidung zwischen der Philosophie der Logik und der philosophischen Logik jedoch anders oder gar nicht. Die Metalogik ist als Disziplin eng mit der Philosophie der Logik verwandt, da sie die Eigenschaften formaler logischer Systeme, wie Konsistenz und Vollständigkeit, untersucht.

In der wissenschaftlichen Literatur finden sich verschiedene Charakterisierungen der Natur der Logik. Logik wird oft als das Studium der Denkgesetze, des korrekten Denkens, der gültigen Schlussfolgerung oder der logischen Wahrheit angesehen. Sie ist eine formale Wissenschaft, die untersucht, wie Konklusionen aus Prämissen auf themenneutrale Weise folgen, d.h. unabhängig von dem spezifischen Gegenstand, der besprochen wird. Eine Form der Untersuchung der Natur der Logik konzentriert sich auf die Gemeinsamkeiten zwischen verschiedenen logischen formalen Systemen und darauf, wie sie sich von nicht-logischen formalen Systemen unterscheiden. Wichtige Überlegungen in diesem Zusammenhang sind, ob das betreffende formale System mit grundlegenden logischen Intuitionen vereinbar ist und ob es vollständig ist. Verschiedene Konzeptualisierungen der Logik lassen sich danach unterscheiden, ob sie die Logik als das Studium von gültigen Schlussfolgerungen oder von logischen Wahrheiten definieren. Eine weitere Unterscheidung zwischen den Logikbegriffen beruht darauf, ob die Kriterien des gültigen Schlussfolgerns und der logischen Wahrheit in Bezug auf die Syntax oder die Semantik spezifiziert werden.

Oft werden verschiedene Arten von Logik unterschieden. Logik wird in der Regel als formale Logik verstanden und wird in diesem Artikel größtenteils auch als solche behandelt. Die formale Logik interessiert sich nur für die Form von Argumenten, die in einer formalen Sprache ausgedrückt werden, und konzentriert sich auf deduktive Schlussfolgerungen. Die informale Logik hingegen befasst sich mit einem viel breiteren Spektrum von Argumenten, die auch in der natürlichen Sprache vorkommen, einschließlich nicht-deduktiver Argumente. Die Korrektheit von Argumenten kann von anderen Faktoren als ihrer Form abhängen, etwa von ihrem Inhalt oder ihrem Kontext. Im 20. Jahrhundert wurden verschiedene logische formale Systeme oder Logiken entwickelt, und es ist die Aufgabe der Philosophie der Logik, sie zu klassifizieren, ihre Beziehungen zueinander aufzuzeigen und sich mit dem Problem zu befassen, wie es eine Vielzahl von Logiken im Gegensatz zu einer universell wahren Logik geben kann. Diese Logiken können unterteilt werden in klassische Logik, die in der Regel mit der Logik erster Stufe identifiziert wird, erweiterte Logiken und abweichende Logiken. Erweiterte Logiken übernehmen den grundlegenden Formalismus und die Axiome der klassischen Logik, erweitern sie jedoch mit neuen logischen Vokabeln. Abweichende Logiken hingegen lehnen bestimmte Kernannahmen der klassischen Logik ab und sind daher nicht mit ihr kompatibel.

Die Philosophie der Logik untersucht auch die Natur und die philosophischen Implikationen der Grundbegriffe der Logik. Dies schließt das Problem der Wahrheit ein, insbesondere der logischen Wahrheit, welche als Wahrheit definiert werden kann, die nur von den Bedeutungen der verwendeten logischen Begriffe abhängt. Eine weitere Frage betrifft die Natur von Prämissen und Konklusionen, d. h. ob sie als Gedanken, Propositionen oder Sätze zu verstehen sind und wie sie aus einfacheren Bestandteilen zusammengesetzt sind. Prämissen und eine Konklusion bilden zusammen eine Schlussfolgerung, die entweder deduktiv oder ampliativ sein kann, je nachdem, ob sie notwendigerweise wahrheitserhaltend ist oder neue und möglicherweise falsche Informationen einführt. Ein zentrales Anliegen der Logik ist die Frage, ob eine deduktive Schlussfolgerung gültig ist oder nicht. Gültigkeit wird oft in Bezug auf Notwendigkeit definiert, d.h. eine Schlussfolgerung ist nur dann gültig, wenn es unmöglich ist, dass die Prämissen wahr und die Konklusion falsch ist. Falsche Schlussfolgerungen und Argumente hingegen können ihre Konklusion nicht stützen. Sie können als formale oder informale Fehlschlüsse kategorisiert werden, je nachdem, ob sie zur formalen oder informalen Logik gehören. Die Logik beschäftigt sich meist mit definitorischen Regeln, also mit der Frage, welche Schlussregeln bestimmen, ob ein Argument gültig ist oder nicht. Ein gesondertes Forschungsthema betrifft die strategischen Regeln der Logik: die Regeln, die bestimmen, wie man von gewissen Prämissen ausgehend zu einer beabsichtigten Konklusion kommt, d.h. welche Schlussfolgerungen gezogen werden müssen, um dorthin zu gelangen.

Die Metaphysik der Logik befasst sich mit dem metaphysischen Status der Gesetze und Gegenstände der Logik. Ein wichtiger Streitpunkt in diesem Bereich besteht zwischen Realisten, die der Meinung sind, dass die Logik auf Tatsachen mit geistesunabhängiger Existenz basiert, und Antirealisten wie den Konventionalisten, die der Meinung sind, dass die Gesetze der Logik auf den Konventionen des Sprachgebrauchs beruhen. Die Logik ist eng mit verschiedenen Disziplinen verbunden. Eine zentrale Frage in Bezug auf die Ontologie betrifft die ontologischen Verpflichtungen, die mit der Verwendung der Logik verbunden sind, beispielsweise mit singulären Termen und Existenzquantoren. Eine wichtige Frage in der Mathematik ist, ob alle mathematischen Wahrheiten in den Axiomen der Logik zusammen mit der Mengenlehre begründet werden können. Weitere verwandte Gebiete sind die Informatik und die Psychologie.