逻辑与非逻辑的划界标准

逻辑与非逻辑的划界标准是元逻辑的根本问题之一。流行的四种标准全都认定逻辑基础是逻辑。在展开正统的两个演算时所采用的能从已知定理去得出新定理的真正的逻辑事实上并不符合正统数量逻辑。鉴于正统的两个演算只以真值函数、个体 -真值函数为研究对象 ,故而属于离散数学。因此需提出能鉴别这种真正的逻辑的第五种标准———逻辑是人类在认识宇宙时从已知进入新知 (从已有客观事件必然过渡到新客观事件的认识 )的普遍有效的工具。     

无关项在卡诺图化简法中的应用

在进行逻辑运算时我们常常会看到,同一个逻辑函数可以写成不同形式的逻辑式,而这些逻辑式的繁简程度往往相差甚远。逻辑函数式越简单,它所表示的逻辑关系越明显,也利于用最少的电子器件实现这个逻辑函数。因此,经常需要通过化简的手段找出逻辑函数的最简单形式。常用的化简方法有公式法和卡诺图两种。利用卡诺图化简比用公式法化简直观、简单,更容易得到最简表达式。在分析某些具体的逻辑函数时经常会遇到这样一种情况,即输入变量取值不是任意的。对输入变量取值所加的限制称为约束,即某些变量取值组合不允许出现,受到约束,故称为约束项。另…     

最大项与最小项的性质分析与研究

为了设计实际的数字电路,在分析了逻辑函数的两种标准形式一最小项之和和最大项之积的性质的基础上,运用反演定理和对偶定理对最大项和最小项的性质进行了分析和研究．通过理论推导可以看出,运用反演定理和对偶定理,可以从一种新的角度来理解最大项与最小项的性质,为更好地理解逻辑代数基础,更好地设计数字电路提供了新的思路．     

三值格代数逻辑函数POS形式最小化

在三值逻辑电路设计中，逻辑函数经常采用POS形式，为此，利用三值K图法最小化规则或者表格法最小化规则，先获得所求三值格代数逻辑函数最小化POS形式的反函数，再利用香农定律，最终可方便地获得该三值逻辑函数最小化POS形式。     

汉语合法句子生成的结构原则、逻辑原则与认知原则

句子的生成通常要考虑形式和意义两个因素，形式因素就是语言类型所赋予的形式规则，意义因素就是要遵守逻辑事理，形式和意义同时又体现一种语言的认知视角。因此，句子的生成需要遵守结构原则、逻辑原则和认知原则，现代汉语语法规范也应该根据这3个原则来确立标准。     

逻辑函数形式的代数转换

介绍了八种逻辑函数形式间的变换方法及详细步骤 ,为在实际中设计电路提供方便     

对关系判断几个问题的探讨

在关系判断中存在着两种联项：关系者联项和关系联项，前者是能体现关系判断中关系的逻辑性质的联项；缺乏常项的“aRb”形式不能称之为关系判断完整的逻辑形式；在区别关系判断和性质判断时，应以思维形式为标准，而不应以思维内容为依据。     

五-八变量逻辑函数卡诺图化简法研究

逻辑函数的化简法有公式法和卡诺图法两种,作者提出的逻辑函数卡诺图法,可用于五、六、七、八变量逻辑函数的化简,通过本文进一步丰富和完善了数字系统的设计工具-布尔代数理论。     

逻辑函数最大项表达式及其卡诺图化简

通过对逻辑函数最大项性质的分析，对比由逻辑真值表求逻辑函数标准“与或”式以及用卡诺图化简求最简“与或”式的方法，推导出求逻辑函数标准“或与”式及用卡诺图化简求最简“或与”式的方法。     

语言的语法分析与逻辑分析

本文认为，思维形式有内外两层：语言形式是它的外在形式，逻辑形式是它的内在形式。概念、判断、推理等不是思维形式，而是从实际思维中分析出来的大小不等的逻辑单位。语言形式是逻辑形式的形式，逻辑形式是语言形式的内容。对一个语言片段，可以作语法分析，也可以作逻辑分析。两种分析有相同之处：一、分析的目的相同，二、都要结合语境。两种分析又有明显的区别：一、分析的着眼点不同；二、分析的方法与分析得出的结构成分不同；三、就目前的研究而言，两种分析的深浅粗细程度不同。两种分析互相联系，互相补充。随着科学研究的深入，两种分析有互相靠拢的趋势。     

面向流水线设计的可重构算法设计

为了优化在可编程逻辑器件上所设计的功能算法执行速度,提出了一种面向流水线设计的可重构算法.通过对用户预先设计的逻辑功能进行结构分析,采用标准化的流程对用户逻辑功能进行分解,自动形成适合流水线设计的可重构逻辑单元,实现面向流水线设计的可重构设计方案.应用新型的可重构算法,对选定的两组逻辑功能,分别用传统的逻辑设计方法及面向流水线设计的可重构设计方案,进行对比测试.测试结果表明:新型算法能够使逻辑功能整体运行速度,提高42.5%.     

修辞与逻辑对文学作品情境生成的悖论阐释

修辞与逻辑是隶属两种不同性质的学科,二者却有着密切的联系。在语言的使用过程中．修辞常以逻辑为基础,受逻辑制约,反过来,修辞也利用逻辑的形式、方法、规律来实现修辞的目的。但在文学作品中。二者既有相辅相承性,又在情境生成方面体现出某种悖论性,文中就后者进行阅释。     

马克思主义哲学与辩证逻辑关系断想

笔者认为辩证逻辑产生出哲学，特别是马克思主义哲学的怀抱中，马克思主义哲学的发展已促使当前的辩证逻辑形成了不同的学派，在马克思主义哲学的指导下，进一步区分辩证思维的两种形态与正确处理两类不同性质的“矛盾”，乃是发展辩证逻辑的必由之路。     

永真公式形成系统初探

永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。     

公益与慈善关系的探讨--兼评我国《慈善法》第三条

目前学界对于慈善与公益关系的主流观点认为慈善属于公益,这一观点亦影响到我国的立法,但这一观点是对慈善与公益之间的关系的不当理解。通过词义学、外国立法例、逻辑学以及目的等四个角度对于慈善与公益之间的关系进行探讨,皆可以发现慈善并非被包含在公益之内,两者之间是一种交叉关系。     

归纳推理形式探微

对前提和结论为否定判断的归纳推理,国内现行的逻辑教材只讲了一种形式,即归纳主项式。而对人们在思维实际中经常运用到的且具有实效性的归纳谓项式和归纳主项谓项式却没有论及。文章对此进行了探析、总结,以期对逻辑学科建设有所裨益。     

模态逻辑视角下的模型检测理论

模型检测是逻辑学和计算机科学中的一个重要研究领域,作为模态逻辑的一个重要分支时间逻辑,它的繁荣发展就出现在这一领域。模型检测是关于时间逻辑判定问题的研究,其研究的两类实体:一是关于刻画程序计算性质的逻辑公式,二是用来刻画程序的模型,模型检测的任务就是要校准这两种不同形式的信息——公式和模型——是否相一致。     

浅谈逻辑的训练作用

逻辑不仅给思维提供某些具体的逻辑形式方面的知识 ,更借助这些形式对思维实施规范性的训练。有限的逻辑形式和规律未必适用无限的思维实际 ,但通过对它们的反复演练却能够让人领悟出逻辑思维的一般原理 ,从而使思维具有更高层次的明确性、周密性和有序性 ,这种升华为规范化了的思维 ,正是逻辑训练的结果。     

文化立场中的高师汉字学课程内容体系

高师汉字学课程只有实现了从语言学立场到文化立场的转换,才能算得上是以学生为主体、进入了学生的成长历程。从逻辑学的角度考察课程内容体系,外延是一个度,内涵更是一个值得深究的度。只有从这两个度加以把握,课程内容体系才能算得上是走向了文化立场。文化立场下的高师汉字学课程,汉字微观系统知识、汉字宏观系统知识和汉字的特点以及相关知识是组成该门课程不同地位的主要内容要素。     

课程的本质主义症结与“合法性”危机

知识论是课程领域难以回避的基础性问题,也是今日课程研究与改革中纷争最为激烈的根本性问题。长期以来,本质主义知识论基础在课程理论探究与实践改革中,始终居于主导地位。学校课程研究与发展无不遵循本质主义的逻辑、立场与方法,呈现出明显的本质主义品质、特征与发展轨迹,使课程因品质、价值、目标、模式和功能等各个方面的教育性扭曲与缺失而面临着严峻的"合法性"危机。