编者导语  

作　　者：刘新文[1] 

机构地区：[1]中国社会科学院哲学研究所

出　　处：《逻辑学研究》2015年第1期1-1,共1页Studies in Logic

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

关 键 词：现代逻辑 弗雷格 类型论 哲学逻辑 皮尔士 一阶逻辑 逻辑形式 相干逻辑 公理化 何树 

分 类 号：B81[哲学宗教—逻辑学]