从现代逻辑观点看墨家逻辑中的有效推理

墨家称推理或论证为"说"。"以说出故",是讲推理论证的目的是要将理由或原因揭示出来,推理为论证服务,逻辑为哲学服务(揭示事物存在的原因主要属于哲学的范畴)。前提(故)和结论(辞)之间具有"所得而后成"、"有之必然"的"必然地得出"的关系。推理的有效性是指当前提真时结论不可能为假,即当前提真时结论必然为真。推理的有效性也就是推理的形式有效性,即正确的推理必须是在结构上合乎逻辑的。墨家将推理论证的有效性称为"效",正确的推理为"中效",不正确的推理为"不中效"。然而,墨家逻辑中的有效推理不尽针对形式演绎,而且针对归纳和类比。墨家将可靠的推理也归于有效推理,有效推理的概念进而也变得更加广泛。

有效推理的真度关系与度量空间的近似推理

在模糊命题逻辑系统中,运用命题公式的随机真度概念,给出了有效推理前提和结论的随机真度关系定理。运用随机真度关系定理,给出了命题公式间距离的定义,从而构建了随机逻辑度量空间,在该空间中提出了三种近似推理模式,讨论了这三种近似推理模式的关系,从而实现了模糊命题逻辑系统的计量化。

有效推理的约简及其δ-必要度

本文引入了有效推理约简的概念,在此基础上给出了推理前提的必要度的另外一种定义—δ-必要度.利用有效推理的约简和δ-必要度得到了相对于δ-必要度的概率逻辑学基本定理.

论非经典三段论有效推理的量与逻辑特征——兼与程仲棠教授商榷

含有负名词的直言命题变形推理后,根据经典三段论的推导规则,能够合乎逻辑地进行推导,并由此构建含有负名词的非经典三段论系统。非经典三段论突破了经典三段论的有效推导模式,扩大了直言三段论的推理范围,使三段论有效推理式由传统的24个增至41个。但引入负名词的非经典三段论的推导依然要遵循经典三段论的推导规则。

模糊逻辑系统中广义有效推理的真度递减定理

在模糊逻辑系统中提出了广义有效推理;根据积分真度的性质,证明了广义有效推理的积分真度递减定理,从而在模糊逻辑系统中实现了根据推理前提的真度计算推理结论的真度;最后,把真度递减定理与利用斐波那契数列对推理结论真度的推算结果进行了对比,说明了真度递减定理的优越性。

生物学教学中应关注推理的有效性与可靠性的不同

推理是指由前提推出另一个命题(结论)的思维形式,推理能力是科学思维的重要内容。前提内容的真实性与推理形式的有效性既统一又相对独立,在演绎推理中应关注推理的有效性与可靠性的不同。在教学中应使学生明确命题内容的真假判定需要证据,并善用逻辑规则解决实际问题。

性质命题推理有效性的欧拉图解法判定

凡性质命题推理有效式,就是在欧拉图解中证明为前提真结论必然真的推理形式;凡性质命题推理无效式,就是在欧拉图解中证明为前提真结论并非必然真的推理形式。运用欧拉图解法要掌握三个要点:准确画图、准确识图和准确判定。判定三段论的有效性,要能根据假定前提为真时的大、小前提命题形式的欧拉图,准确无误地画出S、P、M三者外延关系的欧拉图。判定性质命题变形推理的有效性,必须把S、P两个主、谓项的欧拉图,改造成S、P、(?)、(?)四个主、谓项的欧拉图,并能准确识别四种性质命题形式欧拉图中S与P、S与(?)、(?)与P、(?)与(?)这四种外延关系分图。

多次推理中的BP算法优化

使用BP算法求解效用最大化问题时,容易产生大量冗余计算。为此,对标准BP算法进行优化,在推理过程中,对一些受限定条件影响较小的结点,直接利用前次推理结果,无需重新计算其边缘概率,并证明这种优化不会显著影响推理结果。将该算法应用于组合竞拍模型进行测试。仿真结果表明,相对于标准BP算法,该优化算法能提升求解效用最大化问题时的收敛效率。

教师教学推理过程的反思

教学推理是考量教师在一定问题情境中做什么及如何做的实践理性活动,可分为感知教学情境、明确教学目标、诊断教学问题等六个过程,但现实中推理过程的不连贯和思维不缜密,呈现推理活动与教学活动关系断裂、知识目标所驱动的直线式推理、要素诊断的深度与广度不足、省略学科结构—学生认知结构的层级关系、教学行动连续性发生断裂等问题,主要与教师知识结构“板结化”、教师专业发展模式“单一化”及教学评价“功利化”有关。为理性地运筹推理过程使其导向有效教学,应从个人和社会维度加强推理知识、认知、信念、反思成分,包括:丰富实践性知识,优化教学行动逻辑;注重现场学习,提升教学转化能力;回归素养本位,塑造教学实践品格;依托集体研修,谋求个人转识成智。

对谎言交际有效性的探讨

谎言这种本质上求伪的逻辑却可以混身于求真的逻辑而达到交际有效,这与逻辑的推理性机制密切相关。正确推理涉及到前提真实和推理正确两个因素。形式逻辑对于前提的真实性是一种主观、硬性的要求,没有特别的机制保证。语用逻辑对于前提的形成有进一步研究,发现语用推理中的前提是通过溯因方式形成的,而溯因推理的经验性、迅速性、推测性以及语用预设的主观性、隐蔽性等都不能确保前提的正确性,这就为通过虚假预设方式产生的谎言提供了交际有效的逻辑机制。

前提与结论可信性对条件三段论推理的影响

本文采用演绎推理研究中的结论评估范式,考察前提与结论可信性在条件三段论推理中的作用。研究结果表明,被试在条件三段论推理中受结论可信性的影响表现出信念偏差效应;前提可信性通过改变人们进行逻辑分析的准备性而影响推理表现;前提可信性对被试在条件三段论推理中受结论可信性影响的程度有影响,但并不改变信念偏差效应的一般表现模式。

推理规则刍议

推理规则是指演绎推理规则,是一种特殊的逻辑规律,具有客观性、必然性和普遍性的特点。推理规则是推理形式的规则,与推理内容无关,那些把推理内容真实性当作推理规则的论点是不对的。推理规则是推理形式有效的充分必要条件。

一阶逻辑vs组合范畴语法:公式、目标与表达力

一阶逻辑和组合范畴语法都是追逐“莱布尼茨之梦”的产物。一阶逻辑独立于自然语言,从人工语言出发,依据公式形成规则,生成逻辑公式;组合范畴语法实现了自然语言表达式的句法和语义的并行推演,伴随句法组合,自动生成相应的语义表达式。一阶逻辑以找出有效的推理模式为目标,关注系统本身的可靠性和完全性;组合范畴语法旨在用形式化的方法判断语句是否合语法和给出语言表达式的形式语义,关注计算机对自然语言的理解和处理。一阶逻辑对自然语言的抽象化程度非常高,舍弃了自然语言的内涵意义;组合范畴语法立足自然语言,全面、细致地刻画自然语言的句法和语义。

教师论文写作的文理阐释

算数运算有算理,文字表达也有文理。如果说论文是因“论”而成文,那么教师论文写作的文理就是界定概念、合理判断与有效推理。展开来说,界定概念意味着贯通概念界定的三关切,合理判断意味着探寻判断创新的切入点,有效推理则意味着达成推理严密的“证据—理由—观点”的一致性。

反三段论新探

反三段论是“人们日常思维实践中经常用到”的一种推理。本文运用现代逻辑的方法 ,就它的定义、种类、有效推理式及其内在结构、推理规则等作了全新的探讨。特别是给出了全新的定义 ,把反三段论分出三个种类——充分条件反三段论、必要条件反三段论和充分必要条件反三段论 ,并对其内容、有效推理式和内在结构作了阐述和论证。

论命题形式断定的确定性与真值容量及断定范围的关系

本文通过论述命题形式的本质──命题形式断定的一般关系，校正了逻辑界对断定的误解，然后通过实例与理论分析，阐明了命题形式断定的研究性与真值容量及断定范围的关系，从而使命题形式的外延（真值）有了相对应的内容──内涵，由此进一步阐明了推理有效性的必然根据及其它一些逻辑问题。

从符合论的观点看逻辑真理

从真理符合论的观点看,逻辑真理与一般的事实真理有本质的不同。我们认为,逻辑真理不应看作是真理,而只是一类逻辑有效式,它们与逻辑推理的普遍有效式是一致的。逻辑学的任务就是探寻逻辑真理。

批判性思维的考查方式与备考——以2020年新高考Ⅰ卷为例

批判性思维逐渐成为新高考中的考查重点。本文重点审视了2020年新高考Ⅰ卷对澄清概念、有效推理和充分论证等批判性思维方式的考查特点和命题角度,并提出相应的备考建议:不能拘泥于今年的考查重点,要拓宽备考视野,在言语实践中训练学生的批判性思维能力。

《墨经·小取》侔式刍议

侔式推理是一种由一个前提得出一个结论的简单推理形式,其基本方法是紧挨着前提的主、谓项前面粘附上一个相同的词语从而得出结论。侔式推理有四种类型,《墨经·小取》比较系统地研究了侔式推理各种有效的推理形式。据此可以说,古代中国不仅有逻辑思想,而且有逻辑学。

基于推理有效式的张仲景药物主治分析

以麻黄、桂枝、芍药、半夏为例,探求《伤寒杂病论》中药物主治。应用命题逻辑中的充分条件假言命题推理有效式——肯定前件式及否定后件式,必要条件假言命题否定前件式以及肯定后件式的推理有效式确认《伤寒杂病论》中麻黄、桂枝、芍药、半夏的主治。发现麻黄治疗实证水肿;桂枝治疗大便不坚之小便不利;芍药适应于非虚寒性腹痛;半夏适应于呕吐。应用推理有效式的方法研究张仲景方剂中的药物主治所得出的结论更为直观、可靠,使得中医学者更容易把握药与证的对应关系,同时也尽可能地保证了解释药物疗效时思维结构的有效性。