两千多年来，悖论一直是逻辑学家、哲学家和数学家努力解决的大难题。在西方逻辑史上曾有过三次悖论研究的高潮，尤其是以罗素悖论为主的集合论悖论的研究拉开了现代悖论研究的序幕，集合论悖论和以说谎者悖论为代表的语义悖论成为国内外学者所共同关注和考察的对象。　　目前，学术界对悖论的研究主要集中于悖论的性质、悖论的成因以及悖论的消解等问题，特别是悖论的消解问题始终是学者关注和争论的热点。　　20世纪以来，大批研究者从不同的角度提出各种独具特色的解悖方案:从罗素的简单类型论到分支类型论、塔尔斯基的语言层次理论到克里普克的真值间隙论等。虽然这些解悖方案都不能圆满地解决悖论问题，但是诸多解决悖论的方案都包含有一个共同的思想:语言务必区分层次的思想，以此来消除悖论。罗素在类型论中首次提出语言可以区分层次思想，后经塔尔斯基、克里普克等研究者的发展，已经成为目前国际上一套较为完整的理论体系。　　本文首先从悖论的定义、本质、分类及解悖标准谈起，通过对语言层次理论在现代悖论消解过程中的作用的分析，可以清楚地看到该理论在各种解悖方案中的优劣得失和理论表现。本文虽然对现代悖论消解还不能建立一个较为完备的解悖方案，但是这种理论研究可以帮助研究者更加深入的把握悖论的实质，为寻求合理的解悖方案有重要的逻辑和哲学意义。