Philosophische Logik

aus Wikipedia, der freien Enzyklopädie

Der Ausdruck "philosophische Logik" wird in der Philosophie auf mehrfache Weise verwendet:

• 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 in der Mathematik eher unbedeutend. In der Philosophie werden im Rahmen der Disziplin Logik auch vielfach Fragen der Logikrechtfertigung u.ä. behandelt, die außerhalb der Fachkompetenz der Mathematik liegen und die man der Klarheit halber der Philosophie der Logik zurechnen sollte.

• 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 auch mit dem veraltenden 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. 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, Modallogik, Interrogativlogik 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).

• Mitunter werden auch nichtklassische Logiken, die aufgrund philosophischer Überlegungen einzelnen logischen Operatoren eine gegenüber der klassischen veränderte Deutung verleihen, als "philosophische Logiken" bezeichnet. Standardbeispiele sind die intuitionistische Logik und die Relevanzlogik.