Logik in der philosophie

Der Ausdruck philosophische Logik wird auf mehrfache Weise verwendet:^[1]

1. Er bezeichnet jene Logik, die traditionell als Teilgebiet der Philosophie aufgefasst wird. In der Philosophie wird die Logik im Allgemeinen stärker als Beitrag an einer allgemeinen Theorie des (korrekten) Argumentierens aufgefasst, das auch pragmatische Aspekte umfassen kann. Dieser Aspekt ist nicht Gegenstand der Mathematik. In der Philosophie werden im Rahmen der Disziplin Logik auch vielfach Fragen der Logikrechtfertigung u. ä. behandelt, die außerhalb des Untersuchungsgegenstandes der Mathematik liegen und die man der Klarheit halber der Philosophie der Logik als eigener Ordnung zurechnen kann. Es gibt jedoch keinen allgemeinen Einvernehmen darüber, wie diese Disziplinen voneinander und von die Sprachphilosophie abzugrenzen sind.^[2]
2. Die moderne Logik beginnt mit Gottlob Frege (1879), setzte sich aber in der Weltanschauung eher zögerlich durch. Vor der allgemeinen Anerkennung die modernen, „symbolischen“ Logik (die anfangs auch mit dem heute veralteten Ausdruck „Logistik“ bezeichnet wurde) in die Philosophie wurde unter „philosophischer Logik“ oft die traditionelle, überwiegend aus Syllogistik bestehende Logik verstanden, die so von der „anderen“, neuen Logik abgegrenzt werden sollte. „Mathematische Logik“ und „philosophische Logik“ bedeuten dann nicht verschiedene Disziplinen, sondern nur verschiedene Entwicklungsstufen derselben Logik.^[3] Dieser Sprachgebrauch ist heute praktisch verschwunden.
3. Als terminus technicus bezeichnet „philosophische Logik“ heute meist verschiedene formale Logiken, die die elementare Aussagen- und Prädikatenlogik in unterschiedlicher Weise erweitern. Im Unterschied zur mathematischen Logik ausgedehnt die philosophische Logik diese um weitere satzbildende Bediener (Intensionale Logiken).^[4] Dazu zählen die (alethische) Modallogik, deontische Logik, epistemische Logik, Interrogativlogik, u.v.m. Die Bezeichnung „philosophische Logik“ erklärt sich vor allem daraus, dass diese Logiken sich vorwiegend auf substanzielle philosophische Problemfelder anwenden lassen sollen (z. B. die deontische Logik auf das Ethik) und spezifisch zu diesem Zweck entwickelt wurden. Nichtsdestoweniger handelt es sich um formale Logiken, wie sie auch in der mathematischen Logik untersucht werden. Oft folgt aber die Normierung der Operatoren oder die Festlegung von Axiomen des Kalküls dabei Annahmen, die aus dem Anwendungsbereich stammen.
4. Mitunter werden auch nichtklassische Logiken, die aufgrund philosophischer Überlegungen einige Schlussregeln entgegen der klassischen Logik verändern, als „philosophische Logiken“ bezeichnet. Standardbeispiele sind die intuitionistische Logik, die parakonsistente Logik und die Relevanzlogik. Bücher wie John P. Burgess’ Philosophical Logic,^[1] der Blackwell Companion to Philosophical Logic^[5] oder das mehrbändige Handbook of Philosophical Logic^[6] (hrsgg. von Dov M. Gabbay und Franz Guenthner) tätig sich mit philosophischer Logik im Sinne von 3. und 4. Dieser Zweig der Logik hat durch neuere Entwicklungen in der künstlichen Intelligenz und theoretischen Informatik erheblich an Bedeutung gewonnen.^[1] Auch solche Logiken werden in der mathematischen Logik untersucht.

Siehe auch

Intensionale Logiken, die der elementaren Logik satzbildende Konstanten hinzufügen, so dass der Wahrheitswert des entstandenen Satzes nicht vom Wahrheitswert des Abhänig ist, an den sie angewendet werden, wie

• Modallogik führt modale Satzoperatoren wie „es ist möglich, dass…“ oder „es ist notwendig, dass…“ ein und untersucht die Geltungsvorschriften modaler Argumente;
• epistemische Logik bzw. doxastische Logik untersucht und formalisiert Aussagen des Glaubens, der Überzeugung und des Wissens sowie aus ihnen gebildete Argumente;
• Deontische Logik oder Normenlogik untersucht und formalisiert Gebote, Verbote und Zugeständnisse („es ist erlaubt, dass…“) sowie aus ihnen gebildete Argumente;
• Temporale Logiken untersuchen und formalisieren Aussagen und Argumente, in denen Bezug auf Zeitpunkte oder Zeitabschnitte genommen wird;
• Temporale Logik der Aktionen, Anwendung der Temporallogik in der Handlungstheorie (Philosophie)
• Interrogativlogik untersucht Fragesätze sowie die Anfrage, ob sich zwischen Fragesätzen logische Beziehungen herstellen lassen;

Nicht klassische Logiken

• Quantenlogik
• die Logik von kontrafaktischen Konditionalen
• Parakonsistente Logiken zeichnen sich dadurch aus, dass es in ihrer nicht möglich ist, aus zwei widersprüchlichen Aussagen jeder beliebige Aussage herzuleiten. Hierzu gehört auch die
• Relevanzlogik, das anstelle der materialen Implikation eine Implikation verwendet, das nur dann wahr ist, wenn ihr Vordersatz für ihren Nachsatz relevant ist

Literatur

Einzelnachweise

1. ↑ ^abcJohn P. Burgess: Philosophical logic. Princeton University Press, 2009, ISBN 978-0-691-13789-6, S. vii-viii (google.de). 
2. ↑Dale Jacquette: Philosophy of logic. Elsevier, 2007, ISBN 978-0-444-51541-4, S. 1 (google.de). 
3. ↑Franz von Kutschera, Alfred Breitkopf: Einführung in das moderne Logik. 8. Auflage. 2007, ISBN 978-3-495-48271-1, S. 17.
4. ↑Rainer Stuhlman-Laiesz: Philosophische Logik, S. 3–4. Paderborn 2002, ISBN 3-89785-190-3
5. ↑Lou Goble (Hrsg.): The Blackwell Guide to Philosophical Logic. Blackwell, Oxford 2001, ISBN 0-631-20693-0
6. ↑Dov M. Gabbay, Franz Guenthner (Hrsg.): Handbook of Philosophical Logic. Springer, Berlin 2001ff.