Vamos neste seminário abordar as aparentes contradições lógicas de enigmas com auto-referência e a forma de conseguirmos livrar-nos delas. "Dizes a verdade ou mentes?", "Qual a aldeia dos mentirosos?" e "Será que a testemunha cometeu perjúrio?" são perguntas e enigmas aos quais pretendemos responder e esclarecer por exemplos. Vendo bem, se nos disserem "Se mentires morres enforcado, se disseres a verdade morres afogado" é bom que saibamos que resposta dar para não morrer. E já que é a nossa vida que está em jogo, porque não usar a matemática?