摹物求比 沈有鼎及其治学之路PDF电子书下载

一、沈有鼎著作 3

牛津来书一 3

牛津来书二 5

有关三段论的几个问题 6

模态与数理逻辑 31

A Calculus of Individuals and Truth-Values 38

关于周延问题 86

论模态 93

现行《公孙龙子》的主要论题及三个公孙龙 110

关于因明的三张图表 112

Theory of Simple Types 115

给全国首届因明学术讨论会的贺信 122

在金岳霖学术思想讨论会上的发言 123

二、沈有鼎学术思想研讨会论文选 129

沈有鼎学术思想研讨会开幕词&陈筠泉 129

沈有鼎学术思想研讨会闭幕词&姚介厚 132

沈有鼎的贡献&刘培育 136

学习沈有鼎先生科学的治学精神&周云之 146

沈有鼎先生论中国哲学的开展：一个文化理想的失落&冼景炬 155

沈有鼎先生的真理观&李全德 163

清华学派与20世纪中国哲学的学术伦理&胡伟希 170

颜色不相容与卡茨语义学&郭伟文 177

逻辑的共同性与特殊性&崔清田 188

论量词及其辖域对分析命题形式的意义&袁正校 198

证明的有效性&樊明亚 205

归纳原则永真性的类逻辑形式证明&张学立 212

忆沈有鼎先生对于我的辩证逻辑思想的评价&且大有 219

对辩证逻辑形式化的一点意见——读沈有鼎的《论“思维形式”和形式逻辑》一文有感&金顺福 222

沈有鼎的广义模态思想&张家龙 229

Rigid Designation，Existence，and Semantics for Quantified Modal Logic&Wong Kai-Yee　王启义 235

蒯因论标准逻辑出了什么问题?——读沈有鼎先生《初基演算》的体会&周柏乔 251

初基演算的邻域语义学&刘壮虎 258

初基演算的纯蕴涵系统&杜国平 268

Six Classes of Sheffer s Operations &Anzhou Yang(杨安洲) 273

关于只有单个足够的初始联结词的经典命题逻辑演算&宋文淦 276

沈有鼎论纯逻辑&李小五 283

邓析“两可之说”的弗协调逻辑态度&张清宇 291

DRT的自然推演系统S_(DRT)&邹崇理 297

悖论十七条——论沈有鼎教授的手稿A，B，C&叶锦明 303

论沈有鼎先生的悖论研究&沈跃春 313

从《周易》逻辑到墨辩逻辑——应重视《周易》在逻辑史和中国古代逻辑源流中的地位&王与田 320

墨家逻辑的新生——论沈有鼎<墨经》逻辑研究的成就、方法和意义&孙中原 328

关于沈有鼎先生对《墨经》中命题变项与逻辑规律研究的述评&张忠义 336

沈有鼎《墨经》研究特色&董志铁 343

论沈有鼎研究墨家逻辑的方法&杨武金 353

沈有鼎对《公孙龙子》的评价&王丽娟 362

西方的《公孙龙子》研究&冯耀明 370

试说《白马论》&诸葛殷同 389

三、难忘师生情 399

天真奇特——回忆沈有鼎先生&王路 399

老师·咖啡·昆曲&阮仁慧 403

回忆公武师二三事&苏天辅 408

从沈有鼎先生给我的帮助谈起&梁志学 412

对沈有鼎先生的再认识&倪鼎夫 416

附录 427

沈有鼎小传&中国社会科学院哲学研究所逻辑室 427

后记 430