演绎系统相关论文
BL命题逻辑系统是一个相对完备的逻辑系统,对BL命题逻辑系统的研究是数理逻辑的一个重要研究方向,为了进一步研究BL逻辑系统,本文......
对逻辑代数系统的研究是非经典数理逻辑的一个重要研究方向,为了进一步揭示弱MTL-代数的特性,本文从多个方面对其进行了再研究.首......
1．多媒体让数学教学更加形象化 数学教学以培养空间想象力为主要目标之一，而中、小学生的抽象思维能力正处于一个发展阶段，抽象性......
本文给出了建立在含幺半群基础上的范畴语法的代数结构，定义了范畴方程和它的解并对范畴方程的解作了分类：相容性的相关性。定理“对......
数学在认识过程中的作用主要表现在两个方面：一是表达经验陈述和其他知识：一是组织和整理经验陈述，在各种经验陈述之间建立联系，形成一......
【正】 关于归纳与演绎的类型,存在两种不同的意见。一种意见认为,只有一种类型的归纳与演绎,辩证逻辑和形式逻辑用不同的研究方式......
文章从立意、思路等方面阐述了用公理化方法诠释道家代表著作《老子》的过程,亦即在遵循《老子》原意作出定义、基本假设、公理,并......
不能成为诗人往往是许多哲学家的遗憾。究其原因似乎是理智与激情之间有着极大的差距,两者之间很难水乳交融。正是出于这样的原因,......
<正> 一、现代西方哲学的两大研究领域从十九世纪末以来,西方哲学思想的发展开始呈现出一个新的特点。这一特点就是哲学逐渐分裂成......
<正> 最早建立比较完整的教学原则体系的人当推夸美纽斯,他的体系庞大,包括的条文高达37项,还有许多细目。其中,系统性原则是一个......
<正>从二十世纪初的贝利—克莱因运动开始,几何课程始终是中小学数学课程改革的焦点,从以往几何课程改革的教训看,在构建几何课程......
<正> 辩证逻辑根据马克思关于思维从抽象上升为具体的、又是方法论、又是认识论的辩证观点,提出了“具体概念”(亦称“辩证概念”)......
【正】 假说的概述人们在生活的实际经验中,会观察到无数的事实。比如,有雨天也有晴天,有月食也有日食,候鸟春北秋南,瀑布溅白雾映......
先天八卦次序图中的横向爻符结构与数学上Rademacher函数具有一一对应的关系。已经证明，Rademacher函数系是不完备的标准直交系，而仅......
<正> 我的文章《一个与卢卡西维兹不同的亚里士多德三段论形式系统》在《哲学研究》1988年第4期发表后,王路同志在该刊同年第9期载......
本文阐述了公理化思想在物理教学中运用的积极作用。公理化思想对物理学科发展与教学有着深刻影响,使物理学科与其他学科之间建立......
