您现在的位置是:首页 > 词典 > 方法

反证法

分类:方法772字

间接论证的一种。先论证与原论题相矛盾的论题即反论题为假,然后根据排中律确定原论题为真。其论证过程可以表示如下:

〔求证〕 A(原论题)

〔证明〕 (1)设非A真(非A为反论题)

(2)如果非A,则B(B为由非A推出的论断)

(3)非B(已知)

(4)所以,并非非A(根据充分条件假言推理的否定后件式)

(5)所以,A(非非A=A)。

例如,语言学工作者论证“语言的声音和它所表示的事物之间没有必然联系”这一论题时运用反证法论证如下:“声音和词所表示的事物之间并没有什么必然的联系,并非某一个声音必然表示某一个对象。声音和事物的结合假如有什么必然联系,世界上所有的语言中表示同一事 ......     (共772字)    [阅读本文]>>

其他相关分类

推荐内容

  • 方法

    二元对比排序方法

    模糊排序中最常用的方法。所谓排序是针对某种特定含义进行的。例如,在人群中按健康程度排序就是一个典型的模糊排序的例子。二元对比排序,是指对几个特定的排序对象在两面对比的基础上所做的整体排序。常用的二元对比

    1325字 24
  • 方法

    三分法

    三相模糊统计方法的一种特定方法。将一个论域分成三个模糊区域,关键在于找到二个分界点。例如:〔老,中,青〕的划分,在人的年龄集合〔0,200〕上要找到老年与中年的分界点,用ξ表示。还要找到中年与青年的分界

    518字 19
  • 方法

    内涵逻辑

    从某种严格的意义上说,内涵逻辑是研究涉及到意义或者意义等同的推理那种逻辑的一部分。它是和外延逻辑相对应的一种逻辑。外延逻辑对其一般原则的陈述和论证仅与下述概念相关:真与假,真值、集合或者类的同一和差异,

    1257字 19
  • 方法

    反三段论

    多重复合判断推理的一种。所有三段论都可以表述为多重复合判断“如果p且q,那么r”。其中p和q相当于三段论的两个前提,r相当于三段论的结论。所谓反三段论是沿着与三段论相反的方向进行的演绎推理。推理过程是首

    391字 17
  • 方法

    公理化方法

    一种构造理论体系的演绎方法。包括两个要点:第一,它在一个理论中明确区分了初始概念和被定义概念,出发命题(即公理)和被证命题(即定理);第二,它明确规定了演绎的规则。运用这些规则于公理和已证定理,就可以证

    1897字 42