Definitionen von Komposition?
Wie ließe sich Komposition, das Bestehen von Objekten aus Teilen, etwa Gegenstände als Atombündel, in formaler Logik darstellen?
Man kann ja die konjunktive Normalform benutzen, aber bei atomaren Aussagen wie "∃Y (Y = 3)" liefert das keine Aussage darüber, "woraus" die Zahl 3 besteht.
Ein anderer Ansatz wäre "logische" Komposition, man kann Y schreiben als Y = S(S(S(0))), und damit wurde 3 in dessen axiomatische und deduktive Bestandteile in Peanoarithmetik zerlegt.
Ein weiterer Ansatz, etwas exotischer, wäre die Kolmogorov-Komplexität, welche die Information minimal kodiert.
Was erfasst "Komposition" am besten?
1 Antwort
Vielleicht hilft Dir eine Beschäftigung mit Leśniewskis Mereologie weiter: Mereologie – Wikipedia. Damit verlässt man allerdings den Boden der klassischen Logik und Mengenlehre und betritt ein eigenständiges, "exotisches" Gebiet.