直言变形推理新探

直言变形推理是揭示一个直言命题所蕴涵命题的逻辑手段,是分析直言命题的重要途径.它的研究对于提高思维能力无疑是有益的.下面就有关问题提出一些新想法.     

悖论、准悖论的特征与反证法

<正>准悖论的定义:在用反证法证明命题的过程中,如果(与反证法假设相关地)出现A(?)这样的循环矛盾时,则称它为准悖论.l. 一类悖论(或准悖论)是由两个互相否定的条件,同时作用于一个集合而产生的.1.1 罗素悖论 请见莫绍揆,B_6证明论;王雨田主编《现代逻辑科学导引》上册,P253—254.     

对《形式逻辑》教材中“概念的种类”的质疑

<正> 现行普通逻辑(形式逻辑)理论系统,都把“概念”作为一种思维形式,与判断(命题)、推理并列成为逻辑形式的主体。鉴于“概念”的地位如此重要,并且“概念”内容中也存在着的许多模糊认识,对“概念”进行深入的理解研究就显得非常必要。本文仅就“概念的种类”这部分内容提出几点质疑。 一、“概念”分类的目的(作用)不明确 现行的所有普通逻辑(形式逻辑)教材中,“概念”都将“概念的种类”作为基本内容来讲述。“概念的种类”的基本内容是根据概念的内涵、外延的一般特征,将概念分别分成单独     

一个多层的 context 逻辑

本文介绍了ｃｏｎｔｅｘｔ研究的现状,定义了一个新的ｃｏｎｔｅｘｔ逻辑ＣＬ,定义并证明了与之相关的一些概念和定理。     

“悖论”研究二题

<正>悖论定义的比较<正>西方权威“悖论”定义认为:如果某一理论的公理和推理原则看上去合理,但从中却证明了两个相互矛盾的命题,或者证明了这样一个复合命题,它表现为两个互相矛盾命题的等价式,那么,这个理论就包含了一个悖论.     

基于HNC的命题逻辑推理方法

针对面向自然语言推理中计算机难以准确提取命题并进行符号化的难题,运用HNC(Hieratical Network of Concepts)理论中的语言逻辑概念与句类分析技术,从概念的角度出发,对自然语言描述的推理问题进行理解处理,使计算机能自动提取出推理条件中蕴涵的命题,然后将命题进行公式化处理,最后得到用自然语言描述的结论命题.试验结果表明:该方法能准确理解自然语言中的语义逻辑关系,完成命题逻辑推理.     

逻辑靶场对象建模方法研究

逻辑靶场采用基于公共的体系结构标准、对象模型、软件平台和高速通信网络,集成了单个或多个靶场的各种资源,形成逻辑上的大型综合靶场,为诸军兵种联合训练提供了多靶场合成能力。分析了逻辑靶场的系统结构,定义了逻辑靶场对象元模型,提出了逻辑靶场对象模型开发应遵循的技术过程和面向对象分析与设计原则。     

英语命题句的写作策略

英语命题句是话语序列建构的形式标准。话语序列中的每一个句子或者每一个句子的底层命题都必须直接或者间接地满足命题句的各个要素。命题句是一个主题节点,是段落的控制中心。整体语段要映射命题句所确定的各个要素。命题句既具有内向控制性,又具有外向控制性。命题句对语篇生成和理解都是必不可少的,是形成可理解连贯语篇的首要条件。作文要写得流畅清晰,就要学习和掌握如何选择和写作命题句。命题句要结构合理,逻辑严谨、用词简单明了。     

系统决策建模与理性分析

本文以系统科学理论为依据,从系统科学基本命题出发,根据系统论关于“系统”的定义及有关“决策”的概念,给出了“系统决策”的定义,建立了系统决策问题的概念模型,并对系统决策理性及系统决策概念模型进行分析研究。     

论财务理论结构逻辑起点的重新构建

财务理论结构的逻辑起点是财务学科理论体系和理论结构源以推演展开的最简单、最普遍、最基本的理论范畴,是构建财务理论结构的首要着力点,但关于逻辑起点的认识还存在着争论。在概述目前主要观点的基础上,分析了逻辑起点研究过程中应思考的问题,提出了以资本和目标为起点的双逻辑起点论。     

灰色矩阵对策

本文结合灰色系统与对策论的知识,给出了以区间型灰数为元素的灰矩阵对策的定义,讨论了灰矩阵对策在纯策略与混合策略意义下的最优策略及灰解的存在性。     

邓小平生产力标准思想在历史观上的逻辑结论

邓小平的生产力标准思想对于邓小平理论的全部命题、判断、思想都具有逻辑起点意义。从历史观方面看 ,邓小平生产力标准思想的逻辑结论包括三个方面 :一是生产力标准是衡量社会意识进步与落后的根本尺度 ;二是生产力标准是社会主义初级阶段理论形成的认识论依据 ;三是生产力标准是不发达国家社会发展的最高价值判据。     

N.W.命题与考试法

本文为克服现行考试出现的弊端,运用数学方法,给出关于命题的“复度”、“时度”、“难度”、“联度”的定义,建立评定成绩的“基础分数法”,研制了相应的算法和软件。通过高等数学课程的命题与试考说明该法对于正确反映教学水平,鉴别学生水平差异,对于克服高分低能,防止分数贬值、评分过严等考试弊端均有重要作用。     

因果性,等值式和可能世界:关于形式知识本性的研究

本文基于对因果性,等值式以及重言式等概念的独特分析,表明了对同一命题事实真理观和逻辑真更观可有不同的理解;进而论证了重言推理的有效性并非必然地导源于其同义反复性。     

Context 的非单调推理

基于文［１］定义的ｃｏｎｔｅｘｔ逻辑ＣＬ,本文分别引入限制理论和缺省理论到ｃｏｎ－ｔｅｘｔ推理中,给出有关的定义和定理。     

基于模糊数学的火险探测系统设计

针对火灾探测的特点和误报、漏报等问题,提出基于模糊逻辑论的数据融合算法,以提高火灾探测的准确性。运用单片机技术,设计了火灾探测系统的软硬件构成,并通过dsPIC与上位机的串行通信,实现了火情的距离监测。     

基于全局时态逻辑(GTL)的验证和测试生成研究

基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑（Global Temporal Logic）GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。     

基于区间数的DS证据合成方法研究

在DS证据理论的应用过程中,命题的基本概率赋值函数起到了关键的作用,传统DS证据理论中基本概率赋值函数的取值为[0,1]中的单点值.在很难准确将证据所支持命题的基本概率赋值表示为[0,1]之间的单点值时,可以用区间数形式来表示命题的基本概率赋值.在建立符合运算封闭性的区间数广义求和与广义乘积算子的基础上,定义了基于区间数的基本概率赋值函数、信任函数以及似然函数等重要概念,给出了证据合成规则,进而提出了基于区间数的DS证据合成方法.计算实例表明,与传统DS证据合成方法相比,基于区间数的DS证据合成方法具有更灵活的应用特性和更小的计算复杂度.     

从情景真实性和交际真实性评大学英语四级考试写作命题改革

实性原则是设计和评估现代语言测试的一项重要原则。根据美国著名语言测试专家LyleF&#183;Bachman为真实性所下的定义,从情景真实性和交际真实性两方面分析了2001到2006年大学英语四级考试写作命题。结果表明,随着大学英语教学改革的不断深入,四级写作命题的情景真实性有明显提高,但在交际真实性方面还有待进一步加大改革力度。最后对如何提高大学英语四级写作命题的真实性提出了建议。     

近似推理

本文为“近似推理”建立了基础,推广了普通逻辑推理,把它应用于定理或命题从而得到模糊定理。最后还以具体例子说明了它在理论上的价值。