常识推理基础逻辑系统M的完全性

对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。     

微言数学结构

数学知识包含客观的数学事实和以之为载体的主观活动经验、思想方法和应用技能[1] .数学知识还包括逻辑推断 ,其终极来源是人的大脑 .数学知识并非是现实的拷贝 ,而是对现实 (包括人类已有知识 )的重新构造 ,因此 ,我们有必要考察其形式结构 .结构是“系统诸要素相对稳定的联系方式”[2 ] .数学知识的结构就是数学知识体系中各知识点的一种相对稳定的联系形式 .知识是抽象的 ,其结构是具体的 .知识本身只有复杂的结构形态 ,同时在结构中显现其特性 .一方面 ,数学知识的结构 ,不是各组成部分的简单排列和组合 ,而是受一整套内在规律支配 ,各…     

浅谈简易逻辑的数学

“简易逻辑”是高中新教材中新增添的内容 ,中学数学教师基本上都没有系统地学习过这部分知识 ,使得对一些问题的理解出现了歧义 ,给教学带来了很多问题 .笔者将就这部分教学谈一些粗浅看法 .1　首先要从宏观上把握简易逻辑的地位与作用简易逻辑是逻辑学的基础知识 .逻辑学是一门研究思维形式及思维规律的基础科学 .逻辑学分为辩证逻辑与形式逻辑 ,前者是以辩证法认识论的世界观为基础的逻辑学 ,而后者主要是对思维的形式结构和规律进行研究的类似于语法的工具性学科 .逻辑学研究的中心问题是推理 ,推理的基本单位是概念 .通过概念对事物是…     

一种快捷获取逻辑函数标准表达式的新方法及应用

本文介绍了一种快捷获取逻辑函数标准表达式的新方法。在教材上所讲的是通过配项法获得标准表达式,这种方法很科学,但有时较麻烦,利用本文的这种方法可提高速度并增强准确性,同时,又可应用到逻辑函数的真值表的填写和计数器的状态表的填写上。     

校企合作网络化治理:内涵特征、动力逻辑与趋向路径

面对日益复杂的内外部环境,职业教育校企合作越来越呈现出网络化态势,应该采取网络化治理模式。这种基于多元合作伙伴关系建立起来的横纵交织权力线和行动线的治理模式,在职业教育校企合作的互动及博弈过程中,体现了行动基础的彼此信任、行动主体的多元拓展、行动模式的合作互惠、行动规则的民主协商等特征,而现实的经济社会转型、社会公共价值创造和治理能力现代化又为校企合作的网络化治理提供了演化动力。为实现校企合作网络化治理的"善治"目标,应着力在重塑政府角色定位、推动企业主导参与、构建多边战略联盟、加强多元集成创新等趋向路径上下功夫,以促进职业教育校企合作向纵深发展。     

悖理语词的类型及其成因浅析

在日常语言中 ,经常会有一些合情不合理 ,合理不合法的词语、短语或句子。因为它们违背逻辑 ,有悖于常理 ,看起来似乎毫无道理 ,所以我们称之为悖理语词。因此 ,探讨汉语中的悖理词语的若干类型及其形成原因具有重要的意义。     

广义模态逻辑研究中的若干问题

模态理论不仅涉及逻辑的可能性，也涉及事实的可能性，两存在着重要的差异；在对“罗斯悖论”的剖析中引入可能算子，通过对道义悖论作时态的分析，以辨明义务的相对性，是消除道义悖论的一条可行的途径。     

作文教学中的逻辑问题

多年来，高考《考试说明》语病部分所列的六类主要语病中都有“不舍逻辑”这一种类，就命题的本意而言，他们似乎已经认识到逻辑问题的重要性及学生中存在的对逻辑知识的模糊认识。但是在众多的语教学科研刊物中．有的虽有“语修逻”这样的栏目设置，却是有名无实，难以见到有关这方面的章，而更多是根本就没有提及逻辑知识：可以说，逻辑知识是当今语教学中的一个空档。     

20世纪初的中国逻辑史研究

20世纪初期,学者们运用西方逻辑理论和因明阐释中国古代名辩思想资料,虽然有种种缺陷,但发现中国古代有丰富的逻辑理论,开创了中国逻辑史研究之先河。     

非科学的思想

西洋文明 ,自古及今 ,最大的特色 ,一言以蔽之 ,不外乎逻辑。逻辑普通分为二部。古代开始有演绎 ,近代开始有归纳。但是归纳的影响人生 ,尤在它的产物 ,现在人人都晓得了的科学便是。科学当然是一种好东西 ,就今还未发达到极点 ,但是现代生活里 ,有那几点不直接间接地深受它的影响 ?不过 ,科学的重要犹不仅在它的结果 ,尤在所谓科学方法 ,科学态度 ,科学精神 ,科学脾气。所谓科学方法等等 ,详细现在不必说 ,语其精要 ,一言以蔽之 ,就在就事论事。换言之 ,也就是 ,脚踏实地 ,实事求的。更简单说 ,便是“切实”二字。稍详细点说 ,对于一切都要…