社会网络结构与主体认知变化的逻辑探讨

本文首先介绍了逻辑学研究的一个前沿领域,即对社会网络信息流的新特点和新规律的研究。接着,文章对社会网络的结构展开逻辑分析,并阐明结构的不同对信息传播和主体认知产生直接的影响。在此基础上,作者在动态认知逻辑模型中引入社会网络框架,给出新的模型和语言,并对社会网络中信息内容本身、信息的发送者和接收者三者之间的关系进行刻画和描述。     

马克思和列宁:暴力和敌友辨认政治

把暴力和敌友辨认政治这两个词组作关联,似乎是合情理的。有记载的人类历史中,暴力是政治国家的一部分,同国家和阶级联系在一起的是一种不平等的角色分配之敌友辨认的政治生活过程和现象。但这里用做标题的这两个词组却包含着一个辛辣的真理:若政治在于敌友辨认,但敌友原本都可以是隐匿的甚至假想的。就理解我们时代社会发展而言,马克思主义、列宁主义之"阶级斗争"的严格意义,实质在于揭发和构建敌友的真实面目。如今,面对民主思想的逼进,可以说,敌友的辨认话题已经外在于以往所可能具有的社会主义国家模式和与其相对立的自由主义国家模式。然而,这一点只在理想的维度中才是真实的,我们不应忽视和平和发展这两个词组主导的现代性话语在什么意识层面上可能具有合适性。     

柯林斯语义层次网络模型的实验研究

应用语义验证法对柯林斯与奎利安的语义层次网络模型进行研究,结果表明:(1)柯林斯等人的语义层次网络模型不完全适用于人脑的信息加工;(2)被试对主语所指称客体的熟悉程度是决定语义验证时间的一个重要因素;(3)被试提取概念各属性的时间并非完全由属性储存的位置决定的。     

社会网络中信念修正的几个问题

本文首先在传统信念修正理论和动态认知逻辑的框架上提出了社会网络的信念修正模型,将主体之间的社会关系纳入到新的模型中来,介绍并研究了"有穷自动机"模型从众心理的信念修正模式;其次,引入证据、信任度两个概念来刻画基于理由的信念修正;最后,指出社会网络中信念修正的研究如何与哲学其他领域相关联。     

当代中国改革的动力机制和历史逻辑——马克思主义哲学中国化的一个重要问题

社会主义社会发展的动力机制是什么?在社会主义革命和建设史上对这个看似简单问题的回答却经历了一个长期的探索过程。马克思恩格斯未对未来社会做过于细致和详尽的描述而把对这个问题的解答留给了后人。列宁、斯大林和毛泽东虽然经历了社会主义的实践,但因囿于历史条件而未能对其作出科学的解答。在当代中国的改革和现代化建设中,历史的逻辑终于冲破理论的固有范式而将其纳入常规。社会发展的动力机制以其合乎规律的形式表现出来,这就是在社会基本矛盾的驱动下,改革成为坚持和发展中国特色社会主义的强大动力。任何社会的发展都不完全是自然和自发的,其矛盾运动必然要通过革命或改革这个中介予以实现。这既是当代中国实现自我发展的必由之路,也是整个人类社会历史演进的内在逻辑。     

时态结构中的恒常联系因果学习

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动一结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据己建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

时态结构中的恒常联系因果学习（英文）

人工智能研究中,行动这一概念通常在理论框架中有完全的定义。然而,现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的行动—结果学习理论。在自然数时间结构中,智能体通过观察过去的恒常联系建立因果关系。智能体依据已建立的因果关系指导将来的行动。同时,我们给出关于该理论的一个完全的逻辑演绎系统,并给出基于该逻辑的智能体行动的有效算法。     

宣告群组的无知来消除主体的无知——基于无知的一个群组宣告逻辑（英文）

本文提出一个基于无知的群组宣告逻辑,该逻辑是带有宣告算子的无知逻辑加上一个基于无知的群组宣告算子的扩展,用以表达群组中的每个主体宣告他们各自的无知后什么东西为真。我们对比这一逻辑和文献中相关逻辑的相对表达力,并研究该逻辑的框架可定义性问题。另外,我们也提出一个公理化系统并证明它的完全性。     

试论法兰克福学派科学伦理思想演进的理论逻辑

本文着重探索法兰克福学派科学伦理思想演进的理论逻辑与特征。由于该学派的科学伦理思想的演进一方面与该学派自身发展和其理论发展以及同时期的思想发展的历史密切相关,另一方面又与科学发展及其社会应用相关,因而,笔者在探讨中采用了纵横两个坐标同时进行考察。在此基础上。指出了法兰克福学派科学论理思想的理论局限。     

一个多值逻辑的一阶谓词系统

鞠实儿曾提出一个开放类三值命题逻辑系统,这一逻辑也可以推广到任意m值逻辑情形,成为一个联结词函数完全的逻辑。本文将对推广的命题逻辑系统L^＊建立一种一阶谓词系统,并证明其可靠性、完全性。     

网络宗教兴起的社会机制探索

本文对于网络宗教兴起的社会机制进行探索。认为在网络技术范式的结构性动力和宗教本身的保守性力量的相互作用下,传统宗教经过一个改造和传播的过程,适应了网络化逻辑的要求,为人们所认知和接受后,人们会积极地参与到网络宗教事务的建构过程中来,最终会在网络空间中生成一种新的宗教范式,即网络宗教。     

当代中国哲学的新视野

哲学的发展既有自身学术逻辑的演进规律 ,同时又受到社会时代问题逻辑的作用。当时代困顿于旧体制时 ,哲学往往只能在学术逻辑中绕圈子 ,有些事情被研究得很精微 ,但不会有学术观念、思想和体系的根本突破 ,也无法形成宏大的学术潮流来冲击和触动社会。而一旦一个时代突发出新的问题逻辑 ,哲学往往就会在各种巨大社会问题的冲击下 ,在反思、追问、假想和论辩中开阔出新视野 ,从而开拓于新的思想领域和成果。2 0世纪 90年代初在中国开始的社会主义市场经济体制改革 ,以及这个时期开始进入中国人视野的信息化和全球化 ,就以其史无前例的大问题…     

鲍德里亚的“hyper-”概念群及其对现代性理论的极限演绎

本文将鲍德里亚定位为超级现代性的代表人物。超级现代性意味着现代性自身的过度发展。肇始于1970年代的后现代主义曾经作为对这种"过度"的命名而存在,但却未能准确概括出这一思潮的基本走向。鲍德里亚用一整套以hyper-,而非sur-为前缀的概念来表达这种"过度"发展的超性观念,即以超真实为表达对象的拟真、拟像的概念体系所构筑的两套审视历史演进的序列,它们清晰地描述了生产性逻辑发展到极致之后可能出现的种种现象,即现代性极限化的演进逻辑。而这种现代化的极限演绎所遵循的正是马克思对资本主义社会的批判路径,即在资本主义社会内部探寻颠覆资本主义的途径。     

新中国·新时期·新时代:坚持我国宗教中国化的发展历程研究

中华人民共和国成立70年来,我国宗教中国化走过了新中国、新时期,进入了新时代,取得了巨大的成就,积累了丰富的经验,呈现出三重历史逻辑:新中国是一个我国宗教完全割裂与旧社会、旧时代、旧制度联系和重构新宗教制度的逻辑,其核心是明确宗教在社会主义社会将长期存在,宗教要服务于社会主义社会,奠定了我国宗教坚持中国化方向的基础;新时期是一个处理好宗教与中国特色社会主义社会关系的逻辑,其核心是积极引导宗教与中国特色社会主义社会相适应,为中国特色社会主义建设服务;新时代是一个完善宗教工作顶层设计的逻辑,其核心是推进宗教治理体系和治理能力现代化,为建成富强民主文明和谐美丽的社会主义现代化强国服务。     

社会排斥的心理行为特征及其脑机制

社会排斥损害个体基本的归属需要, 对个体的心理和生理会造成严重影响。根据需要威胁时间模型, 社会排斥后的心理和行为特征可以分为三个阶段。社交媒体的发展使社会排斥出现了新的心理和行为特征。近年来功能性磁共振成像研究发现, 突显网络和默认网络等网络中的一些核心脑区都参与了社会排斥各阶段的情绪和认知加工过程。未来研究应以需要威胁时间模型为基础, 以脑网络方法为手段, 探索社会排斥神经机制, 预测排斥后的心理和行为反应模式。     

知道一个行动的逻辑(英文)

以活动为认知对象的逻辑还没有系统地建立。本文我们采用半无穷方法、自代入方法、固定点方法和拟赋值方法全面建立这样的逻辑,从而研究知道一个活动的各种逻辑特性。根据这些方法,我们分别提出四类刻画知道一个活动的逻辑系统和相应的语义,然后证明这些系统相对各自的语义是可靠和完全的。     

关于时间逻辑的研究

作为现代非经典逻辑分支的时间逻辑,是判断的一个公理化逻辑理论,这些判断是用命题表达的,而这些命题的真值将随着时间的推移而发生变化。时间逻辑的产生和形成是逻辑学发展的一个具体典范,它以新的方式丰富了逻辑学。这一对认识的理论方法的创新,是在概括总结全部科学成果和认识经验的基础上产生的,是符合辩证唯物主义的基本观点的。按照列宁的说法,逻辑是“各种科学的经验的总结”。人类社会在探索、实践和革命性地改造周围世界及自身中,从逻辑方法的发展     

合作治理何以可能——读张康之教授《合作的社会及其治理》

21世纪以来,随着人类社会进入后工业化阶段,社会治理问题日益凸显。如何才能实现有效善治呢?张康之教授在新著《合作的社会及其治理》给予了充分阐释和解答。《合作的社会及其治理》一书从宏大的历史视野出发,通过对人类社会演进逻辑的探究,在比较分析不同社会历史阶段的治理模式基础上,深刻揭示了合作治理的生成逻辑、本质内涵以及实现途径,描绘了一幅人类社会治理模式变迁图景。     

弱连通传递框架类的命题逻辑

在维瑟（Albert Visser）的基本命题逻辑（BPL）基础上增加公理（p→q）∨（（p→q）→p）得到的逻辑LB相对于弱连通传递框架类是完全的。增加达米特（M.Dummett）公理（p→q）∨（q→p）得到的逻辑LD是不完全的。本文还证明LB具有有穷模型性质,但是不具有两常元性质和析取性质。     

状态相似性与流量限制模型

在可能世界语义中,如果根据是否含有模态算子而将一个点上为真的公式分为两类,那么可以认为不含模态算子的公式描述的是当前点的信息,其它公式描述的是其它点的信息,以及当前点与其它点的关系。通过对不同点上命题真值指派的比较,我们可以在可能世界语义模型上定义出一种状态相似性。本文构造了三类刻画状态相似性的模型,并给出了分别刻画其中两类模型的完全的系统。本文最后讨论这些模型在时态逻辑和信念逻辑中的应用。