反证法
间接论证的一种。先论证与原论题相矛盾的论题即反论题为假,然后根据排中律确定原论题为真。其论证过程可以表示如下:
〔求证〕 A(原论题)
〔证明〕 (1)设非A真(非A为反论题)
(2)如果非A,则B(B为由非A推出的论断)
(3)非B(已知)
(4)所以,并非非A(根据充分条件假言推理的否定后件式)
(5)所以,A(非非A=A)。
例如,语言学工作者论证“语言的声音和它所表示的事物之间没有必然联系”这一论题时运用反证法论证如下:“声音和词所表示的事物之间并没有什么必然的联系,并非某一个声音必然表示某一个对象。声音和事物的结合假如有什么必然联系,世界上所有的语言中表示同一事 ...... (共772字) [阅读本文]>>