主范式在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、命题公式类型判别、命题公式的赋值、谓词公式类型判别和推理正确性检验等几方面探讨了主范式的重要作用。     

主范式的计算方法及其在命题公式中的作用

针对数理逻辑中主范式的求解难度较大、方法繁琐,充分利用极小项与极大项的特征及其与二进制数的关系,综合求解主范式的各种传统方法,给出较为简洁实用的计算方法。同时系统论述两种主范式在命题逻辑中对于理解和分析命题公式诸多方面的作用。     

真值表在数理逻辑中的重要作用

从数理逻辑中的命题公式等值判定、联结词定义、主析取范式求法、谓词公式类型辨别和推理正确性检验等几方面探讨了真值表所起的重要作用，指明真值表是数理逻辑学科体系的最重要的基石，重点抓好真值表的教学是解决好整个数理逻辑教学的关键.     

关于主范式的定义

对离散数学中主范式定义作了适当的修改。     

主范式在推理有效性判断中的应用

给出了利用主析取范式、主合取范式判别推理有效性的两种方法,指出了由前提的主合取范式析取任何命题公式所得新公式均为前提的有效结论.     

论多主体系统的语用推理

交际系统是一个典型的多主体认知推理系统.在交际过程中,交际主体A的表达和理解要考虑到B是否知道某命题p;主体A是否知道B是否知道p,决定了主体A的表达和理解;反之亦然.多主体认知系统的复杂性表现在:多个推理者的存在,推理者的互推和主体的互动.     

小项的性质与小项的编码

通过真值表技术把一个命题演算的合式公式化成主析取(主合取)范式在数理逻辑教学中是比较抽象的内容,如果把握住小项的编码的性质,这个问题就比较容易理解.本文论述了小项的几个重要性质和编码,在教学实践中收到了较好的教学效果.     

命题逻辑中的数字表示

讨论了命题逻辑中的数字表示,给出了一系列重要结论,并通过实例说明了基于整数运算的求命题公式主范式和进行逻辑推理的方法.它为计算机处理命题逻辑提供了一种有效的途径.     

性质命题推理有效性的欧拉图解法判定

凡性质命题推理有效式。就是在欧拉图解中证明为前提真结论必然真的推理形式;凡性质命题推理无效式．就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点：准确画图、准确识图和准确判定。判定三段论的有效性。要能根据假定前提为真时的大、小前提命题形式的欧拉图．准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性,必须把S、P两个主、谓项的欧拉图。改造成S、P、S、P四个主、谓项的欧拉图,并能准确识别四种性质命题形式欧拉图中S与P、S与P、S与P、S与P这四种外延关系分图。     

对反证法的一点注记

什么是反证法?全日制十年制学校初中课本数学第5册第110页上已讲得很清楚,本文不准备重复,下面仅对反证法的推理过程作一点注记.在反证法中,所进行的是一种带有补充假设的推理.就是说,把待证结论的反面成立作为补充假设,添加到原来的假设中去,然后从原假设出发,通过正确的形式推理,最终得出矛盾.如果原来的假设记为 A,待证明的结论记为 B,反证法的推理过程便是从 A 和(?)B 出     

Intersubjective Recognition and the Development of Propositional Thinking

The paper's main purpose is to show that the new recognition paradigm could have a great impact on the philosophy of education. The author demonstrates that impact by a comparative analysis of both Axel Honneth's theory of intersubjectively founded self-realisation and Robert Brandom's concept of socially mediated propositional articulation. The focus of the analysis is the question of the social prerequisites and intersubjective mechanisms of the development of propositional thinking as a core dimension of subjectivity. On the ground of the analytic work carried out by the paper some basic features of development-supportive pedagogical interactions can be formulated.     

二值命题逻辑中Г-的蕴涵距离和近似推理

以基本真度为基础,引入二值命题逻辑系统中基于前提信息Г的公式A到B的蕴涵度概念,由此定义了公式A到B的Г-蕴涵距离,并通过Г-蕴涵距离的基本真度表示式,对二值命题逻辑中基于前提信息的近似推理问题进行讨论．     

命题逻辑与数学证明方法（Ⅰ）

简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统,内容包括命题逻辑．     

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

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

二值命题逻辑F（S_n）中的基本推理链

在原子公式之集为有限集Sn={p1,…,pn}时,二值命题逻辑的全体公式之集用F（Sn）表示.文中在F（Sn）中提出了基本推理链的概念,统计了不同长度的基本推理链的条数（在公式之间的逻辑等价或可证等价的意义下）.同时给出了用基本推理链的概念来刻划A→B为定理的一个充要条件.     

模态命题逻辑系统K、D、T、S4、S5、B之比较

模态命题逻辑系统K、D、T、S4、S5、B所依据的公理有一定的差异,导致它们之间的定理有一定的差异,推理能力的大小也有所不同.由于定理集的不同导致S4、S5可进行叠置模态词的归约,而K、D、T、B不能;S5可进行嵌套模态词的归约,K、D、T、S4、B没有这种归约能力.     

Perceptions of Counselor Expertness: The Effects of Interpretation Content,Discrepancy, and Type

This study addresses limitations of previous research examining the effects of the counselor's use of interpretation on participants' perceptions of counselor expertness. Three factors (interpretation content, degree of interpretation discrepancy, and interpretation type) were crossed in a 2×2×2 factorial design. A main effect for interpretation type (propositional versus semantic interpretation) and an interacton between degree of discrepancy and interpretation type were found. These findings suggest that the relationship between the use of interpretations and perceptions of counselor expertness may be more complex than indicated by earlier research.     

试析斯多葛学派命题逻辑研究中的命题函子理论

斯多葛学派是古希腊的一个哲学学派,他们的前驱是麦加拉学派。命题逻辑是斯多葛逻辑的精华所在。斯多葛在亚里士多德的基础上,对命题理论的研究又有了新的突破,探讨了命题函子及命题函子的可互定义性。     

CAN的情态系统分析

情态动词是话语中表达情态的主要手段。一种情态可以由不同的情态动词来表达,同时一个情态动词可以表达不同的情态。情态动词can既可以在命题情态中对命题的真假作出否定判断,又可以在事件情态中出现,表达和责任、义务或许可有关的情态或表示来自个人的能力。