论逻辑常项的归约

逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》,计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等     

马克思主义哲学中国化实践逻辑探析

中国社会的实践进程与马克思主义哲学中国化的逻辑进程是不可分割且相互交织的。所谓马克思主义哲学中国化实践逻辑就是指中国革命和建设实践以及由此决定的实践需要的发展规律。基于这一认识,笔者拟从马克思主义哲学中国化逻辑起点和核心范畴成功转换的角度,探讨以实事求是为理论硬核的马克思主义哲学中国化的逻辑展开,力图建构当代中国马克思主义哲学的逻辑体系。     

从主体、结构到资本逻辑的结构化——反思关于马克思思想之研究模式的主导逻辑

自第二国际时代以来,关于马克思思想的研究在主导逻辑上经历了两次重要转换:一是上个世纪20年代以卢卡奇等为标志的从传统的经济决定论构架转向以主体-客体为核心的历史辩证法构架,这一研究直接影响到后来的西方马克思主义者,并在20世纪80年代以来的国内马克思思想研究中得到回应;二是在上个世纪50—60年代关于人与结构的逻辑论争中,以主体-客体为核心的历史辩证     

“说不可说”之哲学意蕴

一、从维特根斯坦的一句名言谈起维特根斯坦在《逻辑哲学论》中有句名言:凡是能够说的事情,都能够说清楚,而凡是不能说的事情,就应该沉默。(维特根斯坦,第20页)这句话用通俗简明的语言来说就是:可说的,说;     

类型逻辑语法竖线算子的推广

逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句所有人是会死的,第二种模式对此抽象成逻辑公式(H→D),而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达所有(人,会死的)。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。     

现代模态逻辑探源

现代模态逻辑由完全性理论、对应理论和对偶理论三个主要学科组成。它们是模态逻辑的三大支柱理论,都在20世纪70年代中期奠定了基础。在历史研究中,模态逻辑还有三大传统(句法传统、代数传统和模型论传统)、[1]三大阶段(句法阶段、经典阶段和现代阶段)[2]的说法。模态逻辑发展到现在,     

墨家逻辑推理模式的新解释

墨家是先秦诸多学派之一,墨家逻辑也是中国古代本土逻辑思想的典范之一。墨子及其后学创立了中国思想史上第一个＂以名举实,以辞舒意,以说出故＂的墨家逻辑体系,成为中国古代逻辑思想发展的优秀代表。墨家逻辑的主要推理模式包括：＂辟＂、＂侔＂、＂援＂、＂推＂等。墨家逻辑思想的研究开启了中国逻辑思想研究的先河,墨家逻辑思想研究是中国逻辑思想研究的核心内容之一。国际逻辑学界对作为非印—欧语言系统的中国逻辑的关注,显示了中国逻辑独立存在的价值。今天的中国逻辑思想研究处于现代逻辑发展与中国现代文化发展的交汇点上,需要我们从逻辑和中国文化的角度来研究中国逻辑思想。用逻辑的一般特性来分析墨家逻辑,依据工具性、形式性和有效性这三个方面,是解释墨家逻辑的一个新角度。     

一类命题逻辑的一般弱框架择类语义

命题逻辑的一般弱框架择类语义是相干邻域语义的变形,其特点是：采用择类运算来刻画逻辑常项;语义运算与逻辑联结词之间有清晰的对应关系,可以从整体上处理一类逻辑,具有普适性。本文将这种语义用于一类B、C、K、W命题逻辑,包括相干逻辑R及其线性片段、直觉主义逻辑及其BCK片段等,并借助典范框架和典范赋值,证明了这些逻辑系统的可靠性和完全性。     

河南省基督教第八次代表会议召开

河南省基督教第八次代表会议于2012年1月12日至14日,在郑州召开,来自河南省18个地市的116名代表出席了这次会议。唐卫民牧师以“坚持三自原则,办好河南教会,为促进社会和谐做贡献”为主题,作河南省基督教三自爱国运动委员会第七届、协会第五届常务委员会工作报告。     

儿童自我控制学生自陈表的编制

本研究的目的是制定一套测量儿童自我控制能力的自陈式量表,在认知、行为、情绪、社会交往四个主要范畴内编定题目,经过项目分析、因素分析,认为测量儿童自我控制能力的量表包含学习行为、情绪、耐受性和独立性以及生活习惯四个方面的内容,还进一步分析了儿童自我控制的年级差异和性别差异,本量表的信度、效度都较好。