Wie heisst diese abstrahierende Schlussfolgerungsregel?

01/10/2009 - 16:02 von ram | Report spam
Gibt es einen üblichen Namen für das folgende Prinzip
(oder die folgende Regel)?

Es handelt sich um ein sehr triviales Prinzip der Schlußfolgerung,
das heißt, der Herleitung einer Aussage B aus einer Aussage A.

Ich meine etwas, das ich - solange ich den üblichen Namen noch
nicht kenne - hier einmal »Abstraktionsprinzip« nenne. Das heißt:
Wenn man weiß, daß ein Objekt einer Menge S angehört, und daß
S Teilmenge von T ist, dann weiß man auch, daß das Objekt T
angehört. Allerdings meine ich kein Prinzip aus der Mengenlehre,
ich habe mich nur ihrer Sprache bedient. Aber diese Prinzip gab
es sicher auch schon vor der Mengenlehre. Beispiele:

o Voraussetzung: Ein Koffer ist ein Behàlter mit einem
Handgriff.
Folgerung: Ein Koffer ist ein Behàlter.

o Voraussetzung: Ein Mensch ist eine spezielle Art eines
Sàugetiers.
Folgerung: Ein Mensch ist ein Sàugetier.

o Voraussetzung: Ich habe mir eine blaue Hose gekauft.
Folgerung: Ich habe mir eine Hose gekauft.

o Voraussetzung: Ein Luxusauto ist ein Auto mit
verschiedenen Erweiterungen.
Folgerung: Ein Luxusauto ist ein Auto.

Man kann auch sagen, daß es hier - in der Sprache der Logik
- um die Regel geht: »A ^ B ==> A«. Oder man könnte auch
sagen: »Wenn man mehrere wahre Informationen hat, darf man
immer einen Teil der wahren Informationen weglassen, und die
nicht weggelassenen sind dann immer noch wahr.« Ja, das ist
natürlich trivial, aber gibt es trotzdem einen Namen dafür?

Gesucht ist ein Trivialname für diese Regel, wie etwa
»Syllogismus«.

PS: Ich habe gerade

http://de.wikipedia.org/wiki/Syllogismus

entdeckt. Dort stehen ja verschiedene »Figuren« und »Moden«.
Vielleicht werde ich auch dort fündig.
 

Lesen sie die antworten

#1 Christian Henkel
01/10/2009 - 17:14 | Warnen spam
Stefan Ram schrieb:
Gibt es einen üblichen Namen für das folgende Prinzip
(oder die folgende Regel)?

o Voraussetzung: Ein Koffer ist ein Behàlter mit einem
Handgriff.
Folgerung: Ein Koffer ist ein Behàlter.

PS: Ich habe gerade

http://de.wikipedia.org/wiki/Syllogismus

entdeckt. Dort stehen ja verschiedene »Figuren« und »Moden«.
Vielleicht werde ich auch dort fündig.



Modus Barbara?

Alle Behàlter mit Handgriff sind Behàlter.
Alle Koffer sind Behàlter mit Handgriff.
Es folgt: Alle Koffer sind Behàlter.
Christian Henkel

Ähnliche fragen