12. Cavalieri o furfanti

Cavalieri e furfanti sono i protagonisti di un tipo di indovinelli logici inventati da Raymond Smullyan.

Su un'isola di fantasia, tutti gli abitanti sono o cavalieri, che dicono sempre la verità, o furfanti, che mentono sempre. Gli enigmi contengono un visitatore che approda all'isola e incontra piccoli gruppi di abitanti. Di solito il visitatore deve dedurre dalle loro affermazioni di che "tipo" sono gli abitanti, ma qualche indovinello richiede di dedurre altri fatti. L'enigma può anche consistere nella formulazione di una domanda (dalla risposta sì o no) che il visitatore possa porre agli abitanti per scoprire ciò che gli occorre sapere.

Alcuni di questi giochi sono stati spesso riformulati con ambientazioni diverse e riproposti singolarmente.

Di seguito alcuni esempi degli enigmi proposti da Smullyan.

Una domanda e tre risposte

Si considerino tre abitanti dell'isola: Arturo, Bernardo e Cesare.

Il Logico (un visitatore sbarcato sull'isola) chiede ad Arturo di che tipo sia, ma non riesce a sentire la risposta di Arturo.

Bernardo allora dice: "Arturo ha detto di essere un furfante"

Cesare dice: "Non credere a Bernardo: sta mentendo!"

Cosa si può dire di Arturo, Bernardo e Cesare?

Furfante o cavaliere?

Arturo: Se Bernardo è un furfante io sono un cavaliere.

Bernardo: Siamo di tipo diverso.

Di che tipo sono?

Il logico e due domande (molto complesso)

Il Logico, rivolgendosi ad Arturo e a Bernardo, chiede: "Siete entrambi cavalieri?"

Arturo risponde con un sì o con un no (a noi non è dato saperlo), ma il logico non ha sufficienti informazioni per risolvere il problema.

Il Logico chiede ancora: "Siete entrambi furfanti?"

Arturo risponde ancora con un sì o con un no e il logico è ora in grado di risolvere il problema.

Di che tipo sono Arturo e Bernardo?

Raymond Smullyan