形式逻辑是什么意思

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

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

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

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