Свођење на контрадикцију — разлика између измена

Садржај обрисан Садржај додат
м r2.7.2) (Робот: измењено ar:برهان خلف, ru:Приведение к абсурду
Autobot (разговор | доприноси)
м navodnici
Ред 6:
 
==Историја==
Ова логичка метода је поникла код хеленских филозофа. Претпоставља се да први пут није употребљена у филозофском или математичком случају већ код филозофа софиста који су ову методу користили као адвокати у судовима. Тада су доказивали невиност својих штићеника започињући "претпоставимо„претпоставимо да је мој штићеник крив..." ({{јез-лат|argumentum a contrario}}) и на крају показивали како то доводи до противречности са постојећим доказима. Тако су они ефектно и елегантно доказивали невиност, а ова метода је убрзо постала прихваћена од свих филозофа као логички непобитна.
 
Следећа карика је [[Сократ]], велики филозоф мада не и математичар, који је увео хипотезу у математичко мишљење. Он тврди да поред истине постоји и хипотеза, претпоставка, тврдња, па онда изводи логичке последице. Ако се том приликом наиђе на противречност тада је једини узрок била лоша претпоставка те се она има одбацити. Због овога неки Сократа сматрају утемељивачем логике.