法律与道德“结合命题”何以可能？--兼评富勒的“内在道德”学说

朗·富勒清楚地认识到,他与法律实证主义者之间存在严重的分歧。根本的原因在于各自的法律观不同,而两种不同法律观的核心争议点在于法律与道德关系问题上的分歧。由此展开的争论,可归结为“分离命题”与“结合命题”之争,其核心在于是否承认法律与道德之间的逻辑“必然性”。富勒对此做过一套逻辑上的论证,其“内在道德”学说旨在克服“分离命题”;只不过他所借助的概念分析和模态逻辑,也是伦理自然主义者所借助的重要理论工具。这种研究,对于我们进一步理解法律和法治有重要意义。     

命题推理的新图式(英文)

本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。     

平面几何命题机器证明的Grbner基方法

探讨了初等平面几何命题机器证明的Grbner基方法,并给出了它的算法原理和实现方法,且通过实例说明了该方法简便易懂,用Maple实现也较易。     

用特征列证明推理的一个方法

将命题推理证明转化为多元多次方程组求解的问题。利用吴方法,通过多元多次方程组的特征列,完成命题推理的证明,即结合数理逻辑中推理证明及吴方法的核心内容特征列知识,总结出一种通过对吴方法中特征列讨论,来证明逻辑推理的方法。     

互逆主义逻辑中的逻辑命题

互逆主义逻辑对命题进行了严格分类,认为命题可分成不同级别、不同阶次.同时互逆主义逻辑的多层逻辑思想揭示了各类命题之间的内在关系,最高层即二层逻辑主要用于处理最高级别的逻辑命题,这是经典逻辑所不具备的功能.互逆主义逻辑还提供多种方法帮助证明命题的真伪,周氏图就是其中经常使用的方法之一.     

平面几何命题的类比推广

类比是一种重要的数学思维方法,是根据两事物有一些相似或相同的属性,猜测其它的一些属性也可能相似或相同的思维方法。平面几何命题的类比推广包括三方面内容:平面几何命题在平面几何中的类比推广;平面几何命题在立体几何中的类比推广;平面几何命题在其它学科中的类比推广。平面几何命题的类比推广是学习中广泛应用且有成效的思维方法,对平面几何命题深入、渗透、移植发挥了重要的作用,所以在几何学中类比推广是不容忽视的。     

广东高考语法填空题的解题策略

本文将从命题特点、解题技巧和训练方法三个方面详细地分析广东省高考的语法填空题型,目的在帮助广东省的高中英语教师在平时的教学中对学生进行指导教学,循序渐进地指导学生学习语法,提高他们对语法填空这种题型的解题能力。     

枢轴命题理论及其对传统知识论的挑战与启示

枢轴命题是维特根斯坦在《论确定性》中提出的一类起基础作用、具有特殊特征的命题,其特征有：不可怀疑性、不可知性、不可确证性和语境性。枢轴命题理论明显地挑战传统知识论的智慧,其挑战表现在信念论、确证观和知道观上,并对当代知识论的发展具有重要的启示作用。研究枢轴命题理论有助于我们更深入地了解维特根斯坦的哲学及其贡献。     

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

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

三角范畴定义中八面体公理的等价命题及其应用

三角范畴是一个带有自同构的加法范畴,并且满足4条公理,其中的1条重要公理是八面体公理.由Grothendick-Verdier在上个世纪60年代提出的八面体公理相对于其它3条公理形式比较复杂,应用起来比较不方便.因此研究八面体公理的其它等价命题引起了人们的兴趣.本文在王济荣工作的基础上给出八面体公理的第1个等价命题,再利用对偶的思想导出八面体公理的第2个等价命题.最后利用homotopy cartesian得到八面体公理的第3个等价命题,并利用第3个等价命题简化Peng和Tan的证明.