世界逻辑日,原来是这么促成的!!
走南闯北了几年之后,因为读了几本谈逻辑与算法关系的书,突然就觉得这逻辑的历史得重新关注,在与算法关联的基础上关注。于是又回到原来工作时的套路上来,一点一点地寻觅那些有关逻辑与算法历史的线索,然后把寻觅中的阅读变成一个一个的文字和符号。
还在阅读的进程之中,但如今这个年代,承载信息技术的微信,总会给你一些惊奇意外的消息,两个年关就给了我两个新奇。一个阳历年关,逻辑圈的老友传来世界逻辑日的消息,但未得到验证,这算是一个新奇。现在该是阴历年关了,突然间又来了一个新奇。那个世界逻辑日的消息不仅仅是消息,它已经被联合国科教文组织正式批准了,如今这大千世界,真有一个世界逻辑日的纪念日了。
于是逻辑同仁相互传播,我也就自以为是的以为,这个2020年元月14日的世界逻辑日,一定就是首届世界逻辑日。又是一个未曾料到,陕西的武老友来微信纠正,这可不是首届,去年就开始有了世界逻辑日,还邮来一个纪念日的pdf文本。
今天恰逢世界逻辑日,按联合国的文件,这应该是首届的世界逻辑日。但按武友发来的文本,说成第二届也有它的道理。我还是按照传来的两份文本,给这个世界逻辑日的来龙去脉理出个头绪吧,也算是对于世界逻辑日的一个文字庆贺。至如这世界逻辑日到底该称几届,那就仁者见仁智者见智吧。
原来,这世界逻辑日的观念,是在2018年的一次会议上形成的。2018年的6月,在法国的维希城召开普遍逻辑的世界大会和学派会议(UNILOG),会后出版了逻辑普遍化文集。文集中的最后一部分,有一篇讨论逻辑学奖金的论文。而在论文的最后一部分中的最后一部分,引人了一个“世界逻辑日”的观念,以呼应逻辑普遍化所建议的逻辑学奖金模式,从而衍生出来的一个观念。在提出这个观念的同时,文中还建议,因为哥德尔的生日和塔尔斯基的忌日都在元月十四日,世界逻辑日最好也放在这一天。
一年多之前产生的这个世界逻辑日观念,那时还好像只是从月球的布尔火山口中发出的,一个遥远难及,悬浮空中的观念而已。但又是一个未曾料到,第一届逻辑学奖金活动的成功,仿佛是一股巨大的推动力,让这个刚刚产生的世界逻辑日观念很快落在了最好的时间,也落在了最好的地方。到了2018年的年末,好像是一切都很美好,绚丽的天空,没有风暴,连阴沉的薄雾都没有,完全不用再等待了。
这篇论文的作者,巴西里约热内卢的巴西大学让.伊夫.贝齐奥教授,趁热打铁,于2018年年末,立刻给全世界的逻辑同仁再提建议,在全世界举行庆祝活动,纪念这个逻辑学自己的节日。结果,在2019年的元月十四日,全球各地的逻辑界人士,群起响应,半年前提出的这个世界逻辑日观念,在2019年的元月十四日,真的就成了逻辑学这个学科的一个节日。
逻辑的涵义
逻辑日logo
以下是世界各地的2019年逻辑日活动照片。
而这个活动,又在不到一年的时间内,得到联合国科教文组织的认可,让逻辑学的节日,成为了一个更为广泛的世界节日。据贝齐奥教授文本中所说,迄今为止,经联合国科教文组织认同的学科节日,也就只有统计学和哲学,逻辑学继其后成为第三个学科。
世界逻辑日,原来是这么促成的!!
附录1:联合国致辞
附录2:巴西贝齐奥教授的pdf论文
2020年01月14日写于世界逻辑日