O que é um formalista?

A resposta foi dada por uma mente brilhante, que recentemente se apagou: o lógico, filósofo, pianista e mágico americano Raymond Smullyan. É a seguinte:

Um formalista é aquele que não consegue entender uma teoria a não ser que ela não tenha sentido. 

Smullyan, que sempre foi uma pessoa divertida, contou também como a lógica o ajudou em tempos a arrancar um beijo a uma encantadora rapariga música de Nova Iorque logo no primeiro encontro que teve com ela. O diálogo que levou ao beijo foi mais ou menos o seguinte:

Ele: Pode fazer-me um favor?
Ela: Diga primeiro qual é.
Ele: Vou fazer uma afirmação acerca de si e que apenas exige um pouco de lógica para determinar se é verdadeira ou se é falsa. Se essa afirmação for verdadeira, dá-me um autógrafo; mas se a afirmação for falsa, dá-me um beijo.
Ela: Humm... diga lá. Qual é a afirmação?
Ele: Não me vai dar um autógrafo nem um beijo.

A encantadora jovem música reflectiu e, como também era inteligente, concluiu que não tinha outro remédio senão dar um beijo a Smullyan, para não ter de cair em contradição.

Como se vê, a lógica é bem mais útil do que muitos pensam e tem aplicações que mal imaginam.