Свођење на контрадикцију — разлика између измена
Садржај обрисан Садржај додат
Ред 10:
Аристотел је дао кључни допринос и систематично разрадио питања дедуктивне логике. Код њега се метода свођења на контрадикцију зове свођење на немогуће. Ова метода је значајно оруђе логике у рукама Еуклида и управо у Елементима је одиграла кључну улогу у изградњи логички засноване школе геометрије.
Међутим, највећи допринос примени ове методе је дао Архимед. Он је у својим списима ову методу дотерао до неслућених размера чак превазилазећи границе којима је метода предодређена. Архимед је, према сопственом признању, нашао неке затурене списе атомиста са њиховим генијалним, али логички слабо поткованим тврдњама и схвативши да су њихови закључци истинити успео да нађе заобилазне методе да до тих резултата дође на потпуно
Овако изграђени, Архимедови докази нису давали упутства како ову методу применити и на неке друге, сродне случајеве. Данашњим речником речено, не види се како се генерички решава једна класа проблема. Ту се видело још недостатака ове методе. Она је добра за проверу и доказивање резултата (познатог или погођеног) али је лоша за налажење новог, још непознатог решења. Стари математичари су говорили да метода више збуњује него што развија ум, јер читалац не зна одакле се појавило решење, пошто нема јасне слике о везама између истина и постојању узрочно последичног ланца.
| |||