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!

Petitio Principii (Begging the Question)

Auch bekannt als: Petitio Principii Circular Argument Assuming the Conclusion
Informal Fallacy ID: begging_the_question

Definition

Petitio Principii (Begging the question) tritt auf, wenn die Prämissen eines Arguments die Wahrheit der Konklusion voraussetzen, wodurch das Argument zirkulär wird. Im streng logischen Sinne ist es eine Form des Zirkelschlusses, bei dem die Konklusion in die Prämissen eingeschmuggelt wird, oft durch Umformulierung oder implizite Annahme. Es unterscheidet sich von der häufigen falschen Verwendung der Phrase 'begs the question' (im Sinne von 'wirft die Frage auf').

Beispiele

"Meinungsfreiheit ist wichtig, weil die Leute sagen können sollten, was sie wollen." (Die Prämisse – die Leute sollten sagen können, was sie wollen – ist einfach eine Neuformulierung der Konklusion, dass Meinungsfreiheit wichtig ist.)

Ein Werbespot behauptet: 'Unser Shampoo ist das beste, weil kein anderes Shampoo besser ist.' (Die Begründung – kein anderes ist besser – ist lediglich eine andere Formulierung der Ausgangsbehaupting, dass es das beste sei, ohne einen echten Beweis zu liefern.)

In einer politischen Debatte sagt ein Kandidat: 'Mein Wirtschaftsplan wird funktionieren, denn er ist ein guter Plan, und gute Pläne funktionieren.' (Die Prämisse setzt einfach voraus, was erst bewiesen werden müsste – nämlich dass der Plan tatsächlich gut ist.)

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.

P (where P is equivalent to or presupposes the conclusion C); therefore C
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

    Setzt eine Prämisse die Konklusion voraus oder formuliert sie neu?

    Typ: binary
  2. 2

    Könnte jemand, der die Konklusion bezweifelt, auch vernünftigerweise die Prämisse anzweifeln?

    Typ: binary
  3. 3

    Bietet das Argument unabhängige Unterstützung für die Konklusion?

    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