联合演算对传统词项逻辑的等价描述

希尔柏特和阿克曼并没有解决传统性质判断及其构成的推理式在联合演算中的等价表述问题,而克劳斯对传统推论的理解和翻译则有更大的偏差。一个能够刻画所有传统推理式的统一的模式,必须同时限之以主项非空类,谓项非全类。在这一模式下,传统直言判断的逻辑方阵在联合演算中可以找到等价的描述,不仅如此,传统词项逻辑的所有有效式在联合演算中无一例外地是永真式,而传统词项逻辑的所有无效式在联合演算中无一例外地是永假式。传统意义上翻译的传统推论表明,传统词项逻辑在其自身所把握的范围内是封闭的和完备的,但一旦超出这一范围,即扩展为现代意义上的,就不再是一个严密的体系。     

直言判断变形推理疑难及其规则补充——兼析逻辑教材长期存在的一种不一致情形

直言判断变形推理是普通逻辑的重要内容，它依据的是直言判断的逻辑性质和主谓项的论域关系。直言判断的逻辑性质又是依据主谓项的外延关系确定的。然而，现行教材概念论中概念外延关系、负概念及其论域内容与直言判断及其变形推理内容并不一致，变形推理操作规则与实际推理也有龃龉。从普通逻辑的实际功用看，这种不一致应该以新规则消除之，以使普通逻辑与日常思维理性相一致，使概念论、判断论、推理论的内容贯通一致。     

联合演算何以可能

一无谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征。亚氏逻辑与命题逻辑一样，都是二值逻辑。三段论蕴涵式比命题蕴涵式复杂，它表示一种特殊的蕴涵关系。希尔柏脱和阿克曼认为，对命题演算符号可作谓词演算的解释，也可作类演算的解释。通过对谓词的新解释，可以在命题演算、谓词演算与类演算之间建立起完全的类比，从而把传统推理的有些形式作现代逻辑的处理。这一联合演算思想虽未发育成熟，却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系，特别是传统逻辑与现代逻辑的关系开辟广阔的空间。     

推类逻辑:中国古代逻辑的原型(上)

从古文献考察,中国古代的推理类型是“推类”。推类的内在机制是“类同理同”,在此约束条件下,其逻辑性质是“必然得出”的。推类的逻辑有两个传统,一个是以墨家逻辑为代表的论辩传统;另一个是以易学逻辑为代表的预测、推知传统。推类逻辑是华夏文明的结晶和科学求知的方法,是人类思维宝库中的璀璨瑰宝和人类思维方式创新的宝贵资源,在发扬中华优秀文化的今天,应当对它予以关注和发掘。     

论直言命题的存在含义--对一个老问题的系统思考

词项逻辑有一个实质性假定：即直言命题的主项和谓项只能指涉由实存个体组成的一个非空非全的类。但它同时又试图发展成为一个纯形式的理论，该实质性假定不参加其具体的推理过程，由此导致一些奇怪的结果：如每一步都正确的一个推理过程，其最终结果却违反了它的推理规则。解决的办法就是去掉该实质性假定，像现代逻辑一样纯形式地发展其理论。     

浅谈"命题的否定"学习中的几个误区

逻辑学是研究思维形式及其规律的一门基础学科.学习数学需要全面理解概念,正确进行表述、判断和推理,这就离不开对逻辑知识的掌握和运用.     

高中数学逻辑用语在生物学实验分析与设计中的应用

高中数学所学习的数学逻辑用语在高中生物学实验设计和分析中的应用,不但能使学生清晰、准确地理解实验逻辑,而且能达到表述简洁、推理严密、思维严谨的效果。     

试论对当关系推理和联言推理的规则

几乎所有的普通逻辑教科书和辞书,都没有表述性质命题对当关系推理的规则、模态命题对当关系推理的规则、联言命题推理的规则。本文对此进行了探讨,试给出了各推理的规则,经检验是行之有效的。     

论《九章算术》刘徽注对墨家逻辑的继承与发展

墨家逻辑是基于事物间"类同"关系的"推类"推理。《九章算术》刘徽注(简称"刘注")继承和发展了墨家逻辑的"推类"推理理论,并将其广泛应用于《九章算术》中"九类"应用数学题的注释与论证。我国古代科学技术中蕴含的这种"推类"推理,其推理的前提与结论之间具有必然性。论文以《九章算术》"割圆术"为例,进一步揭示了这种推理的机制与程序。     

建立在分类和定义基础上的归类

归类是确定两个概念外延之间存在着其包含于关系的逻辑方法。归类由于项、类项、联项、类性几要素组成。归类是建立在分类、定义基础上的．分类为归类准备了条件和目标．定义为归类提供了依据和准绳。类有精确类和模糊类、实体类和属性类之分。类性有定性类性与定量类性之分,类性的语言表达有并类性、或类性两种常见形式。类性的确定有约定俗成、学科规定与权威认定三种途径。违反归类的规则就会犯“类性不明”、“类性表述不当”、“不当归类”的逻辑错误。     

谈谈词项逻辑中的几个问题

“一个三段论有且只有三个概念”是构成三段论的条件,不是三段论规则。对当关系中的真假不定不能看作是一简单命题用于假言三段论。词项逻辑中涉及预设的地方仅为有限量换位推理,两个全称前提推出特称结论的三段论推理及反对关系推理和下反对关系推理所需预设均为:主项存在。从操作层面上看周延规则不是普遍适用的;从深层次来看,如考虑到预设,那么周延规则是普遍适用的。     

江泽民对邓小平统战理论的新发展

江泽民对邓小平统一战线理论的新发展 :分析了统一战线社会主义现代化建设中的战略地位 ,阐述了统一战线中处理各种矛盾的最基本原则 ,提出了“知识分子是先进生产力的开拓者”等一系列科学论断     

讲授法在电大教学中的应用初探

讲授法是各科教学中应用最为广泛的一种方法。通过联系实际，带着问题，运用比喻，深入浅出等教学手段，使学生对所学知识能举一反三，从而达到良好的教学效果。     

论证的预设

本文提出了论证的四个预设，认为它们是保证一段话语成为一个论证的基本条件，而且，这些预设在某种意义上把论证与推理区别开来。正是这些预设，使得我们把一些包括演绎有效推理的论证判定为谬误     

一种对语义网上本体查询和检索的新方法

针对语义网信息检索中存在的问题,提出了一个基于语义索引词的语义网信息检索模型SIR(semantic information retrieval).其核心思想是将领域本体转换成全局本体,并从全局本体中提取语义索引词.通过语义索引词进行语义推理,可得概念的逻辑视图.SIR通过语义索引词间的语义关系对网络资源进行检索,解决了在传统的基于关键字的信息检索中只能从句法上对关键字进行分析,无法根据信息资源中的语义关系进行检索的问题.最后分析了SIR的可用性,证明了SIR可极大地提高语义网上信息检索的查全率和查准率.     

远程教育若干理论述评

经过一个半多世纪的发展,远程教育理论逐步发展并丰富起来,但还需要进一步完善。比如,基更远程教育的定义在普遍适应性、对师生分离的理解及定义类型方面还值得商讨;远程教育的分代不能局限在技术变迁上,而应该从社会形态的角度来思考;对远程教育学科定位问题、交互影响距离理论也应该有新的认识。     

语言理据研究中的几个理论问题

理据性和任意性都是语言的重要属性,一起构成＂和而不同＂的对立统一关系;理据论是理据性的理论升华,是人们借用心理学中的＂动因＂概念并从认知、功能、文化等角度来解释语言符号发生和发展的一种理论;语言表述是捕捉理据的唯一方式,离开语言表述,理据研究将成为空谈;理据（理据义）是每一个具体的语言符号的能指和所指结合在一起的动因,而理据性是对这种结合关系在性质上的描写与判断,二者形成具体与抽象的关系。     

自由与迷失——审美游戏论批判

所谓审美游戏论就是以游戏来描述审美存在,以游戏特性来确立审美的独立性、合法性与本体性的理论话语。从审美游戏论的话语历史出发,关注其理论建构的可能性与界限,才能把握审美游戏论所阐释的审美特性。     

图式理论下的英语阅读教学

图式理论是语义记忆网络中的一种信息贮存结构,它在阅读理解中发挥着预测、选择、推论等重要作用。就英语阅读而言,图式理论可分为三种类型:语言图式、内容图式和形式图式。语言图式是指学生自身所掌握的语言知识,即语音、词汇、句型等基本知识,它也是整个图式理论在英语阅读教学中的基础。本文以图式理论为基础,探讨英语阅读教学中图式理论的运用和贯穿,以提升学生英语阅读效率。     

基于"本体论"上的大学德育视点

大学德育是一个常说常新的话题,也可以说是一个问题,很多高校包括教育行政部门也在采取种种举措推进德育工作。但是解决问题的前提是深刻的透视问题,廓清有关问题的论阈。大学德育也是如此,文章将从本题论的角度审视该问题,并试图拟出解决问题的路径。