Reductio ad absurdum
Reductio ad absurdum (latin for «reduksjon til det absurde»). Uttrykket kan sporast tilbake til gresk
I formell logikk vert reductio ad absurdum brukt når ein formell kontradiksjon kan verte utleidd frå ein premiss og medføre at ein kan konkludere med at premissen er usann. Om ein kontradiksjon er utleidd frå eit sett med premissar, viser dette at minst éin premiss er usann, men at andre metodar må nyttast for å avgjere kva for ein.
I filosofi og daglegtale
[endre | endre wikiteksten]Den følgjande samtalen er eit døme på reductio ad absurdum:
- A — All tru er av lik validitet og kan derfor ikkje nektast.
- B — Om det er korrekt, vil C ha rett i trua si, sjølv om C trur på noko nesten ingen andre trur på, slik som at jorda er flat.
- A — Sant.
- B — Da kan ei tru nektast.