形式逻辑学（Formal Logic）是一种研究演绎推理（deductive reasoning）和论证的形式化系统的学科。它主要关注命题的逻辑形式以及它们之间的推导关系，旨在建立一套形式化的逻辑语言和系统，以对论证和推理进行严谨的分析和评估。
形式逻辑学的基本概念包括：
1. 命题（Proposition）：一个可以被判断真假的陈述句。
2. 逻辑连接词（Logical connectives）：用于连接命题，形成复合命题的词汇，如“且”、“或”、“如果…则…”等。
3. 推理规则（Rule of inference）：用于从一组命题推导出另一组命题的规则，如 modus ponens 和 modus tollens。
4. 演绎有效性（Deductive validity）：如果一个论证的结构符合一定的推理规则，使得如果前提都为真，则结论必然为真，那么这个论证就是演绎有效的。
形式逻辑学的研究主要包括三个分支：命题逻辑（Propositional Logic）、一阶逻辑（First-order Logic）和高阶逻辑（Higher-order Logic）。命题逻辑专注于研究以命题为基础的推理，一阶逻辑在一命题逻辑的基础上引入了谓词和量词，以表达更复杂的概念和关系，而高阶逻辑则进一步研究了量词的层次和递归性质。
形式逻辑学在哲学、数学、计算机科学和人工智能等领域具有重要的应用价值。它可以帮助人们识别和纠正逻辑谬误，提高思维和沟通的清晰性和严谨性。
