形式逻辑

---

研究思维形式结构及其规律的科学。

它撇开具体的思维内容，从形式结构方面研究概念、判断、推理及其联系的规律。思维形式就是概念、判断、推理，而思维形式的结构就是思维内容各部分间联系的方式。其中基本规律有同一律、不矛盾律、排中律、充足理由律。人们在思维时，必须遵守这些规律才能正确地思维。

形式逻辑是一门有著悠久历史并具有巨大生命力的学科。两千多年来，其内容在不断变化和发展。

形式逻辑在西方产生于古希腊时期，中国的古代和古印度差不多同时期也产生了这门科学，并形成了各自的逻辑传统，在中世纪，特别是在12世纪至14世纪，唯名论者对这门科学也作过一些发展。欧洲近代资本主义时期开始后，随著实验科学的发展，近代归纳逻辑发展起来了。

后来演绎逻辑也有了新的发展。特别是从莱布尼茨到布尔，他们应用数学方法研究逻辑问题，从而使数理逻辑这一新的学科产生并发展了。19世纪80年代以来，数理逻辑开始应用于数学基础问题的研究，如公理方法及其它有关证明的问题。20世纪30年代以来，数理逻辑又有了新的发展，其应用范围也由数学基础扩大到数学的其它分支。

数理逻辑的迅速发展，改进、充实并丰富了形式逻辑的内容，使其进一步适应现代科学思维发展水平。