本书分上、下两篇。上篇阐明可知性悖论的缘起，分析可知性悖论推导过程中所使用的前提，构建刻画可知性悖论的双模态逻辑语言，以及评述国内外代表性解悖方案的优缺点；下篇提出解悖方案的新思路，构建一批新的逻辑系统，对原逻辑系统进行强化或弱化，从而厘清导致可知性悖论的关键所在。