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!

Bulverismus (Bulverism)

Auch bekannt als: Psychogenetic Fallacy Assumed Refutation
Informal Fallacy ID: bulverism

Definition

Bulverismus, geprägt von C.S. Lewis, tritt auf, wenn jemand davon ausgeht, dass das Argument eines Gegners falsch ist, und dann erklärt, warum der Gegner zu einer so fehlerhaften Ansicht gekommen ist, typischerweise indem er sie psychologischen, sozialen oder ideologischen Ursachen zuschreibt. Es überspringt den Schritt, tatsächlich zu demonstrieren, dass das Argument falsch ist. Es kombiniert eine angenommene Widerlegung mit einer psychologisierenden Erklärung.

Beispiele

"Du unterstützt nur deshalb eine universelle Gesundheitsversorgung, weil du arm aufgewachsen bist. Dein wirtschaftlicher Hintergrund macht dich unfähig, darüber rational nachzudenken."

In einer Parlamentsdebatte zur Wohnungspolitik sagt ein Abgeordneter: 'Mein Kollege befürwortet Mietpreisbremsen nur, weil er selbst zur Miete wohnt. Sein persönliches Interesse macht seine Argumente wertlos.' Die eigentlichen Argumente werden gar nicht erst geprüft.

In einem Firmenforum schreibt jemand: 'Klar ist Sandra gegen die neue Überstundenregelung – sie hat kleine Kinder und denkt deshalb nicht strategisch. Ihre Bedenken kann man getrost ignorieren.' Sandras inhaltliche Einwände werden nie sachlich diskutiert.

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.

Wrong(x) ∧ Motive(x, M) ⇒ Explains(M, Wrong(x))
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

    Geht der Argumentierende davon aus, dass der Gegner falsch liegt, ohne es zu beweisen?

    Typ: binary
  2. 2

    Erklärt der Argumentierende den Fehler des Gegners anhand dessen Identität, Motiven oder Psychologie?

    Typ: binary
  3. 3

    Wird die kausale Erklärung als Ersatz für die tatsächliche Widerlegung der Behauptung herangezogen?

    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