逻辑学奠基人

形式逻辑的典范通常被认为是古希腊哲学家亚里士多德（Aristotle）。他是系统研究逻辑学的第一人，其著作《工具论》（Organon）奠定了形式逻辑的基础。

亚里士多德的贡献：

1. 三段论（Syllogism）

 - 亚里士多德提出了三段论推理，这是形式逻辑的核心内容之一。三段论由大前提、小前提和结论组成，形式如下：

   - 大前提：所有人都是会死的。

   - 小前提：苏格拉底是人。

   - 结论：苏格拉底会死。

 - 这种推理形式成为逻辑学中分析论证有效性的重要工具。

2. 分类与定义

 - 亚里士多德对概念的分类和定义进行了系统研究，提出了“属加种差”的定义方法，为逻辑学中的概念分析提供了框架。

3. 逻辑规律

 - 他提出了逻辑学的基本规律，如**矛盾律**（一个命题不能同时为真和假）和**排中律**（一个命题要么为真，要么为假）。

4. 工具论

 - 《工具论》是亚里士多德逻辑学的主要著作，包括《范畴篇》《解释篇》《前分析篇》《后分析篇》《论题篇》和《辩谬篇》。这些著作系统阐述了逻辑学的基本原理和方法。

其他重要人物：

虽然亚里士多德是形式逻辑的奠基人，但其他哲学家和逻辑学家也对形式逻辑的发展做出了重要贡献：

- 弗雷格（Gottlob Frege）：现代逻辑的创始人，提出了谓词逻辑，为数学基础研究奠定了基础。

- 罗素（Bertrand Russell）：与怀特海合著《数学原理》，将逻辑学推向新的高度。

- 哥德尔（Kurt Gödel）：提出了不完备性定理，对逻辑学和数学基础研究产生了深远影响。

总之，亚里士多德是形式逻辑的典范，而现代逻辑学的发展则离不开弗雷格、罗素等逻辑学家的贡献。