Hat jemand irgendwelche Intuitionen darüber, was das Dual der Identitätsbeziehung sein könnte? D. h., gibt es einen „natürlichen“ Begriff, der durch eine Aussage wie „es ist nicht der Fall, dass a nicht mit b identisch ist“ ausgedrückt wird, wobei letztere Aussage als duale Aussage zu der Aussage „a ist mit b identisch“ verstanden werden kann '?
Vielleicht suchen Sie nach so etwas wie dem Komplement der Abgetrenntheitsbeziehung . Abgeschiedenheit konzentriert sich darauf, Dinge zu unterscheiden, anstatt sie zu identifizieren.
In der Praxis würden wir dazu neigen, eine starke logische Annahme zu haben, a
die nicht identisch ist, b
basierend darauf, dass einer „a“ und der andere „b“ genannt wird, weil der Unterschied in den Namen einen räumlichen und/oder zeitlichen Unterschied in den Bedingungen impliziert, unter denen jeder angetroffen wird. Die Beweislast liegt bei denen, die behaupten „Hesperus ist Phosphor“.
Die Prämisse, dass die klassische philosophische Logik ein starkes Identitätsprinzip hat, ist an sich schon etwas suspekt. Das Schiff des Theseus ist seit den Anfängen der Philosophie ein wichtiges Paradoxon.
Das eigentliche Problem ist, dass „dasselbe“ eine Begriffsklärung erfordert, wenn wir in einem logischen Kontext sprechen. Daher haben formale Sprachen in der Informatik oft mehrere Prädikate für Gleichheit [zB Lisps eq
, eql
, und equal
].
Pierces pragmatische Maxime ist vielleicht richtungsweisend. a
ist genau dann nicht identisch , b
wenn die Wirkungen von a
nicht mit den Wirkungen von identisch sind b
.
Die offensichtliche logische Antwort wäre, den Ausdruck identisch (dh nicht identisch) zu negieren. Eine andere Möglichkeit ist "ist anders" (dh A ist anders als B).
Alexis
Benutzer9166