李匡武、林振环、陈汉标都位居是母校历史上最具代表性大师之列,他们3人解放前已获欧美西方博士的大师及其对中国逻辑学做出开创性工作特别是在这页可见李匡武教授在中国现代逻辑学的至高地位

以前逻辑学几乎等同形式逻辑,70年代才出现非形式逻辑,并相结合出许多新分支,但形式逻辑仍是逻辑学中心主体(其作用如这页见多个人工智能之父计算机之父都是做逻辑学出身),而主导我国这学科的海南琼州大学成为校史“唯一的母校的老师李匡武教授,成就卓著之后仍横跨太平洋直捣世界中心美国并1952年取博士学位,其后就如下面他在前言说在1957年第二次出版《形式逻辑》之前已经过多年用它做讲稿,其后由学校组织下面林振环以及陈汉标等解放前的博士协作修订而于1962年再由广东人民出版社出版他的这406页《形式逻辑》一书(这书第一句就说“形式逻辑通称逻辑学”);同年中国哲学第一人金岳霖等也出版《形式逻辑简明读本》但仅132页,其后1979年金岳霖等再出版《形式逻辑》(其实第一人金岳霖1914才出国且从下面他的《逻辑》的序,而母校另一逻辑学家杜国庠校长1907年已读于早稻田大学并成就卓著也是首批院士、还有就读于母校的首批留洋博士张竟生的逻辑学是我国开山之作)。

母校李匡武教授虽仅是中国逻辑学会第2届副会长(下面述前6届正副会长处知本应是正会长)但前六届全部正副会长中只有2个半博士且都是国外博士--其中2个是李匡武教授和中国哲学第一人金岳霖教授(关注哲学不多-但这似把先哲们忘了?)(李匡武教授读硕博士的大学也是海南琼大的导师去合作几年的大学)

上面海南琼州大学成为校史“唯一”的母校的老师李匡武教授还独著《现代逻辑学》上下册(这书第一句就说‘现在我们把逻辑看作一门学科,其一般与形式逻辑或逻辑学通用’。理解这书可从下面金岳霖的《逻辑》的序和代序就知道中国哲学第一人金岳霖已“躺平”的时代李匡武教授仍奋斗拚博求逻辑学更多发展我也有李匡武教授翻译的亚里士多德的《工具论》,从而填补了我国在翻译出版西方哲学古典名著方面的一个空缺;李匡武教授还主编我国迄今为止一部资料最详、内容最丰富、包括年代最长的《中国逻辑史》通史性专著是他组织指挥统帅全国20多个单位编写的;其实早在40年代李匡武教授就已翻译沃尔富的《逻辑课本》并在1946年左右他任教的武汉大学用作教材-正如他在译后记说“内容精湛,论述透辟”如第22章是盖然性即概率论有8节而第20章是统计法等等--关于逻辑学之重要性就以李匡武教授的这本译著开头所引用的莱布尼茨的话“没有什么能比依据真正逻辑进行的形式推理更为重要”--而关于逻辑学正如这书正文第一句“逻辑学是研究妥当(正确、精密、合教授法)推论的(或证明的)普遍条件的学问”(推理的主体中心地位就如李匡武教授的《形式逻辑》有推理()至推理()5章约2百页);还有《先秦名学史》,胡适著,李匡武校(中国逻辑学会第一届副会长温公颐为这书写的专论说《先秦名学史》这篇博士论文是中国历史上获得博士最多的胡适写的-刚见胡适的日记拍卖也创世界纪录,胡适的这书导论是“逻辑与哲学”、第一编是“历史背景”说‘中国古代逻辑产生和发展的历史’、第二编是“孔子的逻辑”、第三编是“墨翟及其学派的逻辑”、第四编是“进化和逻辑”--即母校李匡武教授领衔翻译的胡适的这博士论文各编都讲逻辑,正如胡适认为“名学”即“逻辑”-因此这书实是《先秦逻辑史》,我也有温公颐的《逻辑学》

关于上面第一段说的3本书,它仨具体是:《形式逻辑》,作者李匡武,广东人民出版社,1962,406页(关于这书《形式逻辑》与这页的数理逻辑关系,就如下面60万获刑10的说1986年华师中大暨大合作在广州华师举办数理逻辑讲习班,旨在推动高校形式逻辑课程改革,并有来自18个省的大学教师来学习--是个人才-可惜了-拿经费的比这样贪的危害更大)

《形式逻辑简明读本》,作者中国哲学第一人金岳霖,汪奠基,沈有鼎,周礼全,张尚水,中国青年出版社,1962年,1978年版仅132金岳霖的这书和下一书等最出力的是下面正会长周礼全-他也是金的得意门徒之一)

《形式逻辑》,作者中国哲学第一人金岳霖主编,但前言说担任编写工作的有:方华,向刘俊,吴允曾,周礼全,赵民,晏成书,诸葛殷同与麻保安,人民出版社,1979年才出版,357页(见编写者没博士,即金岳霖不编写

此外,金岳霖的《逻辑》,三联书店,1978年重印(序说“我从前是学政治的,对逻辑的兴趣差不多到三十岁才发生。我不仅没有师承,而且没有青年所容易得而中年所不大容易得到的训练;所以兴趣虽有,而对这一门学问,我始终觉得我是一个门外汉…我根本就不应该写这样一本书”;重印说明“…以作者的《对旧著á逻辑ñ一书的自我批判》一文作为代序”,这文说“这本书从头道尾…极为有害”--自相矛盾不怪他-是社会矛盾产物)

海南琼州大学成为校史“唯一的母校的老师李匡武教授独撰的《形式逻辑》的参考文献中其中下面的书我也有:

高尔斯基、塔瓦涅茨主编的《逻辑》(高尔斯基数理逻辑);高尔斯基的《逻辑学》;斯特罗果维契的《逻辑》(北京大学斯特罗果维契的《逻辑》为范本);维诺格拉多夫和库兹明的《逻辑学》;

黑格尔的《小逻辑》(黑格尔的《小逻辑》是哲学领域的创世纪,就是圣经创世纪,它是整个辩证逻辑的最高提练)。    

李匡武教授独撰的《形式逻辑》的参考文献还有许多英文原版文献,可见他下功夫很多很深写这书。上面金岳霖等的几本书都没有参考文献,但也肯定是他们没写出而非不做严谨的参考。

李匡武教授的《形式逻辑》除也参考马恩列思毛外,它不参考中文文献,可见他做为2个美国博士之一的高傲,下面是一些我有的中文以及相关学科的外文资料资料:

赵俪生的《逻辑学教程》,山东人民出版社,1955112;张世英的《论黑格尔的逻辑学》,上海人民出版社,1959年。

胡曲园的《形式逻辑》,上海人民出版社1963年,仅149海南琼州大学成为校史“唯一”的母校-华南师范大学的老师李匡武教授独撰的《形式逻辑》虽仅比他的早一年出版,但其实还如李匡武教授在这书前言说“本书在19576月第二次印刷之前,在逻辑学教研组及本校第二次科学讨论会时林振环教授、陈汉标教授等教授提出了许多宝贵的意见”[注:关于这2个对这书提出宝贵意见者-林振环教授是母校华南师大老师,他是副省长出任市领导的阳江市最先考上北京大学的‘状元’,毕业时拒绝当县长那时没书记那相当副省长。1933年赴日本东京帝国大学留学,在已留学长达到早就应获博士的约5年的1937年抗日战争爆发,他愤然归国,一直在海南琼州大学成为校史“唯一”的母校任教,林振环教授撰写《论墨辩中的逻辑思想》等逻辑学名著;陈汉标也是母校华南师大老师,他1931年毕业留在清华任教、其后也跟随1937年三校组合的西南联大任教,再其后去美国留学获博士,并当时陈汉标博士在美国的杂志已发表《在简单推理中的两性差异》、《塞斯顿推理测验的研究》等论文--推理是逻辑学思维的基本形式之一,也如他在国内的这篇论文讲数学方法在心理学研究中的作用等几个主题-其中这个任何数学都基于逻辑推理,本文中心就是第一段的总结研究方法技术对子科学的发展是有巨大意义的,这是因他在文中说的巴甫洛夫指出一切研究都在于有好的方法,有好的方法时,不是有天才的人也能作出许多事情,而没有好方法时,即或是有天才的人来工作,也是徒劳无益的-遵循科学方法也就是不胡来-也就是遵循逻辑{最受毛泽东主席最推崇的逻辑学书是潘梓年的-这本书包括绪论、方法(逻辑学)技术论三部分}-可见陈汉标教授就是应用逻辑学] ---这必竟是全校第二次科学讨论会的重点项目则这些见识过世界最高水准的美国博士、东京大学博士等必尽所能给美国博士的李匡武教授提出以使不被轻视的最高水准要求意见等而可知海南琼大母校大师李匡武教授的《形式逻辑》之何等科学严谨高水准{金岳霖的《形式逻辑》虽也有357页但编写者没有博士甚至其都不参与校审}。如其中的林振环在日本东京大学留学已长达约5年就是愤然归国也足可获博士,再如清华史馆或中国实验及应用心理学的奠基人周先庚介绍中的指名的8个学生中陈汉标博士居第2-居第6张民觉是世界试管婴儿之父美国国家科学院院士刚见另一试管婴儿之父爱德华兹2010年诺贝尔奖-要是他不逝世也可能获诺贝尔奖--这里也见同事浙江大学名誉校长陈立教授与陈汉标博士等共3人并列(陈立先生106岁的2008年还有3个博士毕业是神人如此我有这虽不及陈汉标教授仅是上海理工出身1935年有校史“唯一”的母校教授陈汉标教授合作他实践应用并同年著出的最早最重要《工业心理学概观》,如刚见彭凯平院长写的老清华心理学的倒数第2段说论文并指名的仅3就是孙国华教授周先庚教授和陈汉标助教及校外的晏阳初教授且他的是工业心理的)

其中要特别在这段和下2段简概模型论:海南琼州大学的导师去合作几年的美国威斯康辛大学教授H. Jerome Keisler就独撰的较深些的Model theory for infinitary logic无限逻辑的模型论》和合撰的基础性的Model theory模型论》(在这页见H. Jerome Keisler也主撰数理逻辑方面的Mathematical Logic and Computability数理逻辑与可计算性一书,这作者H. Jerome Keisler20世纪最伟大的逻辑学家Alfred Tarski的博士,并H. Jerome Keisler 60年代至今一直在海南琼大的导师去合作几年的美国威斯康辛大学并都已是大师即如十多年前以及大的数学家Keisler,如王世强教授1987年出版的著作模型论基础》只有2章标题以人名命之即第十一章 Skolem函数与不可辨元[Skolem就是海南琼大曾世界领先的哈密顿图的开创者Ore的导师]和第十三章Keisler-Shelah同构定理[Keisler合创的Shelah刚获2001年沃尔夫奖];关于王世强教授的模型论的世界前瞻性权威性就如李仲来书记在纪念他的首页倒数第一段说“模型论方向,何时再辉煌?现在有搞集合论的施翔晖老师,水平很高-其担心模型论就如这施翔晖2006已获柏克莱博士但是现仍是副教授--我也曾读王世强教授1987年出版的著作模型论基础》等但后来一直陷入无意义的无聊状态之中; 北大数学教授袁萌H. Jerome Keisler推崇到神化的程度);

1963年担任海南琼大的导师去合作几年的美国威斯康辛大学数学中心主任并在此退休直到1989年逝世的J. Barkley Rosser的博士Gerald E. Sacks也独撰Saturated Model Theory饱和模型论》J. Barkley Rosser《数学家的逻辑》也是名著);

这里的《数理逻辑是什么》的作者John N. Crossley的导师Gravett的博士Dirac海南琼大世界领先的哈密顿图之父,并这里第3段海南编委的《应用逻辑》的模型论9个文献中有上面KeislerSacks、下面手册主编Barwise的各一本书和另3本书哈密顿图之父的侄徒儿John N. Crossley3个博士W. HodgesA. HamiltonJ. Bell的,也有包括以前热时我曾看的《非标准分析》的非标准分析之父Robinson2本书并此父的博士Larry Travis也一直在海南琼大的导师柳校长去合作几年的美国威斯康辛大学任教并且世界第3的韩家炜就是他的博士(在这视频5分处说和海南琼大的导师钟集教授共同组建全国学会徐利治教授就出版国第一本非标准分析教材

我当时也有模糊逻辑的Zadeh《模糊集合、语言变量及模糊逻辑》;还有教育部部长赵沁平院士翻译的人工智能中的逻辑》;以及递归论、归纳逻辑如现已有《归纳逻辑与归纳悖论》其作者是海南琼大校史“唯一”的母校教授陈晓平并已任中国归纳逻辑学会主席而他的副主任何向东可是西南大学副校副主任桂起权1940生并写《次协调逻辑与人工智能--而以前就象这里第3段说资讯期刊专家电脑电话等-但这90年代底条件已足够人人都容易成世界级最近还衍生量子逻辑和基于海南琼大曾世界领先的欧拉图的“图式逻辑在最近2001年已列为一分支等等

中国逻辑学会第一届至第六届全部正副会长,其中第一届:金岳霖博士王宪钧本科后、方华本科、江天骥硕士、周礼全硕士、温公颐本科、傅季重硕士;第二届全部正副会长:周礼全是金岳霖的门徒硕士帮佣如上面金岳霖的《形式逻辑》主要是他尽忠否则正会长理所当然是李匡武博士、方华本科、江天骥硕士、李匡武1952博士毕业(1956年的论文1982年到逝世一直是海南琼州大学是校史“唯一”的大学的教授)、吴家国本科、倪鼎夫本科、莫绍揆博士(其做的是以前我国逻辑人不做的小类却已大用但当时逻辑仅算有2个半博士-即其大学毕业留2年助教再讲师其后去海南琼州大学的导师钟集教授留校任教的大学做同事受欧洲回的同事胡世华院士影响其后去欧洲-钟老师虽受胡院士影响但更受其时也在这校的他的岳父兼老师的影响并他岳父的师兄Birkhoff不仅已是哈佛大学历史上最伟大的数学家还促成计算机时代的开短如此可能更想去哈佛留学但这时他岳父突然离世那妻儿就只能依靠他照顾了而就只有留下)、傅季重硕士;第三届:周礼全、方华、江天骥、李先焜硕士、吴家国、赵总宽本科、倪鼎夫、莫绍揆;第四届:周礼全、方华、李先焜、吴家国、赵总宽、倪鼎夫、莫绍揆、彭漪涟本科;第五届:吴家国、刘培育硕士、张家龙硕士、赵总宽、崔清田本科、彭漪涟;第六届:张家龙、马钦荣硕士、刘壮虎本科、刘培育、孙中原硕士、何向东硕士、崔清田、董志铁本科。(可见第一至第六届仅有23个博士。其后的会长已有国内博士并如这里3个逻辑学蔡曙山就象上面陈汉标教授一样融通心理和逻辑即他还是清华大学心理学主任,另外很可惜也是博士的李匡武教授的第一个研究生就是受贿60万获刑10的湛江师范学院校长郭泽深,不过现已泛滥如中国逻辑学会第九届副会长胡泽洪也是华南师大教授(可看看以前垄断第二、三、四届正会长的周礼全,再看校史“唯一”的母校教授李匡武-其不仅主编上面迄今…《中国逻辑史》-还正如上海人民出版社在《西方逻辑史》说原计划出三大卷但因李匡武教授1985年病重而第三卷不能完-如此“博古通今、纵横中外”谁不仰视-当然也是因病使他的深邃全面的《数理逻辑》、《模态逻辑》等也不能完成而中国第一本“模态逻辑”是这周礼全硕士只有在李匡武博士病重后才敢出版的-并在此之前周礼全会长仅有89页的《论概念…》一本小书)

附一些相关评述:毛泽东主席读得最多的书是哲学特别是逻辑学北京大学在逻辑教研室是开展对逻辑的讨论,以苏联的逻辑教材曹葆华等译的斯特罗果维契的《逻辑》为范本来改造逻辑课程; 高尔斯基主编高等学校教科书《逻辑》(1956),数理逻辑的一些基本内容引进普通逻辑之中,推动了苏联高校的逻辑教学改革 中国全面向苏联学习,其中斯特罗果维契的《逻辑》与高尔斯基、塔瓦涅茨主编《逻辑》使用者最多(我看到解放起的1949年到文革的1976年的“形式逻辑”“逻辑学”等相关书有些不写参考文献而写的几乎全是苏联的文献-我是校史“唯一的母校的老师李匡武教授也许是美国博士如此虽打心眼里看不起当时意识形态统治一切的苏联的政治哲学书但迫于形势也写几本苏联的做幌子以便《形式逻辑》出真实着力参考的十本欧美逻辑学大师的书-而我看这时期我国其他人的书几乎不超过2本) 黑格尔的《小逻辑》是哲学领域的创世纪,就是圣经创世纪,它是整个辩证逻辑的最高提练(刚见历史上最有影响力的5位逻辑学家-是上面李匡武教授因他填补中国空白的亚里士多德并李匡武教授的《形式逻辑》参考关于亚里士多德的2英文版书、这里最后海南琼大也在发表他的最伟大论文的杂志发表论文的哥德尔、我也有他的《不可判定的理论》等书籍的塔斯基、这里奎因的师兄弟罗素、我有他的《对于数这个概念的一种逻辑数学的研究》的弗雷格

这领域的代表性或说最伟大工作就如这里最后段见是哥德尔的-如此要看这方面的相关工作-先看概论性的如“重审哥德尔思想”“再谈哥德尔不完备定理”等等并从其中可知需要先攻读那些著作-见它们都几乎一至推选必读上面Keisler合撰的Model theory模型论》Kenneth Kunen的集合论(这Kenneth Kunen的导师Dana Stewart Scott和上面王世强教授的书说的Keisler-Shelah同构定理的Shelah的导师Michael Oser Rabin就是这里说的师兄弟并还同年获得计算机诺贝尔奖Kenneth Kunen也一直在海南琼大的导师去合作几年的美国威斯康辛大学任教,并Kenneth KunenCombinatorics. Handbook of mathematical logic组合数学:数理逻辑手册》-就是海南琼大的中国第一个组合数学研究室引领的领域-也就是几十个逻辑学家之一的Jon Barwise领衔主编这本Handbook of mathematical logic数理逻辑手册》的一部分并见手册5个主编中前4Jon BarwiseH. J. KeislerK. KunenY. N. Moschovakis都是在海南琼大的导师去合作几年的美国威斯康辛大学任教过或获博士-并正如哈佛王浩院士说这手册是由34个专家写31组成的-点击这里Table of Contents见作者们