Supervenienz (lat. super "dazu"; venire "kommen") beschreibt ein bestimmtes binäres und einseitiges Abhängigkeitsverhältnis zwischen zwei Relata A und B.

Dabei können die (potentiellen) Relata A und B erstens in unterschiedliche ontologische Kategorien fallen: Fakten, Ereignisse, Eigenschaften, usw. Und zweitens einzelne Tokens oder Pluralitäten von Dingen sein. In der Regel und fortan wird davon ausgegangen, dass A und B Mengen von Eigenschaften sind.

Dann kann zwischen einer schwachen Definition₁ und einer  ontologisch starken Definition₂ von dem Begriff "Supervenienz" unterschieden werden:

_Def1: A-Eigenschaften supervenieren über B-Eigenschaften, gdw. es keinen Unterschied in den A-Eigenschaften ohne einen Unterschied in den B-Eigenschaften geben kann. D.h.: wenn zwei Dinge in ihren B-Eigenschaften genau gleich sind, müssen sie in ihren A-Eigenschaften genau gleich sein.

_Def2: A-Eigenschaften supervenieren über B-Eigenschaften, gdw. es keinen Unterschied in den A-Eigenschaften ohne einen Unterschied in den B-Eigenschaften geben kann. D.h.: wenn zwei Dinge in ihren B-Eigenschaften genau gleich sind, müssen sie in ihren A-Eigenschaften genau gleich sein.
Und die A-Eigenschaften werden von den B-Eigenschaften determiniert.

Zusätzlich kann zwischen zwei weiteren Begriffen unterschieden werden. _Def1  bestimmt "Supervenienz" über Kovarianz, _Def2 über Kovarianz und Determination:

Kovarianz: A ist kovariant gegenüber B, gdw. eine Änderung in A von Änderungen in B begleitet wird (aber nicht notwendigerweise umgekehrt).

Determination: B determiniert A, wenn A kraft B komplett festlegt wird.

Die Definition von "Kovarianz" kann anhand des Parameterbegriffs erfolgen. Ein Parameter nimmt unter bestimmten Umständen U bestimmte Werte an:

Parameter Kovarianz: π₁ ist kovariant gg. π₂ in U, gdw. π₁ und π₂ definiert sind in C, und wenn gilt: ∀c, d ∈ C if π₂(c) = π2(d), dann π₁(c) = π₁(d).

Markus Schrenk: The idea of supervenience can be expressed more formally in diff erent and non-equivalent ways. A good starting point is this: A set of properties A supervenes upon another set B just in case no two things can diff er with respect to A-properties without also diff ering with respect to their B-properties. In slogan form, ‘there cannot be an A-diff erence without a B-diff erence’. (McLaughlin and Bennett 2014)

Es kann zwischen mehreren Arten der Supervenienz unterschieden werden.

Als ein Hilfsmittel zur Beschreibung dieser Arten führt man am besten dieses

5-stellige Prädikat ›x ist in Welt w1 A-gleich mit y in Welt w2‹ wie folgt ein:

Emergenz
Humesche Supervenienz

Physikalismus
Reduktion

Superdupervenience

Supervenienz und Physikalismus
Supervenienztheorien des Mentalen

Philpapers

Stanford Encyclopedia of Philosophy

Stand: 2019

Aufsätze