Apps
EN — EnglishLogin

🧪 Diese Plattform befindet sich in der Beta-Phase. Funktionen können sich ändern und es können Fehler auftreten. Danke für dein Feedback!

Kessellogik (Kettle Logic)

Auch bekannt als: Kettle Defense Alternative Pleading
Informal Fallacy ID: kettle_logic

Definition

Kessellogik präsentiert mehrere inkonsistente oder widersprüchliche Argumente zur Verteidigung derselben Position, ohne die Widersprüche zwischen ihnen anzuerkennen. Benannt nach Freuds Anekdote über einen Mann, der behauptete, (1) er habe den Kessel unbeschädigt zurückgegeben, (2) er sei bereits beschädigt gewesen, als er ihn ausgeliehen habe, und (3) er habe ihn nie ausgeliehen; dabei untergräbt jede Verteidigung die anderen. Der Argumentierende wirft jede mögliche Verteidigung aus in der Hoffnung, dass eine hängen bleibt.

Beispiele

"Ich habe das Geld nicht aus der Kasse genommen. Und selbst wenn doch, schuldete man es mir. Außerdem war überhaupt nie Geld in der Kasse."

Ich war gestern gar nicht auf der Party. Und selbst wenn ich dort war, habe ich nichts getrunken. Außerdem ist es völlig normal, nach einer Party Auto zu fahren.

Unser Produkt enthält keine künstlichen Zusatzstoffe. Und falls doch, sind sie in dieser Menge völlig harmlos. Außerdem verwenden alle anderen Hersteller viel mehr davon.

Formales Logikmuster
FOL-Muster
Die prädikatenlogische Formel, die die logische Struktur dieses Argumentationsmusters darstellt.
FOL (First-Order Logic, Prädikatenlogik) verwendet Quantoren (∀ = für alle, ∃ = es existiert), Verknüpfungen (∧ = und, ∨ = oder, ⇒ = impliziert, ¬ = nicht) und Prädikate, um die Form eines Argumentationsmusters zu erfassen.

Defend(P, A1) AND Defend(P, A2) AND Contradicts(A1, A2)
Formale Verifizierung:
Formale Verifizierung
Prüft mithilfe eines automatischen Theorembeweisers, ob ein Argumentationsmuster logisch gültig oder ungültig ist.
Die formale Verifizierung nutzt einen SMT-Solver (Z3), um die logische Struktur eines Arguments mathematisch zu prüfen. Jedes Muster wird in Prädikatenlogik übersetzt und getestet: Können die Prämissen wahr sein, während die Schlussfolgerung falsch ist? Wenn ja: formal ungültig. Wenn nein: formal gültig. Viele reale Muster sind als nicht formal entscheidbar markiert — das heißt nicht, dass sie falsch sind.
Nicht formal entscheidbar

Prüfschritte
Prüfschritte
Binäre Ja/Nein-Fragen, die eine KI beantworten muss, um ein Argumentationsmuster in einem Text zu erkennen.
Jeder der 452 Aspekte hat Prüfschritte — einfache Ja/Nein-Fragen, die systematisch erkennen sollen, ob ein Muster in einem Text vorkommt. Für Ad Hominem: "Greift das Argument eine Person statt ihre Behauptung an?" Für falsche Dichotomie: "Werden nur zwei Optionen präsentiert, obwohl mehr existieren?"

Binäre (Ja/Nein) Fragen, die ein LLM beantworten muss, um diesen Aspekt zu identifizieren:

  1. 1

    Werden gleichzeitig mehrere Verteidigungen oder Erklärungen angeboten?

    Typ: binary
  2. 2

    Sind die Verteidigungen logisch inkonsistent zueinander?

    Typ: binary
  3. 3

    Würde die Akzeptanz einer Verteidigung eine andere angebotene Verteidigung für denselben Punkt untergraben?

    Typ: binary
Vertiefung
Der aufklappbare Detailbereich auf jeder Aspekt-Seite mit Beispielen, Psychologie und Gegenstrategien.
Der Vertiefungsbereich bietet ausführliche Informationen zu jedem Aspekt: ein Praxisbeispiel, eine Erklärung warum es funktioniert, Tipps wie man entgegnet, alternative Bezeichnungen und Links zu verwandten Aspekten.

Hierarchischer Kontext