Der Ausdruck „philosophische Logik“ wird in der Philosophie auf mehrfache Weise verwendet:[1]
- Er bezeichnet die Logik als Teilgebiet der Philosophie, im Unterschied zur mathematischen Logik, mit der sie sich jedoch stark überschneidet. In der Philosophie wird die Logik im Allgemeinen stärker als Beitrag zu einer allgemeinen Theorie des (korrekten) Argumentierens aufgefasst, die 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 Disziplin zurechnen kann. Es gibt jedoch keinen allgemeinen Konsens darüber, wie diese Disziplinen voneinander und von der Sprachphilosophie abzugrenzen sind.[2]
- Die moderne Logik beginnt mit Gottlob Frege (1879), setzte sich aber in der Philosophie eher zögerlich durch. Vor der allgemeinen Anerkennung der modernen, „symbolischen“ Logik (die anfangs auch mit dem heute veralteten Ausdruck „Logistik“ bezeichnet wurde) in der 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.
- Als terminus technicus bezeichnet „philosophische Logik“ heute meist verschiedene formale Logiken, die die Aussagen- und Prädikatenlogik in unterschiedlicher Weise erweitern, in der Regel indem sie deren Sprache um weitere Operatoren für bestimmte Redebereiche anreichern. Dazu zählen die deontische Logik, epistemische Logik, (alethische) Modallogik, Interrogativlogik, illokutionäre Logik u.v.m. Die Bezeichnung „philosophische Logik“ erklärt sich vor allem daraus, dass diese Logiken sich meist auf substanzielle philosophische Problemfelder anwenden lassen sollen (z. B. die deontische Logik auf die Ethik). Nichtsdestoweniger handelt es sich um formale Logiken, die auch in der mathematischen Logik untersucht werden.
- Mitunter werden auch nichtklassische Logiken, die aufgrund philosophischer Überlegungen einige Schlussregeln gegenüber 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[4] oder das mehrbändige Handbook of Philosophical Logic[5] (hrsgg. von Dov M. Gabbay und Franz Guenthner) beschäftigen 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
Abschnitt Philosophische Logiken im Hauptartikel Logik, siehe: Philosophische Logiken.
Literatur
- Antoine Arnauld und Pierre Nicole: Die Logik oder die Kunst des Denkens, 2., durchgesehene und um eine Einleitung erweiterte Auflage, Darmstadt 1994 ISBN 3-534-03710-3
Einzelnachweise
- ↑ 1.0 1.1 1.2 John P. Burgess: Philosophical logic. Princeton University Press, 2009, ISBN 978-0-691-13789-6, S. vii-viii (google.de).
- ↑ Dale Jacquette: Philosophy of logic. Elsevier, 2007, ISBN 978-0-444-51541-4, S. 1 (google.de).
- ↑ Franz von Kutschera/Alfred Breitkopf: Einführung in die moderne Logik, 8. Aufl. 2007, ISBN 978-3-495-482711, S. 17
- ↑ Lou Goble (Hrsg.): The Blackwell Guide to Philosophical Logic. Oxford: Blackwell 2001. ISBN 0-631-20693-0
- ↑ Dov M. Gabbay/Franz Guenthner (Hrsgg.): Handbook of Philosophical Logic. Berlin: Springer 2001ff.