逻辑的历程PDF电子书下载

论蕴涵&王宪钧 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