前言 论蕴涵 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 附录历届博士生论文摘要 · · · · · · (收起)