非欧几何的出现说明了什么

1前育 公元前3世纪,希腊亚历山大里亚学派的创始者欧几里得按照逻辑系统对希腊先哲积累的几何知识进行了系统整理,完成了数学史上光辉的经典著作《几何原本》,欧氏几何的面世是数学史上的一个极其重要的里程碑;欧氏几何将零散的数学成果系统化了;它为几何学建立了一个完整的逻辑体系;     

Lukasiewicz蕴涵算子的导出算子及其n值逻辑系统Ln

讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3）,首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。     

初中数学概念教学探讨

<正>数学是由概念、方法和命题组成的逻辑系统,而概念是客观世界的空间形式和数量关系及其本质属性在思维的反映.人们以数学概念为思维细胞,通过数学判断、推理等思维形式认识数对象,揭示数学的结构与关系.可以说,概念教学是课堂教学的核心.在数学概念教学中,我们认识到其主要的教学目的是:让学生认识概念的实际来源和意义;完整、准确地理解概念的内涵和外延及本质属性;培养学生逐步地应用概念解决实际问题的能力.在教学中我们注意做好制定教学策略和完成基本     

对成人教育学科几个基本问题的辨析

一、关于成人教育学科的逻辑起点所谓逻辑起点,是指某一学科体系中最原始、最基本、最直接、最简单和最普遍的范畴,它是构建该学科体系的起始点,人们可以从这一逻辑起点出发,借助逻辑手段,层层推导,逐步展开,从抽象上升为具体,由简单演变为复杂,由低级发展为高级,最终构成该学科严密的逻辑系统。逻辑起点问题是任何一门学科体系中最基本的理论问题之一,从某种意义上说,它直接决定着一门学科的独立性和成熟度,因而诸多学科都在着力研究并确立自身的逻辑起点。截止目前,逻辑起点问题研究对成人教育学科来说依然是一个空白,这恐怕是人们对成人…     

逻辑视阈下人工智能道德的本体论承诺研究

科学的本体论问题随着科学技术的发展而逐渐成为研究的对象,它在信息科学和人工智能领域被赋予新的内涵。本体论承诺为逻辑视阈下开展人工智能道德的研究提供了本体论预设。在运用具有可解释优势的逻辑工具开展人工智能道德研究的技术实现和现实应用中,通过对所要构建的逻辑模型所涵盖的特定领域世界的概念和关系做出本体上的承诺,回应人工智能道德的本体诉求。     

格蕴涵代数的布尔元及其应用

在格蕴涵代数中引进了布尔元的概念，讨论了布尔元的一些基本性质，并由此得到格蕴涵代数的一种直积分解．这些结果在一定程度上反映了格蕴涵代数内部结构的特征．     

层次逻辑系统论——以哲学与章法学作对应考察

逻辑层次，乃由多样的“二元对待”为基础，经“移位与转位”之过程与“‘多’、‘二’、‘一（0）’螺旋结构”之终极统合，而形成其完整系统；这不但可由《周易》与《老子》等哲学典籍中找出它的理论根源，也可从辞章章法结构中寻得它的具体呈现。因此本文即从“二元对待”（含“对比与调和”）、“移位与转位”与“‘多’、‘二’、‘一（0）’螺旋结构”等层面切入，作对应之探讨，以凸显出层次逻辑系统在哲学与章法学中的纽带作用。     

KDF2滤棒成型机新型控制系统

本文针对原KDF2滤棒成型机组电子控制系统因采用了大量的各类继电器以及电子线路板构成了复杂的电气逻辑系统从而产生的维护困难等问题,提出了KDF2滤棒成型机系统的电控升级改造,改造后的系统操作简单,易维护,减少操作工的劳动强度。     

演绎的认识论辩护--一个批评性评论和重构

哈克在《演绎的辩护》(1976)一文中指出,演绎辩护将面对一个与归纳辩护类似的二难困境：我们不能对之提供归纳辩护,这样的辩护太弱了;我们也不能对之提供演绎辩护,这样的辩护将是循环的。本文指出,哈克原来的证明存在严重疏漏。是不能成立的;但她在论文中表达的思想是重要的,本文为之构造了一个新证明,并阐发了这个证明的认识论意蕴：通过其所含逻辑常项的解释。逻辑系统与关于日常语言和思雏实践的经验发生十分间接的联系;除了逻辑系统(在技术上)的可靠性和完全性外,还有一个它(在认识论上)是否正确或适当的问题。即逻辑系统内的形式论证是否充分、适当地刻画了逻辑系统外的非形式论证;不存在对演绎和逻辑系统的绝对辩护,只存在对它们的相对辩护;逻辑在原则上是可修正的。     

数字逻辑系统中两种符号的正确辨析

在数字逻辑系统中，有两种常用的标注符号容易引起混淆。本文给出了正确辨析方法，以利于读图和绘图。