Lexika

Ueberich

Über-Ich

Als Über-Ich bezeichnet Freud eine Instanz der Persönlichkeit, die die Gefühle, Gedanken und Handlungen des Ich beurteilt.

Der Begriff des Über-Ich unterscheidet sich vom Gewissen, da er auch unbewuße Gebote und Verbote einschließt.

Umfangbe

Umfangsgleiche Begriffe

Begriffe, die denselben Begriffsumfang haben, heißen äquipollent, umfangsgleich, identisch oder extensional gleich und werden bei logischen Untersuchungen häufig miteinander identifiziert (Extensionalitätsprinzip).

Die umfangsgleichen Begriffe gehören zu den vereinbaren Begriffen.

Eine wichtige Teilklasse der umfangsgleichen Begriffe sind die reziproken Begriffe.

Unabhbew

Unabhängigkeitsbeweis

In einem Unabhängigkeitsbeweis für ein formales System mit den Axiomen A1 … An wird für jedes einzelne Axiom bewiesen, dass weder das Axiom noch seine Negation von den übrigen Axiomen abgeleitet werden können. Auch für Schlussfolgerungsregeln könenn Unabhängigkeitsbeweise geführt werden.

Durch den Unabhängigkeitsbeweis wird gezeigt, dass keines der Axiome (keine der Schlussfolgerungsregeln) überflüssig ist.

Das wichtigste Verfahren für Unabhängigkeitsbeweise hat Bernays gefunden.

Undefbeg

Undefinierter Begriff

Undefiniert nennt man Begriffe, die in einem Axiomensystem als Ausgangsbegriff auftreten und die sich nicht mit Hilfe anderer Begriffe dieses Axiomensystems definieren lassen. Undefinierte Begriffe sind also Begriffe, die durch axiomatische Definition eingeführt werden.

Univok

Univoke Begriffe

Als univok bezeichnet man Begriffe, die nur eine Bedeutung haben können. So ist eine Birne nicht univok, da sie sowohl eine Frucht als auch eine Glühbirne sein kann.

Univoke Begriffe sind von äquivoken Begriffen zu unterscheiden.

Unm Schl

Unmittelbarer Schluss

Als unmittelbaren Schluss bezeichnet man einen Schluss, in dem neues Wissen aus nur einer Prämisse abgeleitet wird. Aristoteles betrachtete die unmittelbaren Schlüsse als logische Hilfsmittel.

Man kann folgende unmittelbaren Schlüsse unterscheiden:

  • Schluss von der Falschheit bzw. der Wahrheit eines Urteils auf die Wahrheit bzw. Falschheit eines kontradiktorischen Urteils,
  • Schluss von der Wahrheit eines Urteils auf die Falschheit eines konträren Urteils,
  • Schluss von der Wahrheit eines subordinierenden Urteils auf die Wahrheit eines subordinierten Urteils und von der Falschheit eines subordinierten Urteils auf die Falschheit eines subordinierenden Urteils,
  • Konversion und Obversion und
  • Kontraposition.


Unterbeg

Unterbegriff

Synonyme Bezeichnung für den Artbegriff.

Untergeo

Untergeordneter Begriff

Andere Bezeichnung für subordinierte Begriffe.

Unvbegr

Unvollständiger Begriff

Begriff der die Eigenschaften einer endlichen zählbaren Menge von Gegenständen widerspiegelt, z. B. Planet des Sonnensystems. Unvollständige Begriffe werden auch registrierende Begriffe genannt.

Unverbeg

Unvereinbare Begriffe

Begriffe, deren Umfänge sich nicht decken und die auch keinen gemeinsamen Elemente haben. Sie enthalten Merkmale, die nicht nur die Möglichkeit der völligen, sondern auch der teilweisen Übereinstimmung ausschließen.

Zu den unvereinbaren Begriffen gehören konträre und kontradiktorische Begriffe.

Von unvereinbaren Begriffen sind vereinbare Begriffe zu unterscheiden.