🧪 Diese Plattform befindet sich in der Beta-Phase. Funktionen können sich ändern und es können Fehler auftreten. Danke für dein Feedback!
quantifier_shift
Der Fehlschluss der Quantorenverschiebung tritt auf, wenn die Reihenfolge von Quantoren unrechtmäßig vertauscht wird und sich dadurch die Bedeutung einer Aussage ändert. 'Für jedes X existiert ein Y' unterscheidet sich stark von 'es existiert ein Y für jedes X.' Das erste besagt, dass jedes X sein eigenes Y hat (möglicherweise unterschiedliche), während das zweite besagt, dass ein einziges Y für alle X dient. Diese subtile Umordnung kann eine wahre Aussage komplett in eine falsche verwandeln.
"Jeder Mensch hat eine Zahl, die ihn glücklich macht, wenn sie addiert wird." wird zu "Es gibt eine Zahl, die jeden Menschen glücklich macht, wenn sie addiert wird." (Ersteres sagt, jeder hat seine eigene Glückszahl; letzteres behauptet, eine Zahl funktioniere für jeden.)
Ein Vorgesetzter sagt: 'Jeder Mitarbeiter hat ein Projekt, das ihm besonders am Herzen liegt.' Daraus schlussfolgert er: 'Es gibt also ein bestimmtes Projekt, das allen Mitarbeitern besonders am Herzen liegt.' – Dabei meinte die ursprüngliche Aussage, dass jeder sein eigenes Lieblingsprojekt hat.
In einer politischen Debatte heißt es: 'Jeder Bürger hat eine Partei, der er am ehesten vertraut.' Der Moderator fasst zusammen: 'Es gibt also eine Partei, der alle Bürger am ehesten vertrauen.' – Die Umkehrung der Quantoren verändert die Bedeutung grundlegend.
FORALL x EXISTS y: R(x,y) -> EXISTS y FORALL x: R(x,y) [invalid]
Binäre (Ja/Nein) Fragen, die ein LLM beantworten muss, um diesen Aspekt zu identifizieren:
Verwendet das Argument Quantoren (alle, einige, jeder, es existiert)?
Typ: binaryWurde die Reihenfolge der Quantoren zwischen Prämissen und Konklusion vertauscht?
Typ: binaryVerändert die Umordnung der Quantoren die Bedeutung der Aussage?
Typ: binaryDer Fehlschluss der Quantorenverschiebung tritt auf, wenn die Reihenfolge von Quantoren unrechtmäßig vertauscht wird und sich dadurch die Bedeutung einer Aussage ändert. 'Für jedes X existiert ein Y' unterscheidet sich stark von 'es existiert ein Y für jedes X.' Das erste besagt, dass jedes X sein eigenes Y hat (möglicherweise unterschiedliche), während das zweite besagt, dass ein einziges Y für alle X dient. Diese subtile Umordnung kann eine wahre Aussage komplett in eine falsche verwandeln.
Der Unterschied zwischen Quantoren-Reihenfolgen ist subtil und geht leicht in der natürlichen Sprache verloren, die den Geltungsbereich von Quantoren nicht immer klar macht. Die beiden Lesarten klingen ähnlich genug, um verwechselt zu werden.
Mache den Geltungsbereich des Quantors durch Umformulierung explizit. Frage: 'Sagen Sie, dass jeder Einzelne sein eigenes hat, oder dass es ein universelles gibt?' Formalisiere die Aussage bei Bedarf.
Tritt in mathematischen und philosophischen Argumenten auf, bei politischen Versprechen ('jeder wird einen Arzt haben' vs. 'ein Arzt wird für alle zuständig sein') und in Werbebehauptungen, bei denen der Umfang von Garantien mehrdeutig ist.
Nutze diese Tools, um diesen Aspekt zu erkennen, zu analysieren oder zu trainieren.