形式语用学

形式语用学（formal pragmatics），哲学-哲学-逻辑学-逻辑，对隶属于语用层面的语言现象、过程、原则和语境等做形式化刻画而形成的学科领域。作为一种跨学科的领域，形式语用学在逻辑学、语言学、人工智能等多个学科分别开展。主要研究方向包括推理语用学各派理论的形式化研究，对语境的形式化刻画，话语表现理论（DRT）从语义现象向语用现象的拓展；优选论（optimality theory）对语用现象的研究，以及围绕博弈论、相干逻辑、决策理论和溯因推理等逻辑理论构建的形式语用理论。