Nebengeordnete Begriffe

Nebengeordnete Begriffe (auch: koordinierte Begriffe) sind einander ausschließende Begriffe, die einem gemeinsamen Oberbegriff untergeordnet sind, d. h. ein Merkmal des gemeinsamen Oberbegriffs besitzen.

• Beispiel 1: Portugiese – Deutscher (Oberbegriff: Europäer)
• Beispiel 2: Katze – Hund (Oberbegriff: Haustier)

In der Sprachwissenschaft spricht man statt von koordinierten Begriffen synonym auch von Kohyponymen.

Komplementäre Begriffe (Komplement, Komplementarität)

Zwei sich ausschließende Begriffe A und B sind komplementär (es besteht die Beziehung des Komplements, eine Komplementär-Relation), wenn die Extension von A die Komplementmenge der Extension von B ist, d. h., der gesamte (Diskussions-)Bereich (universe of discourse) fällt entweder unter den Begriff A oder B.

• Beispiel 1: Mensch – Nichtmensch (Bereich: Lebewesen)
• Beispiel 2: Amerikaner – Nichtamerikaner (Bereich: Menschen)

Mehrere sich gegenseitig ausschließende Begriffe, deren Extensionen einen gesamten Bereich abdecken, stellen eine Klassifikation oder (methodengerechte) Einteilung dar.

• Beispiel 1: Montag | Dienstag | Mittwoch | Donnerstag | Freitag | Samstag (Bereich: Werktage)
• Beispiel 2: Morgen | Vormittag | Mittag | Nachmittag | Abend | Nacht | Mitternacht (Bereich: Tageszeiten)

Disparate Begriffe

Ihrem Umfang nach einander ausschließende Begriffe sind disparat, wenn sie keinen gemeinsamen nahestehenden Oberbegriff haben, mit anderen Worten: nichts gemeinsam haben und völlig verschiedenen Ordnungen angehören.

• Beispiel 1: Viereck – Elefant
• Beispiel 2: Seele – Mond

Die begriffliche Disparität ist der Normalfall.

Extensional identische Begriffe (Äquipollenz, Äquivalenz)

Die Begriffe A und B sind extensional identisch (traditionell: umfangsgleich), wenn alle Elemente der Extension des Begriffs A auch Elemente der Extension des Begriffs B sind – und umgekehrt. Man spricht in diesem Fall auch von der Äquipollenz oder Äquivalenz der Begriffe.

• Beispiel 1 (klassisch): Lebewesen mit Herz – Lebewesen mit Niere
• Beispiel 2 (klassisch (Frege)): Abendstern – Morgenstern (= Venus)

Wie die Beispiele zeigen, ist der Sonderfall nur extensionaler Identität bei intensionaler Verschiedenheit vom Fall der Synonymie abzugrenzen, der intensionale Identität (oder schwächer: zumindest intensionale Ähnlichkeit) voraussetzt, die extensionale Identität impliziert.

Der Fall gleichzeitiger intensionaler Identität und extensionaler Verschiedenheit ist nicht möglich.

Echte Teilmenge (Über- und Unterordnung)

Ist die Extension des Begriffs A eine echte Teilmenge der Extension des Begriffs B – d. h., sind alle Elemente der Extension des Begriffs A auch Elemente der Extension des Begriffs B und befinden sich in der Extension des Begriffs B noch weitere Elemente –, spricht man von subordinierten Begriffen bzw. vom Verhältnis der Über- und Unterordnung oder nur von Unterordnung. Die Begriffe nennt man Unterbegriffe bzw. Oberbegriffe – oder auch untergeordnete (Teil-)Kategorie bzw. übergeordnete Kategorie.

• Beispiel 1: Maus – Säugetier
• Beispiel 2: Tulpe – Pflanze

In der Terminologie der traditionellen Logik wird ein subordinierter Begriff auch als Artbegriff des übergeordneten Gattungsbegriffs bezeichnet. Es müssen jedoch noch zwei Zusatzbedingungen erfüllt sein: Die mindestens zwei Artbegriffe müssen den Umfang der Gattung erschöpfen und disjunkt sein.

Die Theorie des Art- und Gattungsbegriffs spielt eine wichtige Rolle in der klassischen Definitionslehre.

Artbegriffe werden in der traditionellen Logik konträr genannt, wenn ihre Extensionen nicht die gesamte Extension des Gattungsbegriffs erschöpfen. Als unvereinbare Begriffe können sie dann nicht zugleich der Fall sein, jedoch zugleich nicht der Fall sein (vgl. konträrer Gegensatz). Konträre Artbegriffe sind unvereinbare koordinierte Begriffe (siehe oben).

Artbegriffe werden in der traditionellen Logik kontradiktorisch genannt, wenn ein Gattungsbegriff nur zwei Artbegriffe hat, also die Extensionen der Artbegriffe die Extension des Gattungsbegriffs erschöpfen. Kontradiktorische Artbegriffe sind unvereinbare komplementäre Begriffe (siehe oben).

In der Sprachwissenschaft spricht man im Fall echter extensionaler Teilmengen synonym von Hyponymie (Unterordnung) bzw. Hyperonymie (Überordnung) und bezüglich der Begriffe („Wörter“) von Hyponym bzw. Hyperonym.

Versteht man unter Kategorie im weiteren Sinn einen Oberbegriff, kann man die Unterordnung zu einem Oberbegriff auch Kategorisierung nennen. Es besteht in der Regel keine eineindeutige Beziehung zwischen Unter- und Oberbegriff, sodass verschiedene Kategorisierungen möglich sind.

• Beispiel 1: Hund – Fleischfresser
• Beispiel 2: Hund – Haustier

Durch Über- und Unterordnung entstehen hierarchisch verknüpfte Kategorien, die man Taxonomien nennt.

Interferierende Begriffe (im engeren Sinn)

Miteinander vereinbare Begriffe werden auch interferierende (sich gegenseitig überschneidende) Begriffe genannt. Will man die Sonderfälle der extensionalen Identität oder Über- und Unterordnung ausschließen, empfiehlt sich, von interferierenden Begriffen im engeren Sinn zu sprechen (auch: nicht-subordinierte Begriffe).

• Beispiel 1: Nonne – Krankenschwester
• Beispiel 2: Fleischfresser – Blume