„Niðursöllun í fáránleika“: Munur á milli breytinga

Úr Wikipediu, frjálsa alfræðiritinu
Efni eytt Efni bætt við
Cessator (spjall | framlög)
Ekkert breytingarágrip
NjardarBot (spjall | framlög)
m robot Bæti við: ca, eo, fa, nn, zh-yue
Lína 7: Lína 7:
[[Flokkur:Rökfræði]]
[[Flokkur:Rökfræði]]


[[zh-min-nan:Hoán-chèng-hoat]]
[[bs:Reductio ad absurdum]]
[[bs:Reductio ad absurdum]]
[[ca:Prova per contradicció]]
[[cs:Důkaz sporem]]
[[cs:Důkaz sporem]]
[[de:Reductio ad absurdum]]
[[de:Reductio ad absurdum]]
[[en:Reductio ad absurdum]]
[[en:Reductio ad absurdum]]
[[eo:Pruvo per disputo]]
[[et:Vastuväiteline tõestus]]
[[es:Reducción al absurdo]]
[[es:Reducción al absurdo]]
[[et:Vastuväiteline tõestus]]
[[fa:برهان خلف]]
[[fi:Reductio ad absurdum]]
[[fr:Raisonnement par l'absurde]]
[[fr:Raisonnement par l'absurde]]
[[ko:귀류법]]
[[it:Dimostrazione per assurdo]]
[[he:הוכחה בדרך השלילה]]
[[he:הוכחה בדרך השלילה]]
[[it:Dimostrazione per assurdo]]
[[ja:背理法]]
[[ko:귀류법]]
[[la:Reductio ad absurdum]]
[[la:Reductio ad absurdum]]
[[nl:Reductio ad absurdum]]
[[nl:Reductio ad absurdum]]
[[nn:Reductio ad absurdum]]
[[ja:背理法]]
[[no:Reductio ad absurdum]]
[[no:Reductio ad absurdum]]
[[pl:Dowód nie wprost]]
[[pl:Dowód nie wprost]]
Lína 27: Lína 31:
[[sl:Dokaz s protislovjem]]
[[sl:Dokaz s protislovjem]]
[[sr:Свођење на контрадикцију]]
[[sr:Свођење на контрадикцију]]
[[fi:Reductio ad absurdum]]
[[sv:Indirekt bevis]]
[[sv:Indirekt bevis]]
[[tr:Reductio ad absurdum]]
[[tr:Reductio ad absurdum]]
[[zh:反證法]]
[[zh:反證法]]
[[zh-min-nan:Hoán-chèng-hoat]]
[[zh-yue:反證法]]

Útgáfa síðunnar 1. júlí 2008 kl. 17:15

Niðursöllun í fáránleika (á latínu reductio ad absurdum eða reductio ad impossibile) eða óbein sönnun er gerð röksemdafærslu þar sem gengið er út frá staðhæfingu röksemdafærslunnar vegna og sýnt fram á að hún leiði til fráleitrar niðurstöðu eða mótsagnar; þá er staðhæfingunni hafnað og ályktað að gagnstæð staðhæfing sé sönn.

Niðursöllun í fáránleika byggir á mótsagnarlögmálinu — það er að segja þeirri forsendu að það sé ómögulegt að staðhæfing og neitun hennar séu samtímis sannar — og lögmálinu um annað tveggja — það er að segja þeirri forsendu að annaðhvort staðhæfing eða neitun hennar hljóti að vera sönn.

Heitið á röksemdafærslunni er komið úr grísku: ἡ εἰς ἄτοπον ἀπαγωγή (hē eis átopon apagōgḗ), sem merkir orðrétt „leiðsla til staðleysu“. Það kemur oft fyrir í ritum Aristótelesar.