历史·理论·实践：中国式现代化的三重逻辑

中国式现代化为世界现代化提供了中国样板，既尊重现代化一般规律、借鉴人类普遍文明、提供全球治理方案，也是依据中国国情和发展阶段开展具有鲜明特色、独有标识的现代化。从历史逻辑来看，中国式现代化是中国现代化建设经验与苏联模式失败教训的结晶；从理论逻辑来看，中国式现代化是在坚持中国优秀传统文化与马克思主义现代化理论的原则下对西方现代化理论的批判继承下形成的基本形态；从实践逻辑来看，党的全面领导、以人民为中心和问题导向是中国式现代化的实践特色。     

蒯因论逻辑真理

逻辑真理不仅是逻辑哲学的基础和核心,更在整个真理体系中具有不可替代的地位,所以对其的探讨一直持续不断。在蒯因之前的哲学家和逻辑学家对逻辑真理进行了不同的界定和解释,但是他们都赞同莱布尼茨的观点,即从逻辑真理和事实真理的区分中对逻辑真理有所认识和理解。蒯因则不同,他从结构、代换、模型、证明和语法五个方面出发对逻辑真理作出了不同以往的阐释,并提出了一个准确的定义。     

在现代教育中开展逻辑教育的意义

逻辑是一种方法也是一种能力,逻辑教育已成为一项至关重要的公民素质教育。传统逻辑教学现代化问题,是一个与我国逻辑教学和研究密切相关的问题。本文通过对逻辑学的特点及其有用性进行了分析,强调了在科教兴国的今天,逻辑学以及逻辑教育应该受到重视。     

如何对待传统逻辑与现代逻辑——兼谈逻辑学教学体系的构建

传统逻辑并非完全过时，“取代论”者之所以主张用数理逻辑代替传统逻辑，是由于他们将“传统”与“落后”相等同，“现代”与“先进”相混淆，从而将传统逻辑看作是“落后的”、“过时的”逻辑，现代逻辑被视为“先进的逻辑”。尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同，但它们之间并非是完全对立的两极。传统逻辑与现代逻辑的某些内容是可以相容的。传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。构建逻辑学教学体系要正确处理好传统与现代之间的关系，要相互吸收、借鉴、兼容，反对机械拼凑和生搬硬套，反对一刀切。要根据学科自身发展的规律和教学改革的需要，构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系。     

从两种变项及其差异看两种逻辑的本质

从传统逻辑变项的特征看,传统逻辑语言是自然语言的语法语言,所以传统逻辑本质上是自然语言的形式逻辑。传统逻辑只注重对自然语言的语法分析,而忽视对自然语言的语义分析,这就不能不产生其所特有的缺陷:一是拘泥于自然语言命题的表层形式,二是命题形式的语义不清。从数理逻辑变项的特征看,数理逻辑语言只是表意符号语言,而不是自然语言的语法语言,所以数理逻辑本质上只是符号逻辑,而不是自然语言的形式逻辑:首先,数理逻辑最多只能用来解释自然语言的逻辑涵义,而不能用来解释自然语言的形式结构;其次,即使是对自然语言作语义解释,数理逻辑也是难以胜任的。     

智能式自动逻辑综合系统KDLS

本文介绍一种智能式逻辑综合系统KDLS。它以寄存器传输语言(RTL)作为输入,采用基于知识的方法进行电路的结构设计、模块综合和电路的逻辑优化。对电路的延时优化问题也作了讨论。KDLS用C语言和人工智能语言ops5~ 写成,迄今含有150多条规则。应用系统进行实例综合,取得了令人满意的结果。     

教育学语言现代化:现状、问题与对策

20世纪教育学语言现代化的标志是语言的科学化、实践化和逻辑化,而现代化发展离不开语言的本土化和综合化。中国教育学语言现代化发展受到内、外两重因素的影响,内因是指文言语体向白话语体的转型,外因是指赫尔巴特、杜威和凯洛夫教育学语言的影响。在教育学语言走向现代化的历程中,存在着对教育学语言认识程度不深,与教育学科发展、教育现代化发展联系不紧密,忽视我国传统言说方式的独特价值以及过于依赖西方教育学语言发展路径等问题。基于语言应用的视角,通过对中国传统学术语言载体文言的分析,指出我国教育学语言走向现代化应促进汉语自信与文化自信的融合,依托文言与白话的有机融合,强化西方学科语言与中国学术语言的融合,从而提升教育学语言战略地位、丰富教育学语言表达方式、拓宽教育学语言发展路径,真正实现我国教育学语言现代化。     

周礼全先生的学术思想及其贡献——纪念周先生90周年诞辰

主要论述了周礼全先生的学术思想和贡献。周先生在哲学研究领域做出了重要的贡献,并大力宣传哲学家的使命;周先生大力传播现代逻辑,提倡现代逻辑应该理论联系实际;周先生具有学术创新精神,是中国自然语言逻辑的开拓者和传播者;周先生对中国逻辑史的研究和发展做出了重要贡献;周先生客观公正,提倡学术民主,敢于坚持真理,倡导学术批评。周先生最重要的成果就是由他亲自执笔、主编,于1994年出版的《逻辑——正确思维和成功交际的理论》,这部力作无论在国内还是国际上都具有开创性意义,提出了一个包括意义、语境、隐涵和预设等为主体骨干的语言逻辑体系,描述了一种成功交际的理论和一个语言交际图式。     

多模态语步分析：以微信科普文为例

本文采用Kress和van Leeuwen视觉语法中的组篇功能，以及Martinec和Salway的图文逻辑语义关系，提出了多模态语步分析方法，即自上而下的语步识别和自下而上的语步实现。本文具体研究了语篇语步结构如何由信息值、凸显性以及框架等多模态资源识别；以及语言和其他模态资源如何通过详述、增强以及延伸关系共同实现语步。本文将信息值重新定义为宏主位/述位；宏主位构成语义信息的起始点，与上一语篇片段区分。宏主位/述位，凸显性以及框架三者共同区分不同的信息结构，揭示交流目的转变，帮助识别具有不同交际目的的语步。融媒体时代下，Martinec和Salway的图文逻辑语义关系可扩展为语言与非语言符号间的逻辑语义关系，这些关系具有复杂性和重叠性特征。最后，以微信公众号“丁香医生”发布的70篇新冠肺炎科普文为例，验证此多模态语步分析方法的实用性。     

传统推论范畴分析——推论性质与逻辑策略

标志中国传统推论整体性质的一级范畴,有"推"(广义)、"推类"、"类推"、"推理"和"推故"等。标志中国传统推论个别方式的二级范畴,有"止"、"譬"、"侔"、"援"和"推"(狭义)等。对中华先哲原创的传统推论范畴,进行实事求是的科学分析,具有重要的逻辑哲学意义和实际应用价值。因此,使用电子计算机检索的方法,从总量达9亿字的《四库全书》《四部丛刊》两部特大型丛书的电子数据库等中,全面搜索中国传统推论的基本范畴,并穷尽归纳,逐个进行定性和定量的实证分析,由此总结中国传统推论的特质,引申出中华民族实现伟大复兴的逻辑策略。中华民族实现伟大复兴,图谋和平发展,正确的逻辑策略,是磨制锐利的思维工具,汲取西方逻辑先进成就,借鉴西方逻辑观点方法,对中国传统逻辑进行现代式元研究,给予创造性新诠释,建立有中国特色,与国际接轨,融合西方逻辑和中国传统逻辑现代转型的创新体系。     

中国式现代化的三重逻辑

中国式现代化是中国共产党带领中国人民同心并力历经百余年的接力奋斗取得的重大成就。从理论逻辑来看,马克思主义对资本主义现代化的理论反思是中国式现代化的理论来源;从历史逻辑来看,中国式现代化是在中国共产党领导下,分阶段、分步骤、统筹规划和推进的;从价值逻辑来看,以人民为中心的价值立场、人与自然和谐共生的价值方法、“全人类共同价值”的价值范式为人类文明发展提供了中国方案。     

《认识逻辑学》对我国逻辑教学改革的启示

“认识逻辑学”不仅重视逻辑的思维工具作用,也极为重视逻辑的接受和表达及其社会功能。《认识逻辑学》运用辩证逻辑和逻辑哲学的原理对传统逻辑的基本知识体系进行＂整合改造＂,这种注重逻辑理路及其逻辑应用的文本,为文科学生学习逻辑提供了难得的材料。     

科技英语中的语言逻辑与技术逻辑判断

科技英语中的逻辑判断在科技文献的理解与翻译中十分重要，它既包含语言逻辑判断也包含技术逻辑判断，本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译．给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性     

试探辩论中的逻辑意识

辩论的灵魂是逻辑 ,对辩题的概念作出分析和构造一个无矛盾的逻辑框架是辩论双方的出发点。在辩论中 ,归纳思维与演绎思维 ,求同思维与求异思维是最常用的两组思维方法。对经常困扰辩论双方的“逻辑消失”现象 ,可用三种方法来处理。因此 ,运用好逻辑 ,在辩论中就会战无不胜     

汉英思维逻辑差异在语言上的表现

语言逻辑是思维规律的反映。汉英语言在字词的生成、句子和语篇结构方面都存在差异。这些差异主要表现在逻辑形式、逻辑结构和逻辑方式三个方面。了解汉英语言在逻辑方面的差异，既有利于把握两种语言的神韵，又有助于进一步理解两种文化差异。     

交际语言与逻辑

文章引用交际语言实践中典型的鲜活案例，剖析具有普遍性意义的语言现象，并从交际语言与逻辑思维的角度论述语言信息、事物关系同思维形式、逻辑规律之间的内在联系以及语言规范的逻辑意义。     

上楼农民的空间再造:行动逻辑与治理路径 ——以山东省B村为例

上楼农民的空间再造是一种谋求生活福利的行动。从传统农村院落到现代楼阁空间的转变，导致农民部分传统生活习惯难以延续，从而引发了上楼农民空间再造现象。上楼农民花园种菜、车库改房、小区晒粮以及自建田间房等空间再造行为背后蕴含着黜衣缩食的理性现实主义生活逻辑、怀念与留恋传统生活习惯的情感逻辑和“私”的传统价值理念的乡土逻辑。鉴于此，不应对上楼农民空间再造的不合规或不合法行为采取简单粗暴的强拆。乡村振兴和农村现代化的本质在于农民的振兴和现代化，回归和强调农民的主体性作用，建立一种积极行动者逻辑，唤醒农民参与农村社区建设的主动性，是开展新时代农村社区建设必须遵循的原则。     

基于ATL的KM非否认协议形式化分析

研究ATL逻辑及其在电子商务协议形式化分析中的应用,用ATL逻辑语言对KM协议进行描述与分析,并对协议的各参与方和可信第三方TTP的基本行为进行建模.     

对称逻辑函数的零级核计算问题

对对称逻辑函数的零级核计算问题进行了讨论,并给出了一个计算对称逻辑函数零级核的定理,该定理表明,对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。实际应用显示,应用该定理计算对称逻辑函数的零级核,在计算时间和存储容量上都优于传统的核理论。     

关于不相容选言判断的几个问题

据何断定选言判断选言支间相容与否，涉及到不同的逻辑哲学本体论的承诺。现代逻辑形式系统与传统逻辑应用系统所预设的本体层次是不同的。作为逻辑教学体系的普通逻辑对选言支间相容与否的本体判定，是传统逻辑应用层次的事实存在裁定；现代形式逻辑中之所以没有严格析取的判断形式，是用合取与析取的综合方式进行了取代；不相容选言判断是对思维实际的抽象概括，具有非形式性质，运用形式化析取符号表述排中律，存在矛盾；不相容选言判断的负判断的等值判断，不只有(p∧q)∨(┐p∧┐q)一种形式，还应有(p∧q)∨(┐p∧┐q)的形式，从思维实际论，(p∧q)∨(┐p∧┐q)的形式，更贴近日常思维，更利于研习者理解。