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!

Argumentum ad Consequentiam (Appeal to Consequences)

Auch bekannt als: Argumentum ad Consequentiam Appeal to Consequences of a Belief Appell an die Folgen
Informal Fallacy ID: appeal_to_consequences

Definition

Der Appell an Konsequenzen argumentiert, dass eine Überzeugung wahr (oder falsch) sein muss, weil das Akzeptieren zu wünschenswerten (oder unerwünschten) Ergebnissen führen würde. Es verwechselt die Annehmlichkeit oder Nützlichkeit einer Überzeugung mit ihrem Wahrheitswert. Während Konsequenzen für die Entscheidungsfindung relevant sein können, haben sie keinen Einfluss darauf, ob eine Tatsachenbehauptung tatsächlich wahr ist.

Beispiele

"Evolution kann nicht wahr sein, denn wenn sie es wäre, hätte das Leben keinen inhärenten Sinn, und das wäre schrecklich für die Gesellschaft."

Ein Manager lehnt eine interne Umfrage ab, die auf Probleme mit der Unternehmenskultur hinweist: 'Diese Ergebnisse können einfach nicht stimmen. Wenn wir das akzeptieren würden, müssten wir das gesamte Führungskonzept der letzten Jahre infrage stellen – und das würde das Unternehmen destabilisieren.'

In einer Diskussion über Klimawandel sagt jemand: 'Ich glaube nicht, dass der Mensch wirklich dafür verantwortlich ist. Wenn das stimmen würde, müssten wir unseren gesamten Lebensstil ändern und auf so vieles verzichten – das kann doch nicht die Wahrheit sein.'

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.

Desirable(Consequences(P)) -> P OR Undesirable(Consequences(P)) -> NOT P
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

    Wird die Wahrheit der Behauptung basierend auf ihren Konsequenzen anstatt auf Evidenz bewertet?

    Typ: binary
  2. 2

    Werden die Konsequenzen als Hauptgrund verwendet, um die Behauptung zu akzeptieren oder abzulehnen?

    Typ: binary
  3. 3

    Wird die Erwünschtheit des Ergebnisses mit der Wahrheit der Prämisse vermengt?

    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