论文部分内容阅读
形式系统是现代数理逻辑的一个重要内容。形式系统从大的方面通常分为两大类:公理系统和自然演绎系统。除了这两种主要的形式系统之外,随着现代数理逻辑的不断发展,越来越多的新的形式系统也开始不断出现并得到发展和广泛应用,比如序列演算系统、表列系统,等等。不同的形式系统各有其特点,也都有各自的优点和缺点。形式系统的评价标准主要有两个方面:内容本身和实际推理。形式系统都有其缺点和问题,因此,形式系统是有其内在的局限性的。形式系统具有严格性和精确性,为人们日常生活以及各门学科中的推理提供了一种典范的样本。形式系统在各种理论和各门学科中都得到了广泛的应用,它向人们雄辩地证明了抽象理论的力量。