Update logic-paradoxes.tex