形式逻辑是一门研究推理和论证的科学，它在多个学科中都有应用。以下是一些专业，它们可能会在考试或课程中包含形式逻辑的内容：

哲学专业：

学生通常会学习形式逻辑、非形式逻辑以及符号逻辑等课程。

计算机科学专业：

逻辑学在这里帮助学生理解如何构建有效的计算模型和系统，确保程序的正确性和效率。

语言学专业：

逻辑学在语言学研究语言的结构和功能中扮演重要角色。

数学专业：

数学中的证明和推理过程就涉及到形式逻辑。

心理学专业：

在研究思维过程和决策时，可能会用到形式逻辑。

法学专业：

法律推理和案例分析需要掌握逻辑学的基本原理。

此外，随着研究生考试制度的改革，越来越多的专业开始将逻辑学纳入考试范围，尤其是在管理类和经济类专业硕士的入学考试中。例如，会计硕士、图书情报硕士、工商管理硕士、公共管理硕士、旅游管理硕士、工程管理硕士、审计硕士、金融硕士、应用统计硕士、税务硕士、国际商务硕士、保险硕士和资产评估硕士等专业都可能要求考生参加逻辑科目的考试。

需要注意的是，在研究生入学考试的综合能力考试中，逻辑推理部分主要考查考生的逻辑思维能力，而不考查逻辑学的专业知识。