Zwei Sorten Menschen, ein einziger Ausgang
Smullyans Insel
Auf dieser Insel wohnen nur zwei Sorten: Ritter, die niemals lügen, und Knappen, die niemals die Wahrheit sagen. Beide sehen gleich aus, beide reden gern. Du hörst, was sie übereinander behaupten — und musst allein daraus schließen, wer welcher Sorte angehört. Kein Vorwissen, keine Namen, die man kennen müsste: nur der Satz vom Widerspruch und ein wenig Geduld. Drei Fälle täglich, und jeder hat genau eine Auflösung — nachgerechnet, bevor er dir vorgelegt wird.
Iris
„Kallias und Melissa sind von derselben Art."
Kallias
„Genau 2 von uns sind Ritter."
Melissa
„Genau 2 von uns sind Ritter."
Raymond Smullyan (1919–2017) war Logiker, Pianist und Zauberkünstler und hat diese Rätselform in „What Is the Name of This Book?" (1978) berühmt gemacht. Ihr Reiz ist nicht das Rätselraten, sondern eine alte philosophische Verlegenheit im Kleinformat: Wer nur lügt, verrät durch das Lügen ebenso zuverlässig die Wahrheit wie der, der sie sagt — man muss nur wissen, mit wem man es zu tun hat. Der Lügner ist berechenbar; unberechenbar wäre erst der, der manchmal lügt. Die Verwandtschaft zur Antinomie des Kreters, der alle Kreter Lügner nennt, ist kein Zufall: Smullyan hat sein Leben lang an der Grenze gearbeitet, an der Selbstbezüglichkeit ein Satzgefüge zum Einsturz bringt.
Die Fälle hier sind maschinell erzeugt und maschinell geprüft: Ein Solver geht jede mögliche Verteilung durch und legt nur vor, was genau eine Lösung zulässt — und worin keine Aussage entbehrlich ist. Aristoteles hätte den Kern in einem Satz gehabt: Dasselbe kann demselben nicht in derselben Hinsicht zugleich zukommen und nicht zukommen.