逻辑的历程

前言

论蕴涵

m-VALUED SUB-SYSTEM OF （m+n）-VALUED

PROPOSITIONAL CALCULUS

逻辑课程的现代化

试述《墨辩》中若干范畴的理论

略述现有形式逻辑存在的主要问题及其

解决途径

传统逻辑与数理逻辑

黑格尔怎样评论形式逻辑的作用与局限性

关于形式化的几个问题

等度和不等度的结构及在P-T度下集合的

分离性质

二重命题逻辑系统B4

辩证思维议

前言

论蕴涵

m-VALUED SUB-SYSTEM OF （m+n）-VALUED

PROPOSITIONAL CALCULUS

逻辑课程的现代化

试述《墨辩》中若干范畴的理论

略述现有形式逻辑存在的主要问题及其

解决途径

传统逻辑与数理逻辑

黑格尔怎样评论形式逻辑的作用与局限性

关于形式化的几个问题

等度和不等度的结构及在P-T度下集合的

分离性质

二重命题逻辑系统B4

辩证思维议

主次条件句逻辑

涵义语义与关于概称句推理的词项逻辑

HOW G8del Relates Platonism to

Mathematics

The Applicability of Mathematics as a Scientific

and a Logical Problem

Proper Names，Contingency A Priori and Necessity

A Posteriori

0n Axiomatizatio of Public Announeement

Logic

附录历届博士生论文摘要

《逻辑的历程》主要选编了自北京大学哲学系逻辑教研室成立以来，逻辑教研室教师的部分有代表性的研究成果，个别论文上溯到40年代。这些论文，反映了北京大学逻辑学研究的发展，反映北京大学哲学系几代人在逻辑学领域的艰苦耕耘。这些论文也是中国的逻辑学、特别是现代逻辑发展的一个缩影，也从一个侧面讲述了中国的现代逻辑从引进到与国际接轨、一直到成为国际逻辑研究的一部分的艰难历程。逻辑学博士的博士论文是北京大学逻辑学研究的重要组成部分，所以论文集还选编了自1988年至2011年的全部博士论文的论文摘要。