還原廣告荒謬

A bearded white Christian cleric in red argues towards an older pensive white Christian cleric in black.
Reaductio Ad Absurdum約翰·佩蒂(John Pettie)的繪畫於1884年在皇家學院展出

邏輯中,還原性荒謬拉丁語“減少荒謬”),也稱為論證ad荒謬拉丁語“荒謬的論點”)或嘲笑論點,是一種論點的形式,它試圖通過證明證明這一說法來證明這一說法是通過證明證明這一說法的形式。相反的情況將導致荒謬或矛盾。

該論點形成可以追溯到古希臘的哲學,並在整個歷史上都在形式的數學和哲學推理以及辯論中使用。等效的形式規則稱為否定介紹。相關的數學證明技術被稱為矛盾

例子

這些示例表明,還可以採取一系列形式的“荒謬”結論,可以採取一系列形式:

  • 地球不能平坦;否則,由於假定地球在程度上是有限的,我們會發現人們脫離了邊緣。
  • 沒有最小的正理性數字,因為,如果有的話,可以將其除以兩個以獲得一個較小的一個。

第一個例子認為,拒絕前提將導致荒謬的結論,反對我們感官的證據。第二個示例是矛盾的數學證明(也稱為間接證明),該證明認為對前提的否定會導致邏輯矛盾(有一個“最小”的數字,但數量比它小) 。

希臘哲學

整個希臘哲學中都使用了還原荒謬。還可以在歸因於Colophon Xenophanes的諷刺詩中找到了最早的例子(約公元前475年)。 Xenophanes批評荷馬對眾神的過失歸因於眾神,人類還認為,眾神的身體具有人類形式。但是,如果馬匹和牛可以繪製,他們會用馬和牛的身體畫出眾神。眾神不能兩種形式,所以這是一個矛盾。因此,其他人類特徵歸因於諸如人類過錯的神靈也是錯誤的。

希臘數學家證明了使用Reaductio ad荒謬的基本命題。亞歷山大(Alexandria) (公元前3世紀中期至3世紀中期)和錫拉丘茲(C. 287 - c。112BCE)的歐幾里得是兩個很早的例子。

柏拉圖(公元前424 - 348年)的較早對話,與蘇格拉底的話語有關,將Reductio參數的使用提高到了正式的辯證法方法( Elenchus ),也稱為蘇格拉底方法。通常,蘇格拉底的對手將使似乎是無害的斷言。作為回應,蘇格拉底通過逐步的推理列車提出其他背景假設,將使該人承認,主張得出了荒謬或矛盾的結論,迫使他放棄了他的主張並採取了Aporia的立場。

該技術也是亞里士多德(公元前384 - 322年)的工作重點,尤其是在他先前的分析中,他將其稱為“不可能的不可能”(希臘語ἡεἰςτὸδύΔύδύνατονἀππ了ἀππ了όπόδεις點燃了“不可能”的演示。 ,62b)。

該技術的另一個例子是在Sorites Paradox中發現的,有人爭辯說,如果1,000,000粒的沙子形成堆,並從堆中去除一顆穀物,則將其留下了堆,然後是一粒沙子(甚至沒有穀物)(甚至沒有穀物)形成堆。

佛教哲學

Madhyamaka佛教哲學的許多集中在展示各種本質主義思想是如何通過荒謬的荒謬論證(稱為prasaṅga ,“結果”中的“梵文”)的各種本質主義思想的結論。在Mūlamadhyamakakārikā中,使用Nāgārjuna荒謬論證來表明,任何實質或本質的理論都是不可持續的,因此,任何基本存在的現象( dharmas )(如變化,原因和感知感知)是空的(sunsence ception and Sense感知( sunya )。納加爾朱納(Nāgārjuna)的主要目標經常被學者們視為反駁某些佛教徒阿比達爾瑪(Abhidharma)學校的本質主義(主要是vaibhasika ),這些學校(主要是Vaibhasika)提出了Svabhava (本質性質)的理論,也是印度教NyāyaVaiśeṣika學校,這些理論構成了一種構成了本體理論的理論。

非矛盾的原則

亞里士多德在他的非矛盾原則中闡明了矛盾與虛假之間的聯繫,該原則指出,命題不能既是真實和錯誤。也就是說,一個命題及其否定 (非Q )不能既正確。因此,如果命題及其否定都可以從邏輯上從前提中得出,則可以得出結論,前提是錯誤的。這種技術被稱為間接證明或矛盾的證據,在邏輯和數學等正式領域中構成了荒謬的荒謬論證的基礎。

也可以看看

來源

  • 海德,多米尼克;拉夫曼,戴安娜(2018)。 “ Sorites悖論” 。在Zalta,Edward N. (編輯)。斯坦福大學哲學百科全書(2018年夏季)。
  • Pasti,瑪麗。還原荒謬:研究人口變化的練習。美國,康奈爾大學,1977年1月。
  • Daigle,Robert W.。在亞里士多德之前的荒謬論點。 NP,聖何塞州立大學,1991年。