逻辑学 第一讲：绪论.pptVIP

逻辑学的现代状况 作为现代阶段的形式逻辑，也就是现代逻辑，在内容方面的主要特点有：一是形式化的演算方法；二是构建纯粹的形式体系，之后再寻求日常语言的合宜解释；三是规律乃以人工语言形成，并由相似于数学符号的符号组成。 17世纪德国莱布尼茨最早提出要把逻辑处理成演算，成为现代逻辑的最早开拓者。 19世纪中叶英国布尔创建了逻辑代数，初步实现了莱布尼茨的思想。 稍后德国弗雷格引进量词和约束变元，最早建立了谓词公理系统。 布尔（1815-1864） 弗雷格（1848-1925） 20世纪初，英国罗素总结了符号逻辑的发展，与怀特海合作撰写了《数学原理》，建立了两个完整的演算系统。 20世纪20年代，哥德尔一阶谓词演算完备性定理建立，标志着现代逻辑基础部分的完成。 哥德尔（1906-1978） 罗素（1872-1970） 近几十年来，现代逻辑发展迅速，至今已成为门类众多的一门学科：从两个演算到四论；从标准的逻辑到非标准的逻辑；从对象逻辑到元逻辑；从数学、科学的发展到哲学的、语言的发展等等。 现代逻辑也包括了归纳逻辑的现代发展。归纳逻辑一个重要的现代形态是概率统计。这是一类形式化、数量化的归纳逻辑，它主要以两个演算和概率理论作工具，对归纳逻辑、归纳方法作形式化的处理。 现代逻辑的显著特征： 第一，形式化的程度越来越高，从而使得逻辑更为严密、精确、抽象。 第二，与现代科学结合越来越紧密，作