Metaphysik der Logik

←Philosophie der Logik

▶Die Philosophie der Logik ist in vielerlei Hinsicht eng mit der Philosophie der Mathematik verwandt, insbesondere in Bezug auf ihre metaphysischen Aspekte.Die Metaphysik der Logik befasst sich mit dem metaphysischen Status ihrer Objekte und der sie regelnden Gesetze. Die Theorien innerhalb der Metaphysik der Logik lassen sich grob in realistische und nicht-realistische Positionen unterteilen.

Logische Realisten vertreten die Auffassung, dass die Gesetze der Logik objektiv sind, d. h. unabhängig vom Menschen und seiner Denkweise. Nach dieser Auffassung gehören die in der Logik gefundenen Strukturen zur Welt selbst.Nach einer von Sandra LaPointe vorgeschlagenen Definition besteht der logische Realismus aus zwei Thesen: dass es logische Tatsachen gibt und dass sie unabhängig von unserer kognitiven und sprachlichen Beschaffenheit und Praxis sind. Der logische Realismus wird oft aus der Perspektive des Platonismus interpretiert, d. h. dass es einen intelligiblen Realitätsbereich abstrakter Objekte gibt, der die Objekte der Logik umfasst. Aus dieser Sicht wird Logik nicht erfunden, sondern entdeckt. Eine wichtige Folge dieser Position ist, dass es eine klare Kluft zwischen den Tatsachen der Logik selbst und unseren Glaubenshaltungen zu diesen Tatsachen gibt. Eine Schwierigkeit dieser Position besteht darin, zu klären, welcher Sinn von Unabhängigkeit gemeint ist, wenn man sagt, dass die Logik unabhängig vom Menschen ist. Wenn dies im strengsten Sinne verstanden wird, wäre keine Erkenntnis von ihr möglich, da eine völlig unabhängige Realität keine Rolle im menschlichen Bewusstsein spielen könnte. Ein weiteres Problem besteht darin, die Beziehung zwischen der einen Welt und den vielen verschiedenen vorgeschlagenen logischen Systemen zu erklären. Dies würde darauf hindeuten, dass es nur eine wahre Logik gibt und alle anderen logischen Systeme entweder falsch oder unvollständig sind.

Der logische Realismus wird von Anti-Realisten abgelehnt, die der Meinung sind, dass die Logik kein objektives Merkmal der Realität beschreibt. Der Anti-Realismus in Bezug auf die Logik nimmt oft die Form des Konzeptualismusoder Psychologismus an, bei denen die Objekte der Logik aus mentalen Vorstellungen bestehen oder die logischen Gesetze mit psychologischen Gesetzen identifiziert werden. Dazu kann auch die These gehören, dass die Gesetze der Logik nicht a priori erkennbar sind, wie oft behauptet wird, sondern dass sie durch die Methoden der experimentellen Untersuchung entdeckt werden. Ein Argument für den Psychologismus beruht auf der Idee, dass die Logik eine Teildisziplin der Psychologie ist: Sie untersucht nicht alle Denkgesetze, sondern nur die Teilmenge der Gesetze, die dem gültigen Schlussfolgern entsprechen. Ein weiteres Argument konzentriert sich auf die These, dass wir logische Wahrheiten durch das Gefühl der Evidenz erkennen, welches wiederum von der Psychologie untersucht wird. Gegen den Psychologismus sind verschiedene Einwände erhoben worden, insbesondere in der deutschen Philosophie um die Wende zum 20. Jahrhundert im sogenannten „Psychologismus-Streit“. Ein Einwand konzentriert sich auf die These, dass die Gesetze der Logik a priori bekannt sind, was für die von der Psychologie untersuchten empirischen Gesetze nicht zutrifft. Ein anderer weist darauf hin, dass psychologische Gesetze in der Regel vage sind, während die Logik eine exakte Wissenschaft mit genauen Gesetzen ist.

Der Konventionalismus ist eine weitere Form des Anti-Realismus, bei der die logischen Wahrheiten von den Bedeutungen der verwendeten Begriffe abhängen, welche wiederum von sprachlichen Konventionen abhängen, die von einer Gruppe von Personen angenommen werden. Ein Problem dieser Position besteht darin, eine klare Definition des Begriffs „Konvention“ zu liefern. Konventionen sind weitläufig beobachtete Regelmäßigkeiten. Aber nicht jede weitläufig beobachtete Regelmäßigkeit ist eine Konvention: Konventionen beinhalten einen bestimmten normativen Faktor, der richtiges von falschem Verhalten unterscheidet, während unregelmäßiges Verhalten nicht automatisch falsch ist. Ein weiteres Problem betrifft die Tatsache, dass Konventionen kontingent sind, während logische Wahrheiten notwendig sind. Dies wirft Zweifel an der Möglichkeit auf, logische Wahrheiten anhand von Konventionen zu definieren, es sei denn, es könnte eine plausible Erklärung gegeben werden, wie kontingente Konventionen notwendige Wahrheiten begründen können.

◀▶