Zirkelbezug

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

Ein Zirkelbezug liegt vor, wenn in einer Reihe von Verweisen, Referenzierungen oder Bezugnahmen das letzte Objekt wieder auf das erste verweist, so dass eine geschlossene Schleife entsteht.

Allgemeines[Bearbeiten]

Zirkelbezüge sind nicht immer problematisch, in vielen Fällen führen sie jedoch zu Widersprüchen oder zu unlösbaren Problemen (Antinomie, Halteproblem). Es ist zum Beispiel unproblematisch, zwischen zwei Nachbarn X und Y einen gegenseitigen Bezug im Sinne von „X ist rechter Nachbar von Y“ und „Y ist linker Nachbar von X“ herzustellen, sofern entweder x oder Y auch unabhängig von dieser Referenzierung gegeben werden kann. Problematisch sind Fälle, in denen der Verweis als letztes Ziel ausschließlich einen Verweis hat, der auf ihn selbst zurückzeigt. Problematisch ist auch die wechselseitige Zuweisung von Werten zu den Objekten. Die Selbstreferenz kann in mancher Hinsicht als Sonderfall der zirkulären Referenz angesehen werden.

Formale Logik[Bearbeiten]

Ein Fall der wechselseitigen Festlegung des Wertes eines Objekts durch das jeweils andere ist etwa im Karten-Paradoxon gegeben, oder in der Varianten der Russellsche Antinomie (Nested Sets). Zirkelbezüge können hier durch strenge Hierarchien vermieden werden, die Rückverweise verbieten. Ein Zirkelbezug ist aber nicht dasselbe wie ein Zirkelschluss, da hier die Zuweisung von Wahrheitswerten zu Objekten nicht über die Bezugnahme, sondern durch Schlussregeln erfolgt.

Informatik[Bearbeiten]

Technisch relevant sind Zirkelbezüge auch in der Informatik, so auch beim Diamond-Problem, oder wenn sich in einer relationalen Datenbank die Datenbankobjekte gegenseitig aufeinander beziehen, so dass der Zustand der abhängigen Daten von der Reihenfolge ihrer Erfassung abhängig wird, mithin sind die Daten anschließend nicht eindeutig definiert. Beziehen sich zwei Programmierschnittstellen gegenseitig aufeinander, kann der Compiler nicht ohne Zusatzaufwand zuverlässig prüfen, ob logische Widersprüche vorhanden sind. So führen Zirkelbezüge häufig zu einem Mehraufwand bei der Verwaltung der Daten oder Programmteile.

Organisationstheorie[Bearbeiten]

Organtisationstheoretische Beispiele betreffen etwa die Verweisung von Entscheidungskompetenzen zwischen Gremien. Es wäre zum Beispiel unsinnig, dass zwei Körperschaften sich wechselseitig den Status gesetzgebender Organe in ein und demselben Rechtsgebiet zusprechen, wenn nicht mindestens eine der beiden diesen Statis bereits vorher besitzt.

Medien[Bearbeiten]

Wenn eine Meldung nicht per Recherche aus der ursprünglichen Quelle überprüft wird, sondern übernommen wird, so kann sie unter Verweis auf vorangenangene Instanzen der Berichterstattung immer wieder zur Meldung werden, selbst wenn es sich um eine Ente handelt. Dieses Muster liegt dem Hoax zugrunde.