数理逻辑中的归纳定义和归纳证明

运用数学归纳法能证明一个表示逻辑定理的全称命题的真实性,即通过证明一集合对象具有某性质,从而证明该集合所有对象具有该性质,其原因在于用归纳法证明的集必须首先是一个用归纳定义给出的归纳集,它是与自然数集相同的最小归纳集,它具有封闭性,即:如果该集合的初始元有某性质,并且有一生成函数使得在初始元基础上,可不断生成新的元,如果这些生成元也有该性质,那么由生成元运用生成函数所生成的其他生成元,也有该性质,于是可断定,该集合中所有元都有该性质.归纳集所具有的这种封闭性质,就是数学归纳法原理.它是一前件真而后件不能假的蕴涵命题,因此归纳证明实际是通过证明它的前件(奠基和归纳两步)真,从而证明后件(归纳命题)必然真的演绎证明.     

《推销员之死》中话语标记语的元语用分析

从元语用意识（metapragmatic awareness）的角度结合话语关联理论,对戏剧《推销员之死》中的话语标记语进行分析,揭示了话语标记语与语言使用者的元语用意识之间的关系,总结了话语标记语的四种主要元语用功能即缓和面子威胁的功能、强调或突出命题的功能、标示对命题态度的功能以及连贯和开启话题的功能。此类研究有助于人们更科学地理解和生成话语。     

积分半群的收敛性

讨论了积分半群生成元的存在条件及积分半群生成元的豫解式的特征 ,并研究了积分半群的收敛性     

关于农民合作发生机制的文献综述

本文把承包制小农合作发生机制的相关理论文献归纳成对四个核心命题的讨论:元命题、可能性命题、领头人命题、合作制度命题,分别进行综述.     

话语标记语Whatever的认知语用解读

以言语交际中作为话语标记语的Whatever为研究对象,以认知语用为视角,借助元语用意识理论和关联理论,探讨了不同语境条件下它的三个话语标记功能:(1)标示消极情感功能;(2)强调或突出命题功能;(3)连贯或终结话语功能。类似的微观研究有助于我们更科学地解释话语的生成和理解,更进一步了解人们对语言的认知心理轨迹。     

对现行形式逻辑中条件命题的讨论

从语言上看,条件命题等非纯真值复合命题与蕴涵命题等纯真值复合命题之间存在着对应关系,但从逻辑语义上看,它们所指谓的客观事件的逻辑结构却根本不同.蕴涵命题等纯真值复合命题的整个命题的真值依赖于基础命题的真值,它是数理逻辑的理论基础;条件命题等非纯真值复合命题的整个命题的真值无需依据基础命题的真值即可确定,它是真正的逻辑科学的重要研究内容.如果无视二者的本质区别,将其混淆使用,会导致数不清的逻辑问题.     

关于必要条件假言命题的条件转换规则与有关复合推理的类型

当前,有许多传统形式逻辑教科书对必要条件假言命题与充分条件假言命题的条件转换很少提及,或者提及也未作条件转换的逻辑规定.另外,关于假言命题的有关推理,如假言易位推理、假言选言推理、假言联言推理、假言联锁推理等在充分条件假言命题推理中的内容有所研究,而对必要条件假言命题与推理的研究却还比较薄弱.这些问题,应当引起我们的重视.     

美是一个动词——论美的生成性

自古以来的一些伟大美学命题总是从一种"动词"的意味中探讨美的本质与存在,美的存在具有一种生存论上的非现成性,也就是说美总处在一种不断的生成状态中.可以说,生成性是美的最高规定性,"生成"是美的本真的存在状态.     

Abel群中阶为定数的元素的个数

本文主要给出了Abel群中阶为定数的元素的个数的一个公式,完全解决了有限生成Abel群中l阶元的个数的计算以及存在l阶元的条件。     

宋代理学的逻辑——以朱熹的《四书集注》为考察文本

<四书集注>是宋代理学学术的重要载体,朱熹为此几乎付出了一生的工夫.<四书集注>表明,朱熹通过发现"孟子道性善,言必称尧舜"这一关键论述的深刻涵义,证明了创建宋代理学的首功者当属二程(程颢、程颐),从而揭示了宋代理学成立的历史逻辑.同时,朱熹还从孟子的"性善论"演绎出"四端皆善"的命题.这个命题是宋代理学的一个元命题.围绕这一命题,宋代理学建立起了它的伦理逻辑系统.     

非Lipscihtz条件下双重倒向随机微分方程的适应解和比较定理

在非Lipschitz条件下,通过构造Picard逼近序列,研究了一类由Kunita-Ito积分驱动的双重倒向随机微分方程解的存在唯一性,从而弱化了方程解的存在唯一性条件,并且在此非Lipschitz条件下,进一步讨论了方程解的性质,也就是方程解的比较定理。     

命题三论

一论命题的分类 :在普通逻辑中 ,命题分成简单命题和复合命题两类 ,简单命题分成直言命题和关系命题两种。这种分类有无法排解的理论困惑。关系命题作为一种简单命题或命题 ,既不能研究非二元关系 ,也难以契合具体的二元关系。二论命题的作用 :命题在概念、推理、逻辑规律和论证中被公认为非主体部分。其实 ,概念是命题的浓缩和省略 ,推理是命题的转换和伸展 ,逻辑规律是命题的原则和要求 ,论证是命题的认定和解释。三论命题的性质 :基本命题形式具有公理的性质 ,人们在长期的经验中没有发现以它为前提衍生出假结论的事例。     

从关系逻辑的观点看特称否定命题的换位问题

传统逻辑认为 A、E、I命题都可以换位 ,而 O命题不能换位。但传统逻辑只是证明了在 A、E、I、O命题的范围内 ,O命题不能换位 ,它并没有证明 O命题根本不能换位。传统逻辑只是性质逻辑或类逻辑 ,而不是关系逻辑。从关系逻辑的观点看 ,O命题不但是可以换位的——其换位所得的结论不是 A、E、I、O命题——而且如同 A、E、I命题的换位一样 ,O命题的换位也是有其一般意义的     

运用同一律浅析“白马非马”

本文旨在通过一个新的角度给“白马非马”这一哲学命题以新的剖析,主要的分析手段是形式逻辑学三大定律之一———同一律。通过分析,对原命题的逻辑思路有了全面的清晰认识。最后得出结论:只有遵循同一律的论证才是有意义的。     

说谎者类型悖论的自然破解————基于布里丹的语义封闭逻辑

布里丹基于指号的语义封闭理论认为,任何命题都必须以指号的方式存在,任何以指号方式存在的命题都有两种意谓,即心灵之内的意谓和心灵之外的意谓。但仅仅通过命题的意谓不能决定其真值条件,必须考虑相关的指代;而命题的真值条件由命题中各词项的联合指代决定。以此为基础,并借助纯粹的自然语言,布里丹为说谎者类型悖论的破解提供了一种具有逻辑一致性的自然破解方案。这一方案无须对对象语言与元语言进行明确区分,而仅仅需要对以自然语言表达的悖论语句进行常规的逻辑分析,这种分析方法更贴近人们的日常思维模式。     

"文皆是从道中流出"--试论朱熹的文学道本体论

“皆是从道中流出”是朱熹的名论命题。学界对这个命题作了很多研究,但持批评否定态度为多。此命题大有深意。把命题奠基于朱熹集大成的理学哲学本体论基础上,并以命题的理论渊源和现实针对性为思想背景,予以“了解之同情”,从而展示了命题的多层次内涵意蕴。     

哲学就是哲学史吗?--一种哲学史观的解读

一个命题铸就了一种哲学史观.一种哲学史观影响了整个哲学史研究的发展.对这个命题现代意义上的解读,会发现这种"进化发展史观"是以"哲学就是科学"为基础的.它的理论缺憾为现代哲学和哲学史研究铺设了一个理论陷阱.遗憾的是,当代哲学在不断重复这一历史命题时,很少注意这一点.     

我们需要什么样的哲学——“哲学是时代精神的精华”命题说起

"哲学是时代精神的精华"不是马克思主义的命题,它是马克思处于青年黑格尔主义时期提出的命题,直接来源于黑格尔的思想。这个命题不仅表现了一种唯心主义的历史观,而且表现了一种旧的哲学观,认为哲学是最高智慧、最高科学、最高真理,哲学可以代替其他科学来解决具体问题。马克思主义哲学在哲学观上实现了根本的变革,认为哲学是世界观理论,只解决对世界一般本质的认识问题,不解决对其他事物的认识问题。作为世界观的哲学只是实证科学的一个部门,并不凌驾于其他科学之上,而是与其他科学并存并相互作用。马克思主义哲学是科学的世界观,它为人们认识世界和改造世界提供了正确的思维方式。     

“法权关系是一种反映经济关系的意志关系”之法理思考

＂法权关系是一种反映经济关系的意志关系＂是马克思提出的,这一命题深刻揭示了法权关系的本质及其发展规律。但什么是法权？什么是法权关系呢？法权关系与法律关系有区别吗？法权关系与经济关系、意志关系间又有何关联呢？文章在结合马克思论述该命题背景的基础上对这些问题做了一些思考,并结合我国的实际,阐述该命题的现实意义。