Gratis eBooks für Kindle

Lexika

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.

Tugcdeth

Tugendethik

Als Tugendethik bezeichnet man ethische Theorien, die von Tugend ausgehen. Da in vielen Theorien Tugenden an den Menschen gebunden sind, sind Tugendethiken gewöhnlich anthropozentrisch ausgestaltet. Dies ist nicht zwingend, da man klassische Tugenden wie Klugheit, Gerechtigkeit, Tapferkeit, Mäßigung, Glaube, Liebe, Hoffnung neben einem Gott auch Tieren zusprechen kann. Man käme dann zu einer pathozentrischen Tugendethik.

U Indukt

Unvollständige Induktion

Als unvollständige Induktion (lat. inductio incompleta) oder problematische Induktion bezeichnet man jede Induktion, die keine vollständige Induktion ist.

Bei einer unvollständigen Induktion spricht man also, wenn die induktiv gewonnene Konkulusion über die Prämissen hinausgeht.