语用学是关于语言使用的语言学分支,主要研究语言行为的社会性和交互性特征和语言在不同语境下语义的差异。形式语用学是应用现代数学方法和逻辑手段对语用学中的非形式化概念和语用推理进行形式化分析的一门新兴的边缘科学,较之语用学本体研究,它更关注语用推理论证的科学性和逻辑的严密性,其最终目标是构建严格意义上的形式化模型,以便为人工智能和计算机科学实现自然语言理解和机器智能提供有效的途径和方法。语料库是自然语言语料的集合,现代语料库主要以电子文档的形式保存,规模至少在1万词(字)以上。按照研究需要,可以选择不统的语料来组成语料库。语料库可以使用专门的软件进行处理。语料库语言学是利用语料库进行研究语言的学科。大规模语料库可以帮助研究者对语言现象进行基于统计学的定量和定性研究。对语料库的研究可以揭示一些观察研究所不能发现的问题。语料库语言学可以对把握语言的整体起到很大的帮助作用。在本文中,我们将讨论部分语言现象如言外行为、预设和蕴涵、溯因推理、缺省推理、信任推理等的形式化。利用形式化的结果,我们对语用失误作了分类,编制了程序对SECCL(中国学生英语口语语料库)赋码,用Wordsmith Tools对所赋语码进行检索,并使用SPSS分析了检索结果。通过分析我们发现,大学英语专业二年级学生口语中的语用失误的出现频率较高,并能反映出学生语用知识和语用技巧的掌握程度不能令人满意。因此,我们建议,在英语专业的课程中应当加上逻辑学或数学课,在日常教学中应当更加注重语用知识的教授,同时需要提高学生的语用意识。