形式逻辑作为一门研究推理和论证的学科，在多个大学专业中都有涉及。以下是一些主要包含形式逻辑内容的专业：

哲学专业：

哲学专业的学生通常会学习形式逻辑、非形式逻辑以及符号逻辑等课程，以培养批判性思维能力和论证技巧。

计算机科学专业：

逻辑学在计算机科学中应用广泛，尤其是在人工智能、软件工程和理论计算机科学等领域。学习逻辑学有助于学生构建有效的计算模型和系统，确保程序的正确性和效率。

数学专业：

数学中的证明和推理过程涉及到形式逻辑，数理逻辑是数学的一个分支，使用逻辑原理来研究数学证明和概念。

语言学：

逻辑学在语言学研究语言的结构和功能中扮演重要角色，帮助学生理解语言中的推理和论证。

法学专业：

法律推理和案例分析需要掌握逻辑学的基本原理，以增强分析和论证能力。

心理学专业：

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

综上所述，如果你对形式逻辑有浓厚的兴趣，并且希望在未来从事相关领域的研究或工作，那么哲学专业、计算机科学专业、数学专业、语言学专业的相关专业都是不错的选择。这些专业不仅提供形式逻辑的系统学习，还能帮助学生将逻辑学的原理应用于实际问题的解决中。