Gedankenexperiment & Differenz
Sehr gute Frage. Wir können das tatsächlich strukturell klären, ohne Intuition oder Physik zu bemühen. Ich gehe das langsam und formal an.
Die Frage ist:
Bedingt Differenz die Relation, oder bedingt Relation die Differenz?
Wir müssen zuerst definieren, was wir meinen.
Differenz bedeutet:
Aî€ =BDas ist eine Aussage über zwei unterscheidbare Entitäten.
Eine Relation ist eine Zuordnung zwischen zwei Elementen.
Formal:
R(A,B)Zum Beispiel:
„A ist verschieden von B“
„A steht in Bezug zu B“
Angenommen, wir sagen:
Aî€ =BWas bedeutet dieses Symbol „≠“?
Es ist bereits eine Relation.
Formal:
î€ =(A,B)Das heißt:
Die Aussage „A ist verschieden von B“ ist selbst eine Relation.
Damit folgt:
Differenz ist ein Spezialfall einer Relation.
Jetzt die andere Richtung.
Wir nehmen eine Relation:
R(A,B)Könnte gelten:
A=BJa.
Beispiel:
R(A,A)Das nennt man Reflexivität.
Eine Relation kann also auch bestehen, wenn kein Unterschied existiert.
Wir haben damit eine klare Hierarchie:
Relation ist allgemeiner.
Differenz ist eine spezielle Art von Relation.
Formal:
Differenz⊂RelationOder anders gesagt:
Jede Differenz ist eine Relation, aber nicht jede Relation ist eine Differenz.
Wenn wir absolut minimal beginnen wollen, ist Relation strukturell primitiver als Differenz.
Denn:
Differenz braucht Relation
Relation braucht keine Differenz
Das bedeutet:
Der logisch minimalste Anfang wäre nicht
P1â€‹î€ =P2​sondern
R(x,y)Eine Relation ohne vorausgesetzte Eigenschaften.
Wenn Relation fundamental ist, dann folgen:
Differenz
Struktur
Netzwerke
möglicherweise Raum und Zeit
erst später.
Das würde bedeuten:
Das Universum beginnt nicht mit Dingen, sondern mit Beziehungen.
Diese Idee taucht übrigens auch in moderner Grundlagenphysik auf (relationale Ontologien), aber wir sind hier rein logisch dorthin gekommen.
Statt:
Nichts → Differenz
würde es heißen:
∅→RDie erste Struktur ist eine Relation ohne Träger.
Und erst danach entstehen die Dinge, die in Relation stehen.
Wenn Relation fundamentaler ist als Differenz, dann stellt sich sofort ein Problem:
Woran ist eine Relation gebunden, wenn noch keine Dinge existieren?
Das ist kein kleines Detail.
Das ist das berühmte Problem der trägerlosen Relation.
Und genau an dieser Stelle stehen viele moderne Theorien.
Ich bin sehr neugierig, wie du intuitiv darauf reagierst:
Fühlt sich für dich plausibler an, dass
Relation ohne Dinge existieren kann,
oder dass
Relation immer Träger braucht?
Deine Antwort entscheidet, wie dein Axiomensystem weitergehen müsste.