形式逻辑（Formal logic）是一种研究推理和论证有效性的逻辑系统。它关注的是语句的结构，特别是前提和结论之间的关系，以及如何构建有效的论证。形式逻辑并不关注语句的含义、语境或真值，而是关注语句的形式结构。

形式逻辑可以分为两个主要类型：

1. 演绎逻辑（Deductive logic）：这是一种从前提（premises）推导出结论（conclusion）的逻辑系统。在演绎逻辑中，前提必须为真，才能保证结论也为真。例如，如果前提是“所有人都会死”和“苏格拉底是人”，那么结论“苏格拉底会死”就是必然的。

2. 归纳逻辑（Inductive logic）：这是一种从事实或观察中推断出一般原则的逻辑系统。在归纳逻辑中，我们从一些实例中推断出一般原则，但不能保证这个原则在所有情况下都为真。例如，如果我们看到许多红苹果是甜的，那么我们可以推断出一般原则“所有红苹果都是甜的”，但这个原则并不能保证在所有情况下都为真。

形式逻辑是关于思维的形式及其规律的科学。研究概念、判断、推理等主要思维形式和研究同一律、矛盾律、排中律等思维规律是形式逻辑的内容。

形式逻辑也较普通，逻辑研究思维形式及其规律的科学，它是一门工具性质的科学，就是运用概念，进行判断推理的思维形式。

形式逻辑也叫普通逻辑。研究思维形式及其规律的科学。它是一门工具性质的科学，是人们认识事物、表达思想时经常运用的一种必要的逻辑工具。

人的认识在理性阶段要实现对客观世界的反映，就要实现思维内容和思维形式的统一，否则，就不能实现这个反映。思维内容就是思维所反映的对象及其属性，形式就是对某个对象反映的方式，也就是用词语表达的概念、用语句所表达的判断和用复句所表达的推理等。