论文部分内容阅读
作为一门形式科学，逻辑学的基本特征是形式的。在逻辑学的发展过程中，逻辑学经历了由半形式化到形式化的变化。形式化是一种简便的抽象方法，主要是引用字母或是其他技术手段，如人工的表意符号，来表示具有相同特征的被研究的具体对象这样我们就可以把对具体对象的研究转换为对符号的研究。从这个意义上来看逻辑学的发展过程也可以说是一个形式化的过程。但是在这个形式化的过程中，不同时期逻辑学形式化的程度表现也不同。
本文主要以逻辑形式化为主线，从古典逻辑出发，阐述了亚里士多德逻辑和斯多葛学派逻辑，近代莱布尼茨的形式化思想，现代逻辑中弗雷格以及罗素的完全形式化的逻辑即数理逻辑。最后，本文以当今最常见的希尔伯特型逻辑为基础，阐述了当代逻辑在形式方面的主要特点。