人们在日常生活中的各种场合大量使用着偏好这一概念。偏好这一概念具有丰富的内涵，无论在哲学、经济学、计算机领域都有广泛的应用。研究者对于偏好的研究从上个世纪基于偏好域的二元关系发展到近十年来使用模态语言来表达命题间偏好，乃至当下与认知逻辑结合起来表达偏好的动态特征。在这一系列的发展中我们可以看到，偏好这一概念被极大丰富了。本文着重分析这一发展过程中重要的尝试和具有争议的问题，并对在每一部分中技术构造存在的问题提出了讨论和解决方案。本文的第二部分梳理了偏好作为一个二元关系如何建立数学模型，以及公理化的种种尝试，并且着重讨论了有关偏好两个最具争议的性质：完全性和传递性，并以大量的经典例子来说明完全性和传递性并非是理性主体偏好所必须具备的性质。本文第三部分则侧重刻画命题间的偏好，刻画方式从最自然的命题之间的二元模态算子到一元模态算子乃至动态算子，从建立语言到语义模型到可完全公理化的结论。本文第四部分是总结。