Razlika između verzija stranice "Reductio ad absurdum"
[pregledana izmjena] | [pregledana izmjena] |
Uklonjeni sadržaj Dodani sadržaj
m Čiščenje međuwiki veza: -hu, en, da, ru |
m čišćenje, replaced: primjeniti → primijeniti |
||
Red 8:
== Historija ==
Ova logička metoda je ponikla kod starogrčkih [[filozofija|filozofa]]. Predtostavlja se da prvi put nije upotrebljena u filozofskom ili [[matematika|matematičkom]] slučaju već kod filozofa sofista koji su ovu metodu koristili kao advokati u sudovima. Tada su dokazivali nevinost svojih štićenika započinjući riječima ''"pretpostavimo da je moj štićenik kriv..."'' (na latinskom: ''argumentum a contrario'') i na kraju pokazivali kako to dovodi do proturječnosti sa postojećim dokazima. Na taj način su efektivno i elegantno dokazivali nevinost, a ova metoda je ubrzo postala prihvaćena od svih filozofa kao logički nepobitna.
[[Sokrat]], veliki filozof ali ne i matematičar, je uveo hipotezu u matematičko mišljenje. On tvrdi da pored istine postoji i hipoteza, pretpostavka, tvrdnja, pa onda izvodi logičke posljedice. Ako se tom prilikom naiđe na proturječnost, tada je jedini uzrok bila loša pretpostavka, te se ona, kao takva, mora odbaciti. Zbog ovoga neki Sokrata smatraju utemeljivačem [[logika|logike]].
Red 16:
[[Aristotel]] je dao ključni doprinos i sistematično razradio pitanja deduktivne logike. Kod njega se metoda svođenja na kontradikciju zove ''svođenje na nemoguće''. Između ostalog je i objasnio zakon o neproturječnosti i zakon isključenja treće mogućnosti. Ova metoda je značajno oruđe logike u rukama [[Euklid]]a i upravo u ''Elementima'' je odigrala ključnu ulogu u izgradnji logički zasnovane škole geometrije.
Međutim, najveći doprinos primjeni ove metode je dao [[Arhimed]]. On je u svojim spisima ovu metodu dotjerao do neslućenih razmjera čak prevazilazeći granice kojima je metoda predodređena. Arhimed je, prema sopstvenom priznanju, našao neke zabačene spise atomista sa njihovim genijalnim, ali logički slabo podupretim tvrdnjama i shvativši da su njihovi zaključci istiniti, uspio da nađe zaobilazne metode da do tih rezultata dođe na potpuno originalan, ali zbunjujući način. Ovo se saznalo tek dvadeset vijekova nakon njegove smrti, slučajnim pronalaskom jednog zabačenog spisa u kome je on otkrio kako je smišljao i pronalazio rješenja za komplikovane probleme koje je rješavao. Njegova metoda uvođenja međukoraka, zaobilaznih pretpostavki i lema, a potom svođenja na besmislicu početnih tvrdnji je i za matematičare [[17. vijek|17.]] i [[18. vijek
Ovako izgrađeni, Arhimedovi dokazi nisu davali uputstva kako ovu metodu
== Primjeri ==
Red 27:
:Sin - Zašto?
:Mama - Zato što su tetovaže korištene u [[holokaust]]u.
:Sin - Dobro, onda neću više nikada koristiti [[voz]], kupati se, biti go, niti ću govoriti njemački.
Još jedan poznati primjer apsurda:
:Mama - Zašto si počeo pušiti?
:Sin - Svi moji drugovi puše?
:Mama - ''Znači, ako bi svi tvoji drugovi skočili sa litice, i ti bi sa njima?
[[Kategorija:Dokazi]]
|