重言式的语用修辞特色

重言式在日常生活和文学作品中广为运用而且具有鲜明的特色和交际价值。本文列举了一些重言式的应用实例,从语用学的角度分析发话人使用重言式的交际意向,总结出重言式的四种语用修辞特点。     

基于开放世界假设的三值逻辑的语义推理系统

Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.     

闭合论不是重言式--当代西方知识论对怀疑主义的重要论证方式的批判

闭合论是怀疑主义的重要论证方式。人们通常认为 ,闭合论是重言式。德雷兹克以排除所有相关选择项作为知识定义的必要条件 ,主张怀疑主义假设不是相关选择项 ,闭合论必须限制在相关选择的语境范围内。诺齐克的知识条件论主张 ,知识就是追踪真理的信念 ,知识的本性是非闭合的。闭合论会导出绝对无谬论 ,绝对无谬论是错误的。当代西方知识论对闭合论是重言式的批判 ,也是对怀疑主义的批判     

Ostrowki定理的推广及应用

本文在引进了α-双对角占优的概念后,研究了矩阵在α-双对角占优的条件下非奇异的若干条件,给出了A为广义严格α-双对角占优的充分且必要条件,做为应用给出了A为M-矩阵的一个等价表征.     

关于蕴涵重言式不是推理式的证明

现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。     

孤立条件下α-丙氨酸分子碳骨架异构的过渡态理论研究

基于密度泛函理论的B3LYP方法,采用6-31+g(d,p)基组,对孤立条件下的手性α-丙氨酸分子C骨架异构过程进行了过渡态的探索,反应能垒为79.67Kcal/mol.结果表明:α-丙氨酸分子通过碳骨架异构发生手性转变需要一定的外界条件,在高温条件下、激发态或其它条件下才能发生.     

论在不同逻辑系统中的排中律

作为思维基本规律的排中律是非形式化的,它具有直观普效性;在经典的(一阶)逻辑系统内,排中律作为系统内的可证公式,具有系统内严格定义的普效性.而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中,由于对原经典逻辑中二值性、实无穷性等假定的修正,排中律不再是该类系统中的可证公式,因而丧失其有效性.作为逻辑真理的排中律同任何真理一样,是普遍性与相对性的对立统一.     

蕴涵算子及二值逻辑系统的扩充

本文主要讨论一些常见蕴涵算子及其在二值逻辑系统中的性质。从语义方面研究二值逻辑系统向多值逻辑系统扩充中与蕴涵算子密切相关的一系列问题,并讨论了多值逻辑系统与其子系统之间的关系,得到若干基本结果。     

正规多模态逻辑的混合系统

多模态逻辑系统是在经典模态逻辑基础上增加多个模态词而得到的系统,Walter Carnielli 和Claudio Pizzi在专著Modalities and Multimodalities中提出了更为一般化的多模态逻辑系统,证明了这些系统的完全性.混合逻辑系统是在模态逻辑基础上增加名词性词(nominal)作为一类特殊的命题,并增加满足算子等联结词而得到的系统,它有着更丰富的表达力.人们对经典模态逻辑和时态逻辑的混合系统已经作了研究,在此基础上,把混合逻辑的方法推广运用到更一般的正规多模态逻辑中,同时证明它的完全性.     

系统化逻辑的基本概念

逻辑是对于推理的结构特性的研究。本文着重讨论和辨析了现代逻辑系统的一些基本概念，如演绎有效性，真与可靠性，逻辑系统的句法，逻辑系统的语义，逻辑系统的元逻辑，等等。     

Rough逻辑系统RSL与模糊逻辑系统Luk

基于rough集的偶序对(下近似,上近似)表示,通过改进基于rough集的逻辑系统L的方法引入新的rough蕴涵算子,研究了它的基本性质,并将其进一步拓广到一般正则双Stone代数中,证明了添加新蕴涵算子后的正则双Stone代数构成MV-代数。其次,以上述结果为背景,建立了一个基于rough蕴涵的逻辑形式系统RSL,其语义是扩展的rough双Stone代数;同时,引入RSL-代数的概念,并证明了逻辑系统RSL的标准完备性定理(基于由近似空间确定的标准RSL-代数)。最后,说明了逻辑系统RSL是著名模糊逻辑系统Luk(即Lukasiewicz连续值逻辑系统)的语义扩张,从而从一个特殊的视角揭示了rough集与模糊逻辑的联系。     

一类带凹凸项的二阶椭圆型方程组解的存在性

文章研究了下面一类带Dirichlet边值条件的二阶椭圆型方程组{-Δu=f(x)|u|q-2u+α/α+β|u|α-2uvβ,x∈Ω -Δv=g(x)|v|q-2v+α/α+β|u|α|v|β-2v,x∈Ω其中(3)NΩ∈R N≥为一有界区域。在函数f(x),g(x)变号的条件下,利用Nehari流形及变分方法,证明了上述方程正解的存在性。     

论金岳霖的逻辑观

金岳霖站在现代逻辑学科的前沿 ,提出逻辑的实质是穷尽所有可能的必然命题 ,逻辑系统是研究逻辑的工具 ,各逻辑系统的不同 ,不是实质的不同 ,而是表达实质的具体工具不同。实质上各系统都是在一定范围内对可能的穷尽 ,而由于或者是推论的工具的不同如实质蕴涵与严格蕴涵 ,或者是表示可能 (即命题 )的工具的不同如二值与多值等 ,导致了不同的逻辑系统。金岳霖还从逻辑的实质和工具两方面对“必然”、“推论”、“同一、排中、矛盾思维三原则”等基本概念作了深入的阐述。     

知识蕴涵直觉主义逻辑系统

在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。     

邻域语义学和模型完全性

作者从将所有命题算子都看作内涵到内涵的算子的观点出发，提出了一般命题逻辑的概念，建立了统一的语义──邻域语义学。讨论了邻域语义学的模型完全性，给出了逻辑系统具有模型完全性的充分必要条件。模型完全性的哲学背景是逻辑系统必须遵守组合原则和唯一性原则。模型完全性仅是逻辑系统的必要条件，要刻画逻辑系统需要更强的完全性─框架完全性。邻域语义学开辟了逻辑研究的新领域，对各种不同的逻辑系统间的比较提供了有效的方法。     

关于条件句的蕴涵理论

为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。     

一类非线性自治系统的全局稳定性

对文[1]给出的数学模型作适当改进,得到一类非线性自治系统x.=-αx (β-αχ-αy)(1-e-λx),y.=-αx-αy。在给定的条件下,同样获得与文[1]平行的两个结果,并证明了改进后的非线性自治系统的平衡点的唯一性及全局稳定性。     

一个以实践确证论为基础的认知逻辑系统KjB

国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足.笔者以马克思主义实践论为基础,吸收了国外知识确证理论的先进成果,提出了一种知识的实践确证理论.在此基础上,构造了多模态认知逻辑系统KjB,并证明其可靠性和完全性.     

一个以实践确证论为基础的认知逻辑系统KjB

国外的多模态认知逻辑系统在认识论基础和公理的使用上存在不足。笔者以马克思主义实践论为基础，吸收了国外知识确证理论的先进成果，提出了一种知识的实践确证理论。在此基础上，构造了多模态认知逻辑系统KjB，并证明其可靠性和完全性。     

扎尔塔的二阶模态对象演算

扎尔塔所构造的的二阶模态对象演算[1]（P249-279）是一个抽象对象公理理论的逻辑系统。该系统有若干重要而有趣的特征;配有复杂类型论的演算系统,能用于分析自然语言的内涵语境,因而其本身也是一个内涵逻辑系统。而演算的简单二阶形式则表达了一个关于性质、关系和命题的理论,同时它也为定义情景、可能世界、故事和虚构人物提供了一个框架。扎尔塔的二阶模态对象演算不同于通常的二阶模态谓词演算,二阶对象演算极强的表达力大大增强了它处理逻辑和哲学问题的能力。