„Niðursöllun í fáránleika“: Munur á milli breytinga
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]] |
||
⚫ | |||
[[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]] |
|||
⚫ | |||
[[es:Reducción al absurdo]] |
[[es:Reducción al absurdo]] |
||
⚫ | |||
[[fa:برهان خلف]] |
|||
⚫ | |||
[[fr:Raisonnement par l'absurde]] |
[[fr:Raisonnement par l'absurde]] |
||
⚫ | |||
⚫ | |||
[[he:הוכחה בדרך השלילה]] |
[[he:הוכחה בדרך השלילה]] |
||
⚫ | |||
⚫ | |||
⚫ | |||
[[la:Reductio ad absurdum]] |
[[la:Reductio ad absurdum]] |
||
[[nl:Reductio ad absurdum]] |
[[nl:Reductio ad absurdum]] |
||
[[nn:Reductio ad absurdum]] |
|||
⚫ | |||
[[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:Свођење на контрадикцију]] |
||
⚫ | |||
[[sv:Indirekt bevis]] |
[[sv:Indirekt bevis]] |
||
[[tr:Reductio ad absurdum]] |
[[tr:Reductio ad absurdum]] |
||
[[zh:反證法]] |
[[zh:反證法]] |
||
⚫ | |||
[[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.