论文部分内容阅读
现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的＂数理逻辑黄金时代＂和70年代的＂哲学逻辑黄金时代＂。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类型论;一阶逻辑成为大写的逻辑（the logic）则要等到40年代。逻辑通常被视为对推理的研究，对于一个命题或一个推论，最高等级的正确性即为“逻辑有效性”。