图片 1

华中科技大学张金隆教授应邀来我校讲学,的核证逻辑

Posted by

核证逻辑开始于20世纪90年代的“证明逻辑”,后者是为直觉主义逻辑提供算术语义的一个部分。根据哥德尔的一个推理结果,直觉主义逻辑嵌入到S4,由于哥德尔不完全性定理,S4的必然性算子不能作为算术中的形式可证性;但根据哥德尔1938年的一个推理想法,S4的必然性可以看作“显式”可证性谓词。这一思想在20世纪90年代被阿逖莫夫独立发现,成为建立证明逻辑系统的动机,模态算子被一族显式“证明项”所替换。阿逖莫夫证明的“算术完全性定理”表明,S4可嵌入到证明逻辑,而证明逻辑可嵌入到形式算术。所有这些一起为直觉主义逻辑提供了一个算术语义学。“核证逻辑”是把证明方法论内部化的模态逻辑新分支。

党的十九大作出了实施乡村振兴战略这一重大决策部署。中央《关于实施乡村振兴战略的意见》强调,乡村振兴要坚持全面振兴,通过挖掘乡村多种功能和价值,统筹谋划农村经济建设、政治建设、文化建设、社会建设、生态文明建设和党的建设。这为新时代重塑乡规民约的乡治功能提供了广阔舞台。作为中国传统基层社会治理过程中不可或缺的规范体系,以王阳明《南赣乡约》、朱熹《朱子家礼》、吕氏四贤《蓝田乡约》等为代表的乡约圭臬,在传统乡村社会生活中发挥着不可替代的作用,也为今天的乡村振兴提供了有益启示。

图片 1

可能世界语义学

发挥乡规民约在乡村振兴中的秩序生成功能。明正德十一年九月,王阳明临危受命,历时一年半时间,先后平定了福建、江西、广东等地数十年的祸乱。为了对初定的社会进行有效治理,王阳明制定《南赣乡约》与《十家牌法》,同时,推行保甲弭盗安民,设立社学推行教化,设立社仓以济灾荒,从而构建起官府主导推行的乡约、保甲、社学、社仓四者合一的乡治模式。《南赣乡约》的内容主要包括强调相互帮助、维护社区治安、进行社会监督和移风易俗等方面。其目的在于整饬社区生活秩序,加强以自我约制为主的基层社会治理模式,从而使“各安生理,勤尔农业,守尔门户,爱尔身命,保尔室家,孝顺尔父母,抚养尔子孙”,避免“以众暴寡,以强凌弱”,使民“永为善良”,“父慈子孝,兄爱弟敬,夫和妇随,长惠幼顺”,“小心以奉官法,勤谨以办国课,恭俭以守家业,谦和以处乡里”,从而以“兴礼让之风”,“成敦厚之俗”,实现社会的长治久安。王阳明推行的乡治,使当时的南赣地区风气焕然一新,“民无重赋,家有田耕,城郭乡村,一派清明”。

10月26日下午,华中科技大学博士生导师张金隆在商院楼二楼会议室作了一场题为“面向实践的管理科学研究”的学术讲座。商学院骨干教师及研究生聆听了此次讲座。

模态逻辑是关于必然性和可能性的逻辑,或者说,是关于“一定是”和“可能是”的逻辑。必然性和可能性也可做其他解释:真势模态逻辑把必然解释为必然真;道义逻辑则把必然解释为道义必然性或规范必然性。必然也可以指“知道为真”或“相信为真”,这是认知逻辑的解释;如果指“总是为真”或“从此总是为真”,则是时态逻辑的解释。还可以把“必然p”解释为“p是可证的”。作为必然性和可能性的逻辑,模态逻辑不仅考虑事物实际存在方式的真和假,而且考虑“如果事物处在与实际存在方式不同的存在方式中,那么什么将是真的或假的”。如果一个人考虑到了事物在真实世界中的存在方式,那他或许也会考虑事物在可替代的、非真实即可能的世界中是如何地不同于真实世界中的存在方式。逻辑关注真和假,模态逻辑则关注真实世界和其他可能世界中的真和假。在这个意义上,一个命题在一个世界中是必然的仅当它在可能替代该世界的所有世界中为真,它是可能的则仅当它在可能替换该世界的某个可能世界中为真。

就今天来说,乡村振兴,治理有效是基础,秩序稳定是保障。当前,我国乡村治理中已经出现了很多诸如理事会、议事会、新家训家风、新乡贤等创新模式,为乡规民约秩序生成功能的时代转化进行了有益的探索与实践。我们要充分借鉴《南赣乡约》与《十家牌法》等乡规民约在保障社会秩序方面的重要作用,推动社会治理重心向基层下移,加强农村群众性自治组织建设,健全和创新村党组织领导的充满活力的村民自治机制,发挥自治章程、村规民约等新乡约的积极作用,确保乡村社会充满活力、和谐有序。

张金隆以海尔集团、青岛酷特智能公司、浪潮集团为例,阐述了现代企业管理思想的迭代与发展,强调了在信息全球化、资源共享的时代变化大背景下企业适当转型与重构的重要性,并提出“管理学研究要多维度”的观点。针对当下企业发展的现状,他提出企业家和学者应结合社会需求,将理论运用到实践中,积极创新,促进管理实践和社会的快速发展。张金隆向大家详细介绍了学术论文撰写技巧,指出学术论文要经过深思熟虑,选题要精确,做到有的放矢,才能将自己的研究成果完整的呈现出来。

以此为基础来考虑模态逻辑有效性的可能世界语义学始于20世纪50年代晚期和60年代早期。可能世界是可能世界语义学的核心概念,模态逻辑历史中最主要的突破性进展是可能世界语义学的提出,由于简单、自然以及起源于哲学等特点,可能世界语义学一直是模态逻辑模型论研究的基本工具。

发挥乡规民约在乡村振兴中的道德培育功能。南宋淳熙三年,大儒朱熹有感于当时道德废佚,严重破坏了社会的稳定,慨叹道:“呜呼!礼废久矣。士大夫幼而未尝习于身,是以长而无以行于家。长而无以行于家,是以进而无以议于朝廷,施于郡县,退而无以教于闾里,传之子孙,而莫或知其职之不修也。”所以他从恢复道德礼仪出发,制定了《家礼》。朱熹认为“古之庙制不见于经,且今士庶人之贱亦有所不得为者,故特以祠堂名之”,于是在《家礼》中恢复了传统宗法主张,并把贵族之礼引为庶民之礼,使自古以来“礼不下庶人”的情况得到了根本改变,乡村道德培育的制度基础从此确立。自此以后,《家礼》在民间迅速传播,几乎家藏一本,人人得见而遵行之。朱熹根据儒家倡导的由“尊祖、敬宗、收族”扩展到“严宗庙、重社稷”的家国意识,从《家礼》扩展到《乡约》,亲手制定《增损吕氏乡约》,合并了乡约和乡仪的相关内容,并且增加了“读约之礼”。这一增订大大增加了道德培育的成分,通过礼制的仪式感,促进了乡约的传播和发展,为后世乡村道德体系的形成奠定了精神内核和形式架构,影响深远。

讲座结束后,张金隆与学院教师就管理科学面临的挑战等问题进行了深入交流,并对在场教师、研究生提出的问题进行了耐心解答。

可能世界的名字

当今,传统道德仍然是乡村礼俗体系的重要精神内核,但近年来,受社会上一些不良风气的侵袭,乡村道德失范现象客观存在,农村思想道德建设已成为实现乡村振兴的重要课题。十九大报告指出,深入挖掘中华优秀传统文化蕴含的思想观念、人文精神、道德规范,结合时代要求继承创新,让中华文化展现出永久魅力和时代风采。新时代乡规民约应当承担起这一历史任务,以社会主义核心价值观为引领,依托中华传统文化,挖掘传统道德资源,重建具有正确价值观支撑的乡规民约和乡村道德体系,通过乡规民约把社会主义核心价值观融入人心,转化为人们的情感认同和行为习惯,从而为乡村振兴打牢思想道德基础,提供强大精神支撑。

(商学院 冯 丹/文 陈士浩/图)

可能世界语义学与旧有的句法传统之间的对应并不完美,局部视角与标准模态语言的全局视角两者之间的不对称正是问题的来源。也就是说,在可能世界语义学中具有根本地位的可能世界并没有在模态句法中表现出来。这种不对称情形导致了许多并非我们需要的结果,比如,缺乏对许多语义特征的充分表示,缺乏合适的模态证明论。前者比较容易解释,因为标准模态语言没有一套机制来命名一个模型中的特殊“可能世界”、断定或否定可能世界的相等、表达从一个可能世界到另一个可能世界的可达性等。这些都属于模态模型论的核心问题,但在标准句法中表示不出来。可能世界语义学中框架的许多重要性质都以一种非常间接的方式被表达出来,而其他许多重要性质则干脆在标准模态语言中无法被表达。

发挥乡规民约在乡村振兴中的文化涵泳功能。北宋熙宁九年,由京兆府蓝田儒士吕大钧首先提出在本乡推行一种新型的地方规范,根据自家《家规》制定了乡约规范,并在陕西蓝田的局部地区付诸实行,称为《吕氏乡约》,也称《蓝田乡约》。《吕氏乡约》开篇即规定“德业相劝、过失相规、礼俗相交、患难相恤”,采用自上而下的原则,为后世树立了一个和谐共生的乡村文化标准。虽不久北宋既亡,但《吕氏乡约》奠定了乡约组织规范的基础,后世多沿袭之。明成祖表章《蓝田吕氏乡约》,列于性理成书,颁降天下,使乡里朝夕诵读。在这一背景下,许多名臣硕儒如方孝孺、王阳明、吕坤、章璜、刘宗周、陆世仪等都致力于推行乡约,许多乡绅也在本乡本土提倡或率行乡约,这对乡约规范的制定和乡风文化的养成起到很大推动作用。

相关文章

Leave a Reply

电子邮件地址不会被公开。 必填项已用*标注