论蕴涵&王宪钧 1
m-VALUED SUB-SYSTEM OF(m+n)-VALUED PROPOSITIONAL CALCULUS&HOO TZU-HUA 13
逻辑课程的现代化&王宪钧 21
试述《墨辩》中若干范畴的理论&李世繁 26
略述现有形式逻辑存在的主要问题及其解决途径&杜岫石 34
传统逻辑与数理逻辑&晏成书 43
黑格尔怎样评论形式逻辑的作用与局限性&彭燕韩 57
关于形式化的几个问题&吴允曾 64
等度和不等度的结构及在P-T度下集合的分离性质&刘壮虎 72
二重命题逻辑系统．B4&郭世铭 83
辩证思维议&宋文坚 89
主次条件句逻辑&刘壮虎 李小五 101
涵义语义与关于概称句推理的词项逻辑&周北海 119
How G？del Relates Platonism to Mathematics&XING TAOTAO 135
The Applicability of Mathematics as a Scientific and a Logical Problem&YE FENG 160
Proper Names,Contingency A Priori and Necessity A Posteriori&CHEN BO 193
On Axiomatizations of Public Announcement Logic&WANG YANJING 233
附录 历届博士生论文摘要 256