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!

Kein wahrer Schotte (No True Scotsman)

Auch bekannt als: Appeal to Purity Appell an die Reinheit
Informal Fallacy ID: no_true_scotsman

Definition

Kein wahrer Schotte ist eine Ad-hoc-Rettung eines universellen Anspruchs, indem die betreffende Gruppe neu definiert wird, um Gegenbeispiele auszuschließen. Wenn der Argumentierende mit Evidenz konfrontiert wird, die einer Verallgemeinerung widerspricht, ändert er die Definition, anstatt die Falsifikation zu akzeptieren. Es verwandelt eine empirische Behauptung in eine Tautologie, indem die Gruppenzugehörigkeit von genau der Eigenschaft abhängig gemacht wird, die behauptet wird.

Beispiele

"Kein echter Programmierer verwendet Tabs zur Einrückung." "Aber Jan verwendet Tabs, und er programmiert seit 20 Jahren." "Nun, kein wahrer Programmierer würde das tun – er ist nur ein Bastler."

'Kein echter Unternehmer gibt so früh auf.' – 'Aber Thomas Brandt ist seit 15 Jahren Unternehmer und hat sein Startup nach drei Jahren verkauft.' – 'Na ja, ein wirklich leidenschaftlicher Unternehmer würde das niemals tun – er wollte wohl nur schnell Geld machen.'

Nach einem Skandal um einen Vereinsfunktionär sagt ein Mitglied: 'Ein echter Fan unseres Vereins würde so etwas nie tun.' – 'Aber er ist seit 30 Jahren Mitglied.' – 'Dann war er eben nie wirklich ein echter Fan von Herzen.'

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.

∀x(Scotsman(x) ⇒ P(x)); ¬P(a) ⇒ ¬TrueScotsman(a)
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 eine universelle Verallgemeinerung über eine Gruppe getroffen?

    Typ: binary
  2. 2

    Wird bei Konfrontation mit einem Gegenbeispiel die Gruppendefinition geändert, um es auszuschließen?

    Typ: binary
  3. 3

    Erfolgt die Neudefinition ad hoc (speziell erstellt, um Falsifikation zu vermeiden)?

    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