政协帮扶奔富裕

贵州省黔西南州贞丰县顶坛一带，是典型的喀斯特地貌区。这里海拔较低，高温干旱，水贵如油，满目石头，耕地破碎，人民生活十分贫困。“开门看见花江河，有水喝不着。姑娘往外嫁，媳妇讨不着”。这首歌谣，就是顶坛的真实写照。     

类型逻辑语法的词汇主义思想

类型逻辑语法(Type Logical Grammar)是经典范畴语法(Basic Categorial Grammar)的一个现代版本,是范畴语法与类型逻辑语义学联姻的产物。利用加贝(D.Gabbay)[1]给出的加标演绎表述,类型逻辑语法实现了句法生成和语义组合的并行推演,句法生成基于Lambek演算提供的范畴运算,而语义组     

论马克思主义的守正创新

守正创新是马克思主义的基本品格、基本逻辑和基本方法，具有历史事实、理论逻辑、思想方法三重维度。作为历史进程，从马克思、恩格斯到列宁、斯大林再到毛泽东、习近平等中国共产党人，从马克思主义的创立到列宁主义的产生，从毛泽东思想的创立到中国特色社会主义理论体系的形成，守正创新贯穿着马克思主义发展的全部历史进程。作为发展逻辑，守正创新体现为马克思主义者既坚持客观历史规律之正，坚持马克思主义立场观点方法之正，维护马克思主义本质的确定性，又随着时代和实践发展提出新理念、新概括、新思想，让马克思主义以崭新形态焕发出蓬勃生命力和旺盛创造力。作为思想精髓，守正创新既塑造了习近平新时代中国特色社会主义思想的基本形态，又奠定了这一理论形态在马克思主义思想史上的地位。“两个结合”,特别是与中华优秀传统文化相结合，推动马克思主义理论形态实现了深刻变革，让马克思主义真正“化”为中国本土思想，在回答时代重大问题中引领21世纪马克思主义的创新与发展。     

《逻辑学研究》征稿启事

<正>《逻辑学研究》是中山大学和中国逻辑学会主办、由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表论文。《逻辑学研究》目前为季刊,逢每季度第三个月的18日出版。     

哥德尔的直觉主义逻辑思想

哥德尔（Kurt Godel）是现代逻辑史上的巨匠，他在逻辑史上有两大贡献：一是他证明了罗素和怀特海在《数学原理》中提出的一阶逻辑演算的完全性定理（1930），即任何有效的一阶公式都是可证的。二是他证明了著名的不完全性定理（1931），《数学原理》的系统和集合论的ZF公理系统不足以判定能在这些系统中形式化的所有数学问题...     

算法的认识论逻辑

作为计算机科学、数据科学和人工智能基本内核的算法显现出独特的内在演进逻辑。对这种逻辑的分析和阐明不仅有助于澄清算法的认识论本质，而且有必要和可能建构某种算法认识论来深入思考它的发展和变革。基于不同理论框架对算法所作的一些定义、解释和反思已经提出了关于算法的三个重要认识论问题。第一，算法无论是作为结构化编程还是一种社会-技术系统，为何都存在着认识不透明性。第二，AlphaFold的出现是否表明算法完全可以成为一种科学发现新逻辑。第三，算法的形式化推理能否超越像常识这样的非形式逻辑而变得更加“智能”。从对这三个问题的分析和论证中可以得出算法认识论的三个基本论题：局部认识透明性、算法发现逻辑和常识融合方法。     

张岱年早期思想中的哲学、理想与解析

正张岱年先生在上世纪30年代有一篇重要的文章《论现在中国所需要的哲学》,发表于1935年4月8日的《国闻周报》。该文对当时中国人精神生活的一系列问题,如应采取什么样的生活方式、应有什么样的应对社会危机的态度、需要什么样的生活理想等,都作出了深入分析。这篇文章连同这一     

资本逻辑与虚无主义的批判

伯曼指出:对于现代资产阶级社会的虚无主义力量,马克思的理解要比尼采深刻的多。然而,尼采和虚无主义的内在关系已经昭然于天下,马克思的相关思想却因种种原因而被遮蔽和耽搁了。现代人精神上的死亡状况表明,从马克思哲学的角度探寻虚无主义蔓延的根源乃是一个迫切任务。