版画制版图像逻辑研究

制版，它有一个自己的图示方式，而这种图示方式是怎样被我们所认识，并深入到我们的符号识别体系当中去的，这本身是一个很抽象的概念，并不像我们去谈的一个具体的实物，可以通过抽离的方式去研究它承载的本体和发展线索。     

论逻辑后承概念

塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这个类的每个模型也是句子X的模型”,使得逻辑后承这个现代逻辑核心概念的定义成为标准定义。但是,这个定义也遗留了一个更为根本的问题,即逻辑词项和非逻辑词项的划分标准问题,后者将由塔尔斯基本人在1966年给出了一个划分标准,从而开辟了一个方兴未衰的逻辑哲学研究方向。     

建构的神灵与地方的知识：剑川白族“己弄吾”信仰探析

“己弄吾”是剑川白族信仰的一个具有多重身份、多种象征意义的神灵。将“己弄吾”置于剑川地方神灵体系、地域社会文化、地方性知识之中，探究其建构背后隐藏的各种力量尤其是国家力量的作用，辨析其中蕴含的人—神、边缘—中心、异端—正统、生—死、爱—惧等关系维度，提出建构化——符号化——结构化的分析框架，展现剑川民族交往交流交融过程中的多元宗教文化关系，具有重要的学术研究意义。     

消解与建构：《韩非子》文本中的孔子形象

韩非阐述自己学说的方法之一，是对孔子儒家身份的消解以及对其法家新形象的建构。韩非批判儒家仁义立场在治国上的缺陷与不足，认为这种立场会使家、国之间的关系处于失衡状态，是以损害国家与君主利益为代价来保全个人及家族宗法伦理价值的。在弱化乃至消解了孔子的儒家身份以后，韩非以法家立场重塑了孔子为政以法、注重刑罚的法家式新形象。     

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

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

论马克思主义的守正创新

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

《逻辑学研究》征稿启事

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

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

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

算法的认识论逻辑

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