刘壮虎：现代逻辑三十年 (点击打开PDF文档)
（在“纪念中国逻辑学会成立30周年大会”上的发言，2009年10月24日，四川成都）
以下信息来自吴家国“中国逻辑学会大事记”，涉及中国逻辑学会现代逻辑专业委员会的前身——中国逻辑学会符号逻辑研究会/专业委员会和西方逻辑史研究会/专业委员会：
（1979年）8月23-29日，中国社会科学院哲学研究所在北京通县召开第⼆次全国逻辑讨论会……（开幕式上）北京⼤学逻辑教研室主任作了“逻辑与现代化”的发⾔。开幕式后，与会同志分成四个组（即形式逻辑组、辩证逻辑组、数理逻辑组和逻辑史组）进⾏学术交流与专题研讨。其中，对“形式逻辑现代化”问题讨论得⼗分热烈，不同的理解和主张之间还开展了争论。
（1981年）9月19日晚上和20日下午……中国逻辑学会召开理事扩大会……确定了中国逻辑学会副会长的分工：王宪钧分管即将成立的符号逻辑和研究会……江天骥分管即将成立的西方逻辑史研究会。
（1982年）8月24日至28日，中国逻辑学会和中国社会科学院哲学研究所在北京大学召开全国数理逻辑讨论会，我国逻辑、数学和计算机界的数理逻辑工作者近60人参加了会议。这次会议采取报告为主的形式。王宪钧在报告中对我国哲学部门数理逻辑的教学与研究提出了建议；胡世华谈了文科数理逻辑工作者的素养问题和数理哲学问题；宴成书介绍了美国五所主要大学哲学系数理逻辑课程设置情况；王世强、唐稚松分别介绍了模型论、理论计算机方面的进展和自己最近的工作；沈有鼎、马希文分别介绍了各自在模态逻辑和“知道”逻辑方面的工作，并对哲理逻辑的研究谈了自己的见解；胡静婉介绍了集合论公理系统ZF。会议还就我国高等学校数理逻辑教学与师资培养问题进行了座谈。会上成立了中国逻辑学会数理逻辑研究会【注：此处“数理逻辑研究会”似应为“符号逻辑研究会”】，选举出第一届理事会及其领导成员：王宪钧任会长，张尚水任秘书长。
（1982年）10月16-26日，中国逻辑学会和湖北省逻辑学会在湖北孝感召开全国第一次西方逻辑史讨论会，30余名逻辑专业工作者参加了会议。会议收到16篇论⽂。与会同志在会上交流了各⾃的研究成果，主要讨论了⻄⽅逻辑史的研究对象问题，此外还讨论了亚⾥⼠多德逻辑、⻨加拉斯多葛学派逻辑、中世纪逻辑、莱布尼茨和布尔的逻辑、弗雷格逻辑、罗素逻辑等。会上成⽴了中国逻辑学会⻄⽅逻辑史研究会，选举产⽣了第⼀届理事会及其领导成员：江天骥任会⻓，张家⻰任秘书⻓。理事会聘请王宪钧、李匡武、徐孝通、葛⼒为顾问。会后出版了这次会议的论⽂集《⻄⽅逻辑史研究》（江天骥主编，⼈⺠出版社1984年出版）。
（1983年）10月8-13日，中国逻辑学会、湖南省社联、湖南师范学院在长沙市联合主办中国逻辑学会学术讨论会（含……第二次西方逻辑史讨论会）。到会正式代表165人（其中……参加西方逻辑史讨论会的代表30人）……西方逻辑史讨论会主要讨论了五个问题：1. 关于西方逻辑史研究的方法论；2. 关于亚里士多德逻辑著作的翻译及其年代顺序；3. 关于亚里士多德的思维规律论；4. 关于亚里士多德的模态三段论；5. 关于卢卡西维兹的《亚里士多德三段论》。
（1984年）1月17日，中国逻辑学会在中国人民大学召开第二届理事会第一次常务理事会议。……会上讨论并确定了常务理事的分工：……符号逻辑研究会由莫绍揆负责……西方逻辑史研究会由江天骥负责。
（1984年）8月21-17日，中国逻辑学会……西方逻辑史研究会在旅顺……召开……全国第三次西方逻辑史讨论会。……在⻄⽅逻辑史讨论会上，与会代表主要讨论了三⼤逻辑发祥的“同步”现象、古希腊罗⻢逻辑的历史地位、中世纪逻辑的成就、现代逻辑中的逻辑语义学历史发展、克⾥普克和卢卡⻄维茨的逻辑研究、归纳逻辑的发展等问题。
（1985年）8月22-28日，中国逻辑学会……西方逻辑史研究会在西安陕西省委党校召开……全国第四次西方逻辑史讨论会……讨论了哲学逻辑的形成、多值逻辑的历史、形式化⽅法的发展、拉姆赛的悖论学说、⽪尔⼠的谓词逻辑、普赖尔的模态观点等问题｡
（1987年）8月7-12日，全国……第五次西方逻辑史讨论会在北京中国人民大学举行。……在西方逻辑史讨论会上，杭州大学邱国权对皮尔士的符号学作了解释，哈尔滨师范大学弓肇祥介绍了自己构造的一个三段论自然演绎系统，北京师范大学杨百顺介绍了他近期将要出版的专著《比较逻辑史》，湖北大学孙学钧就专名理论的发展作了发⾔，上海社会科学院哲学所朱⽔林围绕塔斯基《形式语⾔中的真理概念》⼀⽂作了发⾔。
（1989年）8⽉24—29⽇，中国逻辑学会符号逻辑研究会在北京师范⼤学召开第⼆次代表⼤会暨学术讨论会，40⼈参加。会上交流了近⼏年符号逻辑研究的成果，选举产⽣了第⼆届理事会：王世强任会长，张尚⽔任副会长，张清宇任秘书长。
（1990年）10月8日至12日，中国逻辑学会符号逻辑研究会在苏州大学召开全国哥德尔不完全性定理学术研讨会，主题是促进对哥德尔不完全性定理的内容、证明、意义的深刻理解，探讨该定理在逻辑学、哲学、数学、计算机科学方面的影响。
（1990年）10⽉16—21⽇，中国逻辑学会形式逻辑研究会、⻄⽅逻辑史研究会和湖北⼤学在武汉联合召开第五次全国形式逻辑讨论会和第六次⻄⽅逻辑史讨论会。……参加⻄⽅逻辑史讨论会的有30⼈，提交论⽂、资料15篇。⼤会学术交流后，……参加⻄⽅逻辑史讨论会的同志主要讨论了三⽅⾯的问题：(1)现代逻辑史上⼏个主要⼈物（如德摩根、布尔、弗雷格、希尔伯特）的思想；(2)如何从逻辑史发展的⻆度认识逻辑语义学；(3)逻辑推论和蕴涵的关系。……会议期间，⻄⽅逻辑史研究会也改选了理事会。江天骥任名誉会长，马⽟珂任会长，宋⽂坚任副会长，张家龙任副会长兼秘书长。
（1991年）10月5日，《⼈⺠⽇报》刊载中华⼈⺠共和国⺠政部社团登记公告，中国逻辑学会经半年申请，已获准登记，登记证号为第0586号。证上载明：中国逻辑学会是学术性团体，宗旨是提⾼中国逻辑科学⽔平，业务范围是理论研究､学术交流｡根据要求,中国逻辑学会下设的12个⼆级研究会⼀律改为专业委员会，即：语⾔逻辑专业委员会，符号学专业委员会，辩证逻辑专业委员会，形式逻辑专业委员会，符号逻辑专业委员会，法律逻辑专业委员会，经济逻辑专业委员会，归纳逻辑专业委员会，科学逻辑专业委员会，中国逻辑史专业委员会，⻄⽅逻辑史专业委员会，党校逻辑教学专业委员会。
（1993年）1月9日，中国逻辑学会召开在京常务理事会议……初步定于1993年8、9月在哈尔滨召开中国逻辑学会学术讨论会，重点是现代逻辑。
（1993年）8月3-7日，中国逻辑学会在哈尔滨举办现代逻辑讨论会，来自全国各地的70多名学者出席了会议。会上，学者们对现代归纳逻辑、符号逻辑、西方逻辑史和逻辑哲学方面的问题展开了热烈的讨论。会议期间，……改选了符号逻辑专业委员会和西方逻辑史专业委员会。……符号逻辑专业委员会主任为张清宇，秘书长为郭世铭。西方逻辑史专业委员会主任为张家龙，秘书长为王路。
（1996年）10月20-25日，中国逻辑学会在北京市昌平县委党校召开第五次会员代表大会暨学术讨论会160多名代表及部分逻辑专业研究⽣参加了这次⼤会，会议收到论⽂120篇。……会议分符号逻辑、传统逻辑、归纳逻辑、辩证逻辑、语⾔逻辑、应⽤逻辑、中国逻辑史、⻄⽅逻辑史及逻辑哲学、逻辑教学等9个组进⾏学术交流，有近百⼈作了专题发⾔，发⾔后进⾏了讨论。会议期间，符号逻辑专业委员会和⻄⽅逻辑史及逻辑哲学专业委员会合并，改名为现代逻辑（联合）专业委员会，主任：郭世铭，副主任：陈银科、陈慕泽，秘书长：王路，委员（以姓⽒笔画为序）：⼸肇祥、冯棉、毕富⽣、李娜、何向东、邢滔滔、张建军、陈波、曹予⽣、郭泽深、程仲棠。
（1998年）12月28-30日，中国逻辑学会现代逻辑专业委员会在⼴东东莞召开“现代逻辑与逻辑哲学”学术研讨会。⽼⼀辈逻辑学家江天骥在会上作了《“逻辑”⼀词的⽤法》的学术报告，近20名学者报告了在集合论、证明论、模型论、递归论、模态逻辑、逻辑语义学、逻辑哲学等领域取得的研究成果，每个报告都引起了与会者的热烈讨论，充分展现了我国现代逻辑学界欣欣向荣的景象。
（2000年）5月3-7日，中国逻辑学会在重庆西南师范大学召开第六次代表大会暨学术研讨会，参加⼤会的有来⾃全国各地的100余位逻辑⼯作者，收到论⽂90余篇。……开幕式结束后，普通逻辑组、归纳逻辑组、辩证逻辑组、现代逻辑组以及中国逻辑史组分别进⾏了学术交流和专题讨论。为更好地开展工作，常务理事作了如下分工：……王路分管现代逻辑专业委员会的⼯作。
（2002年）6月21-25日，中国逻辑学会现代逻辑专业委员会在⼭⻄太原召开全国现代逻辑学术研讨会，30余位逻辑⼯作者参加了会议。会议主要讨论了三⽅⾯的问题：(1)现代逻辑及其应⽤；(2)逻辑与认知问题；(3)现代逻辑的教学与教材问题。会上发⾔的主要内容为：邹崇理描述了⾃然语⾔的聚合语义并构造了聚合谓词逻辑的公理系统；李娜认为没有必要⽤对⻆线⽅法解决语义悖论问题；刘晓⼒阐述了哥德尔定理与⼈⼯智能极限之间的关系；许涤⾮给出了双主体认知逻辑系统；陈慕泽对断定符在现代逻辑教材中的⽤法提出异议；陈银科提出了包括摹状词⾮陈述句等章节的⾃然语⾔逻辑的学科教学体系；曹予⽣给出了批判性思维的课程构思；王路认为批判性思维与逻辑的关系值得我们研究，他再次强调了逻辑观念的重要性。会议期间，对现代逻辑专业委员会进⾏了调整，增补了⼏名年轻的委员。新⼀届专业委员会委员为：毕富⽣、曹予⽣、陈波、陈慕泽、陈银科、程仲棠、杜国平、冯棉、⼸肇祥、郭泽深、郝兆宽、何向东、⻩华新、鞠实⼉、李娜、刘奋荣、刘晓⼒、刘壮⻁、孙思、唐晓嘉、王路、邢滔滔、张建军。主任：刘壮⻁，副主任：陈银科、陈慕泽、郭泽深、毕富⽣，秘书⻓：刘晓⼒，副秘书⻓：刘奋荣。
（2004年）4月26-28日，中国逻辑学会和中⼭⼤学逻辑与认知研究所在北京怀柔共同主办“第七次中国逻辑⼤会”（即中国逻辑学会第七次代表⼤会暨学术研讨会），来⾃全国各地的150余位逻辑⼯作者出席了会议。……分三个⼤组（即符号逻辑、归纳逻辑组，逻辑哲学､逻辑史组，辩证逻辑､语⾔逻辑与批判性思维组）进⾏了专题学术讨论。
