本讲座将从自指和逻辑的角度讨论若干以“真”、“集合”、“知道”、“可证”等哲学概念为核心的悖论，并试图刻画出这些悖论的共同形式结构。此外，讲座还试图从这些悖论的不同解决方案和悖论与反证法的关系对悖论的一般哲学意蕴以及何谓悖论的消解这些元问题做出一些尝试性的探索。