Logisches Denken & Schlussfolgern

Nein, das folgt nicht. Aus „Alle Katzen sind Säugetiere“ und „Einige Säugetiere sind keine Haustiere“ lässt sich über Katzen nichts Zwingendes ableiten, weil die Säugetiere, die keine Haustiere sind, keine Katzen sein müssen. Der Fehlschluss entsteht durch einen unverteilten Mittelbegriff: „Säugetiere“ ist im zweiten Satz nur partikulär gebraucht.

Der Schluss ist ungültig. Die zweite Prämisse spricht nur über einige Säugetiere, und nichts garantiert, dass diese Teilmenge mit den Katzen überlappt. Ein Gegenmodell: Alle Katzen seien Haustiere, während die Nicht-Haustier-Säugetiere ausschließlich Wale sind — dann sind beide Prämissen wahr, die Konklusion aber falsch.

Nein. Es handelt sich um einen klassischen Syllogismus-Fehler. Die Menge der Säugetiere, die keine Haustiere sind, kann vollständig disjunkt zur Menge der Katzen sein. Ein einziges Gegenbeispiel genügt, um die behauptete Folgerung zu widerlegen.

Der Schluss folgt nicht logisch. Zwar sind alle Katzen Säugetiere, aber die Aussage über „einige Säugetiere“ betrifft nicht notwendigerweise Katzen. Es könnte sein, dass alle Katzen Haustiere sind.

Nein, es folgt nicht. „Einige Säugetiere“ muss keine Katzen einschließen. Die Prämissen erlauben, dass alle Katzen Haustiere sind.

Der Schluss ist nicht gültig, weil die zweite Prämisse nur einen Teil der Säugetiere betrifft und nicht speziell die Katzen.

Schalte Schalter 1 ein und lasse ihn einige Minuten an, dann aus. Schalte anschließend Schalter 2 ein und gehe sofort in den anderen Raum. Die leuchtende Birne gehört zu Schalter 2, die warme, aber dunkle Birne zu Schalter 1, die kalte und dunkle zu Schalter 3. Der Trick nutzt die Wärme als zweites, zeitversetztes Signal zusätzlich zum Licht.

Man braucht drei unterscheidbare Zustände. Licht liefert nur zwei (an/aus), Wärme liefert den dritten: Schalter 1 lange an, dann aus; Schalter 2 an; Schalter 3 bleibt aus. Im Raum ist die leuchtende Birne Schalter 2, die noch warme Schalter 1, die kalte Schalter 3. Voraussetzung ist eine Glühbirne mit spürbarer Abwärme.

Erst Schalter A für ~10 Minuten einschalten, dann ausschalten. Danach Schalter B einschalten und den Raum betreten. Leuchtet = B, warm = A, kalt und dunkel = C.

Man schaltet den ersten Schalter an, wartet, schaltet ihn aus und den zweiten an. Die brennende Lampe ist Schalter zwei, die warme ist Schalter eins, die dritte gehört zum letzten Schalter.

Ersten Schalter lange anlassen, dann ausmachen. Zweiten anmachen und reingehen: an = zwei, warm = eins, aus = drei.

Man nutzt die Wärme der Birnen. Ein Schalter wird länger eingeschaltet und wieder aus, ein zweiter bleibt an. So lassen sich die drei Birnen an Licht und Temperatur unterscheiden.

Die Frage führt in einen Widerspruch: Rasiert sich der Barbier selbst, dann gehört er nicht zu den Männern, die er rasiert — also rasiert er sich nicht. Rasiert er sich nicht, gehört er zu denen, die er rasieren muss — also rasiert er sich doch. Das ist Russells Paradoxon in Alltagsform; die Auflösung ist, dass eine solche Regel keinen konsistenten Barbier zulässt: Die Menge ist schlicht nicht wohldefiniert.

Es gibt keine widerspruchsfreie Antwort — das ist der Punkt. Die Definition ist selbstbezüglich und erzeugt genau die Antinomie, die Russell 1901 für Mengen formulierte. Streng logisch folgt, dass ein Barbier mit dieser Eigenschaft nicht existieren kann; die Prämisse ist inkonsistent, nicht die Welt.

Es ist ein Paradoxon (Barbier-Paradoxon nach Russell). Beide Annahmen — er rasiert sich, er rasiert sich nicht — führen zum Widerspruch. Konsequenz: Ein solcher Barbier kann logisch nicht existieren.

Das ist das berühmte Barbier-Paradoxon. Egal ob er sich rasiert oder nicht, es entsteht ein Widerspruch. Die Regel ist daher nicht erfüllbar.

Ein Widerspruch: Wenn er sich rasiert, dürfte er es nicht; wenn nicht, müsste er es. Der Barbier kann so nicht existieren.

Das ist ein logisches Paradoxon. Beide Fälle widersprechen der Regel, daher kann es einen solchen Barbier nicht geben.