|
|||||
|
|
| 编者导语 | |
| 作者姓名： | 刘新文 |
| 作者单位： | 中国社会科学院哲学研究所 |
| 摘 要： | <正>现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的"数理逻辑黄金时代"和70年代的"哲学逻辑黄金时代"。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类型论;一阶逻辑成为大写的逻辑(the logic)则要 |
| 关 键 词： | 现代逻辑 弗雷格 类型论 哲学逻辑 皮尔士 一阶逻辑 逻辑形式 相干逻辑 公理化 何树 |
| 本文献已被 CNKI 等数据库收录！ | |